Workflows

Search filter terms
Filter by type
Filter by tag
Filter by user
Filter by licence
Filter by wsdl
Results per page:
Sort by:
Showing 10 results. Use the filters on the left and the search box below to refine the results.
Type: Taverna 1 User: trybik
Uploader

Workflow sampleDistribution Web service operation (1)

Thumb
Probabilistic distribution sampling operation which uses Mathematica software (http://www.wolfram.com/mathematica/).

Created: 2011-08-03 | Last updated: 2011-08-04

Credits: User trybik

Uploader

Workflow [deprecated] Probabilistic Model Checking ... (1)

Thumb
This is a Taverna 1 version; if you're using latest Taverna 2 workbench please use: www.myexperiment.org/workflows/2267 . Exemplary experiment using Tav4SB (http://bioputer.mimuw.edu.pl/tav4sb/) Mathematica plotting Web service operation. This is a second-part for the computationaly exhaustive PMC: compute results workflow (http://www.myexperiment.org/workflows/1790).

Created: 2011-01-26 | Last updated: 2011-07-20

Credits: User trybik

Uploader

Workflow [deprecated] Probabilistic Model Checking ... (1)

Thumb
This is a Taverna 1 version; if you're using latest Taverna 2 workbench please use: www.myexperiment.org/workflows/2266.html . Exemplary experiment using Tav4SB (http://bioputer.mimuw.edu.pl/tav4sb/) PRISM model translation and model checking Web service operations.

Created: 2011-01-26 | Last updated: 2011-07-20

Credits: User trybik

Uploader

Workflow [deprecated] Simulate SBML-derived ODEs (1)

Thumb
This is a Taverna 1 version; if you're using latest Taverna 2 workbench please use: www.myexperiment.org/workflows/2264.html . Exemplary experiment using Tav4SB (http://bioputer.mimuw.edu.pl/tav4sb/) ODEs simulation and plotting Web service operations.

Created: 2011-01-26 | Last updated: 2011-07-20

Credits: User trybik

Uploader

Workflow mathPlot Web service (1)

Thumb
Plotting operation which uses Mathematica (http://www.wolfram.com/mathematica/) software.

Created: 2011-01-26 | Last updated: 2011-01-26

Credits: User trybik

Uploader

Workflow odeSolver Web service (1)

Thumb
SBML ODE Solver Library (http://www.tbi.univie.ac.at/~raim/odeSolver/) Web service.

Created: 2011-01-26 | Last updated: 2011-01-26

Credits: User trybik

Uploader

Workflow sbml2Prism Web service (1)

Thumb
For example of the SBML to PRISM translation and the description of its details see http://www.prismmodelchecker.org/manual/RunningPRISM/SupportForSBML .

Created: 2011-01-26 | Last updated: 2011-01-26

Credits: User trybik

Uploader

Workflow asynchronous prism Web service (1)

Thumb
Asynchronous version of the Prism Web service. Results XML list is sent via email.

Created: 2011-01-26 | Last updated: 2011-01-26

Credits: User trybik

Uploader

Workflow prism Web service (1)

Thumb
PRISM model checking (http://www.prismmodelchecker.org/manual/RunningPRISM/ModelChecking). The '-fixdl' switch is used, which means that all deadlock states in model are fixed by addition of self-loops.

Created: 2011-01-26 | Last updated: 2011-01-26

Credits: User trybik

Uploader

Workflow Transform XML with parameters (1)

Thumb
Similar to Transform_XML local widget but accepts transformation parameters and skips the part with writing to the output file. The essence, i.e. Transform_XML beanshell works with Strings representing file contents, not with file URLs. The XML transfomation parameters are given as a list of strings in the "param_name = param_value" format.

Created: 2010-11-29 | Last updated: 2010-11-29

Credits: User trybik

Results per page:
Sort by: