24 search results - page 1 / 5 » Temporal logic patterns for querying dynamic models of cellu... |
ECCB
2008
IEEE
13 years 4 months ago
2008
IEEE
Abstract: Models of the dynamics of cellular interaction networks have become increasingly larger in recent years. Formal verification based on model checking provides a powerful t...
ECAI
2008
Springer
13 years 6 months ago
2008
Springer
Formal verification based on model checking provides a powerful technology to query qualitative models of dynamical systems. The application of model-checking approaches is hamper...
CIBB
2009
13 years 5 months ago
2009
Modelling activities in molecular biology face the difficulty of prediction to link molecular knowledge with cell phenotypes. Even when the interaction graph between molecules is k...
ICCS
2003
Springer
13 years 10 months ago
2003
Springer
Abstract. This paper introduces a model for simulating regulatory networks that is capable of reproducing spatial and temporal expression patterns in developmental processes. The m...
BIOWIRE
2007
Springer
13 years 11 months ago
2007
Springer
Transcriptional regulation is a key mechanism that allows cells to make the appropriate amount of proteins at the right time. This is mediated by transcription factors that respond...