60 search results - page 1 / 12 » On the Use of Temporal Formal Logic to Model Gene Regulatory... |
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...
TCS
2008
13 years 4 months ago
2008
Starting from the logical description of gene regulatory networks developed by R. Thomas, we introduce an enhanced modelling approach based on timed automata. We obtain a refined ...
IJCNN
2006
IEEE
13 years 10 months ago
2006
IEEE
- Gene regulatory networks allow us to study and understand genes’ roles in biological processes. Among others, regulatory networks help to identify pathway initiator genes and t...
GCB
2009
Springer
13 years 2 months ago
2009
Springer
Abstract: A comparative interaction detection paradigm is proposed to study the complex gene regulatory networks that control cell proliferation during development. Instead of atte...
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...