Sciweavers

1526 search results - page 27 / 306
» Computer algebra in systems biology
Sort
View
ISMB
1998
15 years 3 months ago
The LabFlow System for Workflow Management in Large Scale Biology Research Laboratories
LabFlowis a workflowmanagementsystem designed for large scale biologyresearch laboratories. It providesa workflowmodelin whichobjects flowfromtask to task under programmaticcontro...
Nathan Goodman, Steve Rozen, Lincoln Stein
BMCBI
2006
194views more  BMCBI 2006»
15 years 1 months ago
Novel metaheuristic for parameter estimation in nonlinear dynamic biological systems
Background: We consider the problem of parameter estimation (model calibration) in nonlinear dynamic models of biological systems. Due to the frequent ill-conditioning and multi-m...
Maria Rodriguez-Fernandez, Jose A. Egea, Julio R. ...
ASM
2005
ASM
15 years 7 months ago
Tools for System Validation with B Abstract Machines
Michael J. Butler, Michael Leuschel, Colin F. Snoo...
LPAR
2010
Springer
14 years 11 months ago
ABC: Algebraic Bound Computation for Loops
Abstract. We present ABC, a software tool for automatically computing symbolic upper bounds on the number of iterations of nested program loops. The system combines static analysis...
Régis Blanc, Thomas A. Henzinger, Thibaud H...
TCSB
2010
15 years 8 days ago
Biomodel Engineering - From Structure to Behavior
Biomodel engineering is the science of designing, constructing and analyzing computational models of biological systems. It forms a systematic and powerful extension of earlier mat...
Rainer Breitling, Robin Donaldson, David R. Gilber...