1922 search results - page 143 / 385 » Systems biology, models, and concurrency |
107
click to vote
CMA
2010
14 years 11 months ago
2010
The chemical master equation is considered an accurate description of general chemical systems, and especially so for modeling cell cycle and gene regulatory networks. This paper ...
121
Voted
ICML
2009
IEEE
16 years 2 months ago
2009
IEEE
This paper addresses the problem of active model selection for nonlinear dynamical systems. We propose a novel learning approach that selects the most informative subset of time-d...
132
click to vote
BRAIN
2010
Springer
14 years 10 months ago
2010
Springer
Biologically realistic modeling has been greatly facilitated by the development of neuro-simulators, and the development of simulatorindependent formats for model exchange is the s...
106
click to vote
LPAR
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. The main goal of this paper is to apply rewriting termination technology —enjoying a quite mature set of termination results and tools— to the problem of proving auto...
151
click to vote
CAV
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We propose a new technique for the static analysis of concurrent programs comprised of multiple threads. In general, the problem is known to be undecidable even for progr...