A carregar...

Improved statistical model checking methods for pathway analysis

Statistical model checking techniques have been shown to be effective for approximate model checking on large stochastic systems, where explicit representation of the state space is impractical. Importantly, these techniques ensure the validity of results with statistical guarantees on errors. There...

ver descrição completa

Na minha lista:
Detalhes bibliográficos
Main Authors: Koh, Chuan Hock, Palaniappan, Sucheendra K, Thiagarajan, PS, Wong, Limsoon
Formato: Artigo
Idioma:Inglês
Publicado em: BioMed Central 2012
Assuntos:
Acesso em linha:https://ncbi.nlm.nih.gov/pmc/articles/PMC3521229/
https://ncbi.nlm.nih.gov/pubmed/23282174
https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1186/1471-2105-13-S17-S15
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!