35 search results - page 3 / 7 » Quantitative and Probabilistic Modeling in Pathway Logic |
215
click to vote
ISMB
1998
15 years 8 months ago
1998
Traditionally, biochemical systems are modelled usingkinetics anddifferential equationsin a quantitative simulator. However,for manybiological processes detailed quantitative info...
213
Voted
QEST
2007
IEEE
16 years 1 months ago
2007
IEEE
Stochastic game logic (SGL) is a new temporal logic that combines features of alternating temporal logic (to formalize the individual views and cooperation and reaction facilities...
220
Voted
FORMATS
2004
Springer
16 years 23 days ago
2004
Springer
Probabilistic timed automata are timed automata extended with discrete probability distributions, and can be used to model timed randomised protocols or faulttolerant systems. We ...
171
Voted
LMCS
2006
15 years 7 months ago
2006
We consider the model checking problem for probabilistic pushdown automata (pPDA) and properties expressible in various probabilistic logics. We start with properties that can be ...
184
Voted
ENTCS
2010
15 years 4 months ago
2010
We study the biochemical processes involved in scaffold-mediated crosstalk between the cAMP and the Raf-1/MEK/ERK pathways. We model the system by a continuous time Markov chain w...