1222 search results - page 10 / 245 » A Bayesian Approach to Model Checking Biological Systems |
108
click to vote
RECOMB
2000
Springer
15 years 5 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...
162
click to vote
BMCBI
2011
14 years 5 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 3 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...
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...
124
click to vote
ISBRA
2009
Springer
15 years 8 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...