Sciweavers

28 search results - page 1 / 6
» Model Checking Genetic Regulatory Networks with Parameter Un...
Sort
View
HYBRID
2007
Springer
13 years 11 months ago
Model Checking Genetic Regulatory Networks with Parameter Uncertainty
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...
Grégory Batt, Calin Belta, Ron Weiss
TACAS
2007
Springer
92views Algorithms» more  TACAS 2007»
13 years 11 months ago
Model Checking Liveness Properties of Genetic Regulatory Networks
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...
Grégory Batt, Calin Belta, Ron Weiss
IDEAL
2004
Springer
13 years 10 months ago
Building Genetic Networks for Gene Expression Patterns
Building genetic regulatory networks from time series data of gene expression patterns is an important topic in bioinformatics. Probabilistic Boolean networks (PBNs) have been deve...
Wai-Ki Ching, Eric S. Fung, Michael K. Ng
TSMC
2010
12 years 11 months ago
On Robust Stability of Stochastic Genetic Regulatory Networks With Time Delays: A Delay Fractioning Approach
Robust stability serves as an important regulation mechanism in system biology and synthetic biology. In this paper, the robust stability analysis problem is investigated for a cla...
Yao Wang, Zidong Wang, Jinling Liang
SPIN
2004
Springer
13 years 10 months ago
Model Checking Genetic Regulatory Networks Using GNA and CADP
Grégory Batt, Damien Bergamini, Hidde de Jo...