Verification and Optimal Control of Context-Sensitive Probabilistic Boolean Networks Using Model Checking and Polynomial Optimization

One of the significant topics in systems biology is to develop control theory of gene regulatory networks (GRNs). In typical control of GRNs, expression of some genes is inhibited (activated) by manipulating external stimuli and expression of other genes. It is expected to apply control theory of GR...

Descripción completa

Detalles Bibliográficos
Autores principales: Kobayashi, Koichi, Hiraishi, Kunihiko
Formato: Online Artículo Texto
Lenguaje:English
Publicado: Hindawi Publishing Corporation 2014
Materias:
Research Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3920625/
https://www.ncbi.nlm.nih.gov/pubmed/24587766
http://dx.doi.org/10.1155/2014/968341

Internet

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3920625/
https://www.ncbi.nlm.nih.gov/pubmed/24587766
http://dx.doi.org/10.1155/2014/968341

Ejemplares similares