All content

Search filter terms
Filter by category
Filter by type
Filter by tag
Filter by user
Filter by licence
Filter by wsdl
Results per page:
Sort by:
Showing 8 results. Use the filters on the left and the search box below to refine the results.
Category: Workflow Tag: sbml User: trybik Licence: by-sa
Uploader

Workflow Probabilistic Model Checking (PMC): comput... (1)

Thumb
Exemplary experiment using Tav4SB (http://bioputer.mimuw.edu.pl/tav4sb/) PRISM model translation and model checking Web service operations.

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

Credits: User trybik

Uploader

Workflow Simulate SBML-derived ODEs (2)

Thumb
Exemplary experiment using Tav4SB (http://bioputer.mimuw.edu.pl/tav4sb/) ODEs simulation and plotting Web service operations.

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

Credits: User trybik

Uploader

Workflow Multi-parameter sensitivity analysis (MPSA... (2)

Thumb
Exemplary multi-parameter sensitivity analysis (MPSA) experiment using Tav4SB (http://bioputer.mimuw.edu.pl/tav4sb/) WS operations. In this version of MPSA PRISM probabilistic model checking is basis of analysis of SBML model parameters space.

Created: 2011-07-14 | Last updated: 2011-07-21

Credits: User trybik

Uploader

Workflow Multi-parameter sensitivity analysis (MPSA) (2)

Thumb
Exemplary multi-parameter sensitivity analysis (MPSA) experiment using Tav4SB (http://bioputer.mimuw.edu.pl/tav4sb/) WS operations. In this version of MPSA, ODEs simulations are basis of analysis of SBML model parameters space.

Created: 2011-07-14 | Last updated: 2011-07-21

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 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

Results per page:
Sort by: