1222 search results - page 167 / 245 » A Bayesian Approach to Model Checking Biological Systems |
158
click to vote
ECBS
2007
IEEE
15 years 8 months ago
2007
IEEE
We present in this paper a new approach for the automatic verification and performance analysis of SysML activity diagrams. Since timeliness is important in the design and analysi...
156
click to vote
CMSB
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. This paper tackles theoretically the question of the structural stability of biological regulation networks subjected to the influence of their environment. The model of...
163
click to vote
BMCBI
2005
15 years 4 months ago
2005
Background: Reconstructing regulatory networks from gene expression profiles is a challenging problem of functional genomics. In microarray studies the number of samples is often ...
130
click to vote
ENTCS
2010
15 years 4 months ago
2010
Process modeling languages such as "Dynamical Grammars" are highly expressive in the processes they model using stochastic and deterministic dynamical systems, and can b...
170
click to vote
GECCO
2006
Springer
15 years 7 months ago
2006
Springer
In this paper we address the problem of finding gene regulatory networks from experimental DNA microarray data. We focus on the evaluation of the performance of different mathemat...