17 search results - page 1 / 4 » Constraint-Based Simulation of Biological Systems Described ... |
BIBM
2007
IEEE
13 years 11 months ago
2007
IEEE
CLEIEJ
2006
13 years 5 months ago
2006
Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process calculi allow to both model and verify properties of...
ISCA
2007
IEEE
13 years 11 months ago
2007
IEEE
The ability to perform long, accurate molecular dynamics (MD) simulations involving proteins and other biological macromolecules could in principle provide answers to some of the ...
ASPLOS
2009
ACM
14 years 6 months ago
2009
ACM
Abstract: Modeling the interactions of biological molecules, or docking, is critical to both understanding basic life processes and to designing new drugs. Here we describe the GPU...
JCB
2002
13 years 5 months ago
2002
In order to understand the functioning of organisms on the molecular level, we need to know which genes are expressed, when and where in the organism, and to which extent. The reg...