A carregar...

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...

ver descrição completa

Na minha lista:
Detalhes bibliográficos
Publicado no:Front Bioeng Biotechnol
Main Authors: Klarner, Hannes, Siebert, Heike
Formato: Artigo
Idioma:Inglês
Publicado em: Frontiers Media S.A. 2015
Assuntos:
Acesso em linha: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: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!