4341 search results - page 22 / 869 » Quantitative Model checking |
172
click to vote
ECAL
1999
Springer
15 years 10 months ago
1999
Springer
We use a new general-purpose model of neutral evolution of genotypes to make quantitative comparisons of diversity and adaptive evolutionary activity as a function of mutation rate...
176
click to vote
BIOINFORMATICS
2006
15 years 6 months ago
2006
Motivation Quantitative estimation of the regulatory relationship between transcription factors and genes is a fundamental stepping stone when trying to develop models of cellular...
175
click to vote
BMCBI
2004
15 years 5 months ago
2004
Background: The behaviors of cells in metazoans are context dependent, thus large-scale multicellular modeling is often necessary, for which cellular automata are natural candidat...
150
click to vote
ECAI
2004
Springer
15 years 11 months ago
2004
Springer
Tracking vehicles in image sequences of innercity road traffic scenes still constitutes a challenging task. Even if a-priori knowledge about the 3D shape of vehicles, of backgroun...
151
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: This article provides guidelines for selecting optimal numerical solvers for biomolecular system models. Because various parameters of the same system could have drast...