1222 search results - page 29 / 245 » A Bayesian Approach to Model Checking Biological Systems |
107
click to vote
RECOMB
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. We present an approach to inferring probabilistic models of generegulatory networks that is intended to provide a more mechanistic representation of transcriptional regul...
102
click to vote
RTSS
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper presents a local algorithm for solving the universal parametric real-time model-checking problem. The problem may be phrased as follows: given a real-time system and te...
110
click to vote
ATAL
2003
Springer
15 years 5 months ago
2003
Springer
We apply the multi-agent system (MAS) platform to the task of biological network simulation. In this paper, we describe the simulation of signal transduction (ST) networks using t...
101
click to vote
CMSB
2009
Springer
15 years 6 months ago
2009
Springer
A major challenge in computational systems biology is the articulation of a biological process in a form which can be understood by the biologist yet is amenable to computational e...
DSRT
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper describes a new property checking approach in order to enhance the diagnosis ability of an electronic embedded system, included in an automotive application. We conside...