Computational Modeling, Formal Analysis, and Tools for Systems Biology

First Page		Document Content
Date: 2016-02-05 19:02:40 Bioinformatics Scientific modeling Models of computation Systems biology Concurrency Computational biology Linear temporal logic Model checking Agent-based model Gene regulatory network Construction and Analysis of Distributed Processes Petri net		Computational Modeling, Formal Analysis, and Tools for Systems Biology Add to Reading List Source URL: www.eziobartocci.com Download Document from Source Website File Size: 3,59 MB Share Document on Facebook

	Integrative analysis of the zinc ﬁnger transcription factor Lame duck in the Drosophila myogenic gene regulatory network Brian W. Bussera,1, Di Huangb,1, Kevin R. Rogackia,1, Elizabeth A. Lanea, Leila Shokric, Ting Nia DocID: 1uOGK - View Document
	Inferring Gene Regulatory Network Models for Plant Stem Cell Regulation Henrik J¨onsson1, Marcus Heisler2, G. Venugopala Reddy2, Elliot M. Meyerowitz2 and Eric Mjolsness4 1Complex Systems Division, Department of Theoret DocID: 1uLM1 - View Document
	Por Sae-Seaw Final Paper – Bioc218 June 6, 2010 A review of graphical models for gene regulatory network inference using microarray data Introduction An important problem in systems biology is the inference of gene reg DocID: 1u4CV - View Document
	Genome Informatics 11: 227–A Simulation Tool for Regulatory Network of Gene Expressions in the Patterning of Multicellular Organisms DocID: 1sqeR - View Document
	Genome Informatics 11: 278–Quantitative Modeling of Gene Regulatory Network: Identifying the Network by Means of Genetic DocID: 1s5ZP - View Document