An efficient algorithm for computing fixed length attractors based on bounded model checking in synchronous Boolean networks with biochemical applications.

Li, X Y; Yang, G W; Zheng, D S; Guo, W S; Hung, W N N

Li, X Y; Yang, G W; Zheng, D S; Guo, W S; Hung, W N N.

Afiliação

Li XY; School of Computer Science and Engineering, University of Electronic Science and Technology of China, Chengdu, China erin.xiaoyu.li@gmail.com.
Yang GW; School of Computer Science and Engineering, University of Electronic Science and Technology of China, Chengdu, China.
Zheng DS; School of Computer Science and Engineering, University of Electronic Science and Technology of China, Chengdu, China.
Guo WS; School of Computer Science and Engineering, University of Electronic Science and Technology of China, Chengdu, China.
Hung WN; Synopsys Inc., Mountain View, CA, USA.

Genet Mol Res ; 14(2): 4238-44, 2015 Apr 28.

Article em En | MEDLINE | ID: mdl-25966195

Assuntos

Algoritmos; Fenômenos Bioquímicos/genética; Redes Reguladoras de Genes/genética; Computação Matemática; Simulação por Computador; Modelos Genéticos

Texto completo

Adicionar na Minha BVS

Imprimir

XML

PubMed Links

Buscar no Google

Texto completo: 1 Coleções: 01-internacional Base de dados: MEDLINE Assunto principal: Fenômenos Bioquímicos / Algoritmos / Computação Matemática / Redes Reguladoras de Genes Tipo de estudo: Prognostic_studies Idioma: En Revista: Genet Mol Res Assunto da revista: BIOLOGIA MOLECULAR / GENETICA Ano de publicação: 2015 Tipo de documento: Article País de afiliação: China País de publicação: Brasil

Texto completo

Adicionar na Minha BVS

Imprimir

XML

PubMed Links

Buscar no Google