21 search results - page 1 / 5 » Applications of a formal approach to decipher discrete genet... |
BMCBI
2010
13 years 5 months ago
2010
Background: A growing demand for tools to assist the building and analysis of biological networks exists in systems biology. We argue that the use of a formal approach is relevant...
IJBRA
2008
13 years 5 months ago
2008
: In this paper, we propose a refinement of the modelling of biological regulatory networks based on the discrete approach of Ren
CMSB
2006
Springer
13 years 8 months ago
2006
Springer
Genetic regulatory networks have been modeled as discrete transition systems by many approaches, benefiting from a large number of formal verification algorithms available for the ...
CIBB
2009
13 years 6 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...
CMSB
2011
Springer
12 years 4 months ago
2011
Springer
Abstract. This paper tackles theoretically the question of the structural stability of biological regulation networks subjected to the influence of their environment. The model of...