All content

Ice Class Map pixel analysis (NERSC) (1)

• Download

NERSC ice classification workflow. Avaible images for a specific date will be fecthed from the WPS service, and their color table changed to allow for a user to easly identify specific areas. Statistical analysis also run using the r.stats module. Worflow uses a list of image, the list will flow thru the workflow for process resulting in mutiple outputs

Created: 2011-11-02 | Last updated: 2011-11-02

Credits: Jorgejesus

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

• Download

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

Simulate SBML-derived ODEs (2)

• Download

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

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

• Download

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

Multi-parameter sensitivity analysis (MPSA) (2)

• Download

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