91 search results - page 4 / 19 » Symbolic Modeling of Genetic Regulatory Networks |
GRC
2005
IEEE
14 years 1 months ago
2005
IEEE
In this paper, we propose a linear control model for gene intervention in a genetic regulatory network. At each time step, finite controls are allowed to drive the network states...
ECAI
2008
Springer
13 years 9 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...
HYBRID
2007
Springer
14 years 1 months ago
2007
Springer
The lack of precise numerical information for the values of biological parameters severely limits the development and analysis of models of genetic regulatory networks. To deal wit...
TACAS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Recent studies have demonstrated the possibility to build genetic regulatory networks that confer a desired behavior to a living organism. However, the design of these ne...
CIBCB
2009
IEEE
13 years 8 months ago
2009
IEEE
Although Ordinary Differential Equations (ODEs) have been used to model Genetic Regulatory Networks (GRNs) in many previous works, their steady-state behaviors are not well studied...