1222 search results - page 16 / 245 » A Bayesian Approach to Model Checking Biological Systems |
105
click to vote
AB
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Among all the modeling approaches dedicated to cellular biology, differential algebra is particularly related to the well-established one based on nonlinear differential ...
KDD
2004
ACM
16 years 4 days ago
2004
ACM
Unsupervised identification of patterns in microarray data has been a productive approach to uncovering relationships between genes and the biological process in which they are in...
GG
2004
Springer
15 years 5 months ago
2004
Springer
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...
100
Voted
RECOMB
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. We introduce an extended computational framework for studying biological systems. Our approach combines formalization of existing qualitative models that are in wide but ...
90
Voted
SAC
2008
ACM
14 years 11 months ago
2008
ACM
The ability to infer parameters of gene regulatory networks is emerging as a key problem in systems biology. The biochemical data are intrinsically stochastic and tend to be observ...