129 search results - page 16 / 26 » Probabilistic Model Checking of Complex Biological Pathways |
115
click to vote
PVLDB
2010
14 years 10 months ago
2010
Complex networks, such as biological, social, and communication networks, often entail uncertainty, and thus, can be modeled as probabilistic graphs. Similar to the problem of sim...
104
click to vote
ENTCS
2008
15 years 13 days ago
2008
The verification of quantitative aspects like performance and dependability by means of model checking has become an important and vivid area of research over the past decade. An ...
122
click to vote
AAAI
2007
15 years 2 months ago
2007
Complex networks exist in a wide array of diverse domains, ranging from biology, sociology, and computer science. These real-world networks, while disparate in nature, often compr...
111
Voted
CMSB
2010
Springer
14 years 7 months ago
2010
Springer
Boolean modeling frameworks have long since proved their worth for capturing and analyzing essential characteristics of complex systems. Hybrid approaches aim at exploiting the ad...
ICANN
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. We investigate the computational capabilities of probabilistic cellular automata by means of the density classification problem. We find that a specific probabilistic ...