129 search results - page 14 / 26 » Probabilistic Model Checking of Complex Biological Pathways |
125
click to vote
BMCBI
2007
15 years 11 days ago
2007
Background: Causal networks based on the vector autoregressive (VAR) process are a promising statistical tool for modeling regulatory interactions in a cell. However, learning the...
110
click to vote
BIOINFORMATICS
2007
15 years 15 days ago
2007
Motivation: High-throughput expression profiling allows researchers to study gene activities globally. Genes with similar expression profiles are likely to encode proteins that ma...
127
click to vote
IFM
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
130
click to vote
RECOMB
2003
Springer
16 years 20 days ago
2003
Springer
We develop an integrated probabilistic model to combine protein physical interactions, genetic interactions, highly correlated gene expression network, protein complex data, and d...
ICIP
2008
IEEE
16 years 2 months ago
2008
IEEE
In this paper we demonstrate the effectiveness of reference (or atlas)-based non-rigid registration to the segmentation of medical and biological imagery. In particular we introdu...