1222 search results - page 10 / 245 » A Bayesian Approach to Model Checking Biological Systems |
RECOMB
2000
Springer
15 years 3 months ago
2000
Springer
DNA hybridization arrays simultaneously measure the expression level for thousands of genes. These measurements provide a "snapshot" of transcription levels within the c...
137
click to vote
BMCBI
2011
14 years 3 months ago
2011
Background: Discovering the genetic basis of common genetic diseases in the human genome represents a public health issue. However, the dimensionality of the genetic data (up to 1...
ASM
2008
ASM
15 years 1 months ago
2008
ASM
As systems become ever more complex, verification becomes more main stream. Event-B and Alloy are two formal specification languages based on fairly different methodologies. While...
ICML
2009
IEEE
16 years 16 days 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...
108
click to vote
ISBRA
2009
Springer
15 years 6 months ago
2009
Springer
Identifying gene regulatory networks from high-throughput gene expression data is one of the most important goals of bioinformatics, but it remains difficult to define what makes a...