129 search results - page 9 / 26 » Probabilistic Model Checking of Complex Biological Pathways |
110
Voted
STTT
2011
14 years 7 months ago
2011
We present algorithms for parallel probabilistic model checking on general purpose graphic processing units (GPGPUs). Our improvements target the numerical components of the tradit...
111
Voted
BMCBI
2006
15 years 12 days ago
2006
Background: Signal transduction pathways are usually modelled using classical quantitative methods, which are based on ordinary differential equations (ODEs). However, some diffic...
106
click to vote
CSB
2005
IEEE
15 years 6 months ago
2005
IEEE
The genome projects have provided comprehensive information about the basic building blocks of life. The next challenge is to understand how biological functions emerge from compl...
117
click to vote
ANSS
2006
IEEE
15 years 6 months ago
2006
IEEE
With the availability of huge databases cataloguing the various molecular “parts” of complex biological systems, researchers from multiple disciplines have focused on developi...
136
click to vote
BMCBI
2010
15 years 14 days ago
2010
Background: Several diseases, many of which nowadays pandemic, consist of multifactorial pathologies. Paradigmatic examples come from the immune response to pathogens, in which ca...