Sciweavers

148 search results - page 9 / 30
» Kinetic Modelling with the Systems Biology Modelling Environ...
Sort
View
FM
2009
Springer
138views Formal Methods» more  FM 2009»
14 years 5 months ago
What Can Formal Methods Bring to Systems Biology?
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...
Nicola Bonzanni, K. Anton Feenstra, Wan Fokkink, E...
BMCBI
2008
107views more  BMCBI 2008»
13 years 11 months ago
Multi-agent systems in epidemiology: a first step for computational biology in the study of vector-borne disease transmission
Background: Computational biology is often associated with genetic or genomic studies only. However, thanks to the increase of computational resources, computational models are ap...
Benjamin Roche, Jean-François Guégan...
BCS
2008
14 years 9 days ago
Beatbox - A Computer Simulation Environment for Computational Biology of the Heart
Despite over a century's study, the trigger mechanisms of cardiac arrhythmias are poorly understood. Even modern experimental methods do not provide sufficient temporal and s...
Ross McFarlane, Irina V. Biktasheva
NAR
2011
307views Computer Vision» more  NAR 2011»
13 years 5 months ago
BRENDA, the enzyme information system in 2011
The BRENDA (BRaunschweig ENzyme Database, http://www.brenda-enzymes.org) enzyme information system is the main collection of enzyme functional and property data for the scientific...
Maurice Scheer, Andreas Grote, Antje Chang, Ida Sc...
ACRI
2006
Springer
14 years 4 months ago
CA Simulation of Biological Evolution in Genetic Hyperspace
Abstract. Realistic simulation of biological evolution by necessity requires simplification and reduction in the dimensionality of the corresponding dynamic system. Even when this...
Michael A. Saum, Sergey Gavrilets