Cargando...
Approximating Attractors of Boolean Networks by Iterative CTL Model Checking
This paper introduces the notion of approximating asynchronous attractors of Boolean networks by minimal trap spaces. We define three criteria for determining the quality of an approximation: “faithfulness” which requires that the oscillating variables of all attractors in a trap space correspond to...
Gardado en:
| Publicado en: | Front Bioeng Biotechnol |
|---|---|
| Main Authors: | , |
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado: |
Frontiers Media S.A.
2015
|
| Assuntos: | |
| Acceso en liña: | https://ncbi.nlm.nih.gov/pmc/articles/PMC4562258/ https://ncbi.nlm.nih.gov/pubmed/26442247 https://ncbi.nlm.nih.govhttp://dx.doi.org/10.3389/fbioe.2015.00130 |
| Tags: |
Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
|