Workflows

[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

mathPlot Web service (1)

• Download

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

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

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

sbml2Prism Web service (1)

• Download

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

SELECT3 (2)

• Download

Select3 decides if a particular transition matches the selection criteria based on the line strength and line opacity in a given medium. To do that select3 requires a model of the medium (temperature, pressure, node spacing), chemical composition and boundary conditions. Only 1D models are supported at the moment. Select3 processes one transition at a time working in two modes: opacity and synthesis. In the first mode it computes line opacity, compares it to the reference (e.g. bf and ff opa...

Created: 2011-01-22 | Last updated: 2011-02-27

Pathways and Gene annotations forQTL region (1)

• Download

This workflow searches for genes which reside in a QTL (Quantitative Trait Loci) region in Cow, Bos taurus. The workflow requires an input of: a chromosome name or number; a QTL start base pair position; QTL end base pair position. Data is then extracted from BioMart to annotate each of the genes found in this region. The Entrez and UniProt identifiers are then sent to KEGG to obtain KEGG gene identifiers. The KEGG gene identifiers are then used to searcg for pathways in the KEGG pathway data...

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

Credits: Paul Fisher

Change Class Distribution of Your Training... (1)

• Download

This example process shows how to change the class distribution of your training data set (in this case the training data is what ever comes out of the "myData reader"). The given training set has a distribution of 10 "Iris-setosa" examples, 40 "Iris-versicolor" examples and 50 "Iris-virginica" examples. The aim is to get a data set which has the class distribution for the label, lets say 10 "Iris-setosa", 20 "Iris-versicolor" and 20 "Iris-virginica. Beware that this may change some propert...

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