All content

Search filter terms
Filter by category
Filter by type
Filter by tag
Filter by user
Filter by licence
Filter by group
Filter by wsdl
Filter by curation
Results per page:
Sort by:
Showing 83 results. Use the filters on the left and the search box below to refine the results.
Type: Taverna 2 Tag: example
Uploader

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

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

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

Workflow Secure Web service call example (1)

Thumb
This is an example of a workflow that contains a call to a secure Web service that runs behind HTTPS and requires user to authenticate. The first thing you can expect to see is a pop up dialog asking if you trust the Web service to be invoked over HTTPS. You can use testuser/testpasswd as username and password for authentication when running the workflow. To see where the security is being configured, right-click the service in the diagram and select "Configure security" from the menu.

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

Credits: User Alex Nenadic

Workflow Secure REST service call example (1)

Thumb
This is an example of a workflow that contains a call to a secure REST service that requires user to authenticate with HTTP Basic Authentication. You can use testuser/testpasswd as username and password for authentication when running the workflow.

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

Credits: User Alex Nenadic

Uploader

Workflow Plot error surface (1)

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

Workflow Unix tool for numerically adding two values. (1)

Thumb
This workflow relies on a Unix system. It wraps the "bc" command line calculator. It downloads the calculation script from a URL.

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

Credits: User Alan Williams User Steffen Möller

Workflow Unix tools with zip, unzip and diff (1)

Thumb
This workflow only works on a Unix machine. This workflow takes a fixed URL from which a text file is downloaded (output as Original_file). That file is zipped (output as Zipped_File) and then unzipped again (output as Unzipped_File). The orginal file and the unzipped version are then diff'd/

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

Credits: User Alan Williams User Steffen Möller

Attributions: Workflow Example for external tools with gzip and gunzip

Results per page:
Sort by: