129 search results - page 7 / 26 » Probabilistic Model Checking of Complex Biological Pathways |
IPL
2007
15 years 7 days ago
2007
We show that the problem of reaching a state set with probability 1 in probabilisticnondeterministic systems operating in parallel is EXPTIME-complete. We then show that this prob...
166
Voted
BMCBI
2005
15 years 7 days ago
2005
Background: Synthetic lethality experiments identify pairs of genes with complementary function. More direct functional associations (for example greater probability of membership...
113
Voted
DILS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. To advance the comprehension of complex biological processes occurring in crop plants (e.g. for improvement of growth or yield) it is of high interest to reconstruct and ...
110
click to vote
BIBM
2008
IEEE
15 years 6 months ago
2008
IEEE
Using microarray technology for genetic analysis in biological experiments requires computationally intensive tools to interpret results. The main objective here is to develop a â...
127
click to vote
BMCBI
2010
15 years 14 days ago
2010
Background: Mathematical modeling is being applied to increasingly complex biological systems and datasets; however, the process of analyzing and calibrating against experimental ...