308 search results - page 15 / 62 » Modular Verification of Interactive Systems with an Applicat... |
WWW
2001
ACM
14 years 7 months ago
2001
ACM
The virtual laboratories enhance learning experiences by providing the student with a supplement to the physical lab. The laboratories allow students to perform exercises as in an...
ICES
2010
Springer
13 years 4 months ago
2010
Springer
Abstract. In an application where autonomous robots can amalgamate spontaneously into arbitrary organisms, the individual robots cannot know a priori at which location in an organi...
BMCBI
2008
13 years 6 months ago
2008
Background: Optimization theory has been applied to complex biological systems to interrogate network properties and develop and refine metabolic engineering strategies. For examp...
ISMB
1998
13 years 8 months ago
1998
Traditionally, biochemical systems are modelled usingkinetics anddifferential equationsin a quantitative simulator. However,for manybiological processes detailed quantitative info...
TCS
2008
13 years 6 months ago
2008
The mass and complexity of biological information requires computer-aided simulation and analysis to help scientists achieve understanding and guide experimentation. Although livi...