All content

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

First Level within subject fMRI processing (1)

• Download

Overview - fMRI-FEAT workflow This is a simple with-in subject fMRI analysis workflow. It takes 3D fMRI images and structural images of a subject and performs FSLmerge, BET (if the data is not already skull stripped) and first level FEAT processing.   Problem addressed by this workflow FSLMerge, BET and FEAT first level analysis can be performed using this workflow on one or more subjects that require the same processing. The design FSF file is generate using the FSL FEAT inte...

Created: 2011-04-06 | Last updated: 2011-07-14

Credits: Pipeline

Local Shape Analysis (LSA) Workflow (1)

• Download

This workflow takes raw un-skull-stripped volumes in 2 groups/populations and an ROI index to generate a color-coded shape object using the per-vertex local p-values of some local shape-measure (e.g., displacement, atrophy, Jacobian, curvature, etc). It also outputs the p-values color-map superimposed on the mean shape. Problem addressed by this workflow   Identifying local group differences between 2 populations in one specific ROI. This workflow also generates mean-shape DX mo...

Created: 2011-04-06 | Last updated: 2011-04-06

Credits: Pipeline

Global Shape Analysis Workflow (1)

• Download

This workflow takes raw un-skull-stripped volumes in multiple groups/populations, or a Study-Design, and generates a scene file containing the models of the ROIs where the groups are different. It also reports the global 56 regional p-values. Problem addressed by this workflow   Identifying the group differences between 2 populations in the global shapes of 56 cortical and sub-cortical ROIs. This workflow also generates DX models of all 56 ROIs which can be viewed as a scene in Sh...

Created: 2011-04-06 | Last updated: 2011-04-06

Credits: Pipeline

Phylogenetic analysis workflow (1)

• Download

Created: 2011-03-12 | Last updated: 2011-03-12

Credits: Yosr Bouhlal

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

• Download

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

[deprecated] Simulate SBML-derived ODEs (1)

• Download

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

odeSolver Web service (1)

• Download

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

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

Credits: trybik

asynchronous prism Web service (1)

• Download

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

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

Credits: trybik

prism Web service (1)

• Download

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