129 search results - page 22 / 26 » Probabilistic Model Checking of Complex Biological Pathways |
103
Voted
FOCI
2007
IEEE
15 years 6 months ago
2007
IEEE
Recent progress in genomics and proteomics makes it possible to understand the biological networks at the systems level. We aim to develop computational models of learning and memo...
97
Voted
RECOMB
2009
Springer
16 years 29 days ago
2009
Springer
Finding similar structures from 3-D structure databases of proteins is becoming more and more important issue in the post-genomic molecular biology. To compare 3-D structures of tw...
164
click to vote
CSCLP
2008
Springer
15 years 2 months ago
2008
Springer
In the analysis of hybrid discrete-continuous systems, rich arithmetic constraint formulae with complex Boolean structure arise naturally. The iSAT algorithm, a solver for such for...
155
click to vote
BMCBI
2004
15 years 6 days ago
2004
Background: Intrinsic fluctuations due to the stochastic nature of biochemical reactions can have large effects on the response of biochemical networks. This is particularly true ...
BMCBI
2010
15 years 14 days ago
2010
Background: Protein-protein interactions play a key role in biological processes of proteins within a cell. Recent high-throughput techniques have generated protein-protein intera...