scholarly journals Model-Checking Based Approaches to Parameter Estimation of Gene Regulatory Networks

2014 ◽  
Author(s):  
Andrzej Mizera ◽  
Jun Pang ◽  
Qixia Yuan
Keyword(s):  
Parameter Estimation ◽  
Model Checking ◽  
Gene Regulatory Networks ◽  
Regulatory Networks ◽  
Gene Regulatory

scholarly journals Parameter Estimation for Gene Regulatory Networks from Microarray Data: Cold Shock Response in Saccharomyces cerevisiae

2015 ◽  
Vol 77 (8) ◽  
pp. 1457-1492 ◽  
Author(s):  
Kam D. Dahlquist ◽  
Ben G. Fitzpatrick ◽  
Erika T. Camacho ◽  
Stephanie D. Entzminger ◽  
Nathan C. Wanner
Keyword(s):  
Saccharomyces Cerevisiae ◽  
Parameter Estimation ◽  
Gene Regulatory Networks ◽  
Microarray Data ◽  
Regulatory Networks ◽  
Cold Shock ◽  
Cold Shock Response ◽  
Shock Response ◽  
Gene Regulatory

scholarly journals Model Checking Gene Regulatory Networks

2015 ◽  
pp. 469-483 ◽  
Author(s):  
Mirco Giacobbe ◽  
Călin C. Guet ◽  
Ashutosh Gupta ◽  
Thomas A. Henzinger ◽  
Tiago Paixão ◽  
...  
Keyword(s):  
Model Checking ◽  
Gene Regulatory Networks ◽  
Regulatory Networks ◽  
Gene Regulatory

scholarly journals Model checking the evolution of gene regulatory networks

2016 ◽  
Vol 54 (8) ◽  
pp. 765-787 ◽  
Author(s):  
Mirco Giacobbe ◽  
Călin C. Guet ◽  
Ashutosh Gupta ◽  
Thomas A. Henzinger ◽  
Tiago Paixão ◽  
...  
Keyword(s):  
Model Checking ◽  
Gene Regulatory Networks ◽  
Regulatory Networks ◽  
Gene Regulatory
Sign in / Sign up

Export Citation Format

Share Document