trybik's Workflows

Search filter terms
Filter by type
Filter by tag
Filter by licence
Filter by wsdl
Results per page:
Sort by:
Showing 16 results. Use the filters on the left and the search box below to refine the results.
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: