User: trybik

Name: trybik

Joined: Monday 01 February 2010 19:00:19 (UTC)

Last seen: Wednesday 03 August 2011 22:38:22 (UTC)

Email (public): Not specified

Website: http://www.mimuw.edu.pl/~trybik/

Location: Poland

2 Friends

0 Groups (admin)

0 Groups (member)

16 Workflows

0 Favourites

trybik has been credited 16 times

trybik has an average rating of:

0.0 / 5

(0 ratings in total)

for their items

Description/summary not set

Other contact details:

Not specified

Interests:

Not specified

Field/Industry: Not specified

Occupation/Role(s): Not specified

Organisation(s):

Not specified

Note: some items may not be visible to you, due to viewing permissions.

Contents (click to expand/contract)

Taverna 1

Uploader

trybik

sampleDistribution Web service operation (1)

Download

Probabilistic distribution sampling operation which uses Mathematica software (http://www.wolfram.com/mathematica/).

Created: 2011-08-03 | Last updated: 2011-08-04

Credits: trybik

Taverna 2

Uploader

trybik

Probabilistic Model Checking (PMC): plot r... (1)

Download

Exemplary experiment using Tav4SB (http://bioputer.mimuw.edu.pl/tav4sb/) Mathematica plotting Web service operation. This is a second-part for the computationaly exhaustive PMC: compute results workflow (http://www.myexperiment.org/workflows/2266).

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

Credits: trybik

Taverna 2

Uploader

trybik

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

Taverna 2

Uploader

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

Taverna 2

Uploader

trybik

Plot error surface (1)

Download

Exemplary workflow for plotting error surface using Tav4SB (http://bioputer.mimuw.edu.pl/tav4sb/) mahtPlot WS operation. Data input format is compatibile with Tav4SB MPSA workflows.

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

Credits: trybik

Taverna 2

Uploader

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

Taverna 2

Uploader

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

Taverna 1

Uploader

trybik

[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/2267 . Exemplary experiment using Tav4SB (http://bioputer.mimuw.edu.pl/tav4sb/) Mathematica plotting Web service operation. This is a second-part for the computationaly exhaustive PMC: compute results workflow (http://www.myexperiment.org/workflows/1790).

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

Credits: trybik

Taverna 1

Uploader

trybik

[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

Taverna 1

Uploader

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

Taverna 1

Uploader

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

Taverna 1

Uploader

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

Taverna 1

Uploader

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

Taverna 1

Uploader

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

Taverna 1

Uploader

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

Taverna 1

Uploader

trybik

Transform XML with parameters (1)

Download

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

What is this?

Linked Data

Non-Information Resource URI:

Alternative Formats