Efficient parameter search for qualitative models of regulatory networks using symbolic model checking.

Batt, Gregory; Page, Michel; Cantone, Irene; Goessler, Gregor; Monteiro, Pedro; de Jong, Hidde

Batt, Gregory; Page, Michel; Cantone, Irene; Goessler, Gregor; Monteiro, Pedro; de Jong, Hidde.

Afiliação

Batt G; INRIA Paris-Rocquencourt, Le Chesnay, France. gregory.batt@inria.fr

Bioinformatics ; 26(18): i603-10, 2010 Sep 15.

Article em En | MEDLINE | ID: mdl-20823328

Assuntos

Simulação por Computador; Redes Reguladoras de Genes; Modelos Genéticos; Benchmarking; Processamento Eletrônico de Dados; Regulação Fúngica da Expressão Gênica; Software; Simbolismo; Biologia de Sistemas; Leveduras/genética

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: Simulação por Computador / Redes Reguladoras de Genes / Modelos Genéticos Tipo de estudo: Qualitative_research Idioma: En Revista: Bioinformatics Assunto da revista: INFORMATICA MEDICA Ano de publicação: 2010 Tipo de documento: Article País de afiliação: França País de publicação: Reino Unido

Texto completo

Adicionar na Minha BVS

Imprimir

XML

PubMed Links

Buscar no Google