357 search results - page 33 / 72 » Computing Reachable States for Nonlinear Biological Models |
159
click to vote
CAV
2004
Springer
15 years 11 months ago
2004
Springer
Regular Tree Model Checking Ahmed Bouajjani, Peter Habermehl 1 LIAFA, University Paris 7, Case 7014, 2, place Jussieu, F-75251 Paris Cedex 05, France Adam Rogalewicz, Tom´aˇs Voj...
151
click to vote
RECOMB
2007
Springer
16 years 6 months ago
2007
Springer
With the increasing availability of experimental data on gene-gene and protein-protein interactions, modeling of gene regulatory networks has gained a special attention lately. To ...
202
click to vote
RECOMB
2003
Springer
16 years 6 months ago
2003
Springer
A few models have appeared in recent years that consider not only the way substitutions occur through evolutionary history at each site of a genome, but also the way the process c...
159
click to vote
IPPS
1998
IEEE
15 years 10 months ago
1998
IEEE
We present the design of a computation engine for a real-time laparoscopic surgery simulator. Since this simulator requires realistic real-time and real-world behaviour, a physica...
166
click to vote
ENTCS
2006
15 years 6 months ago
2006
In recent years, there has been increasing interest in computational models of biological systems based on various calculi of communicating processes, such as the stochastic pi-ca...