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

Descripción completa

Detalles Bibliográficos
Autores principales: Koh, Chuan Hock, Palaniappan, Sucheendra K, Thiagarajan, PS, Wong, Limsoon
Formato: Online Artículo Texto
Lenguaje:English
Publicado: BioMed Central 2012
Materias:
Proceedings
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3521229/
https://www.ncbi.nlm.nih.gov/pubmed/23282174
http://dx.doi.org/10.1186/1471-2105-13-S17-S15

Internet

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3521229/
https://www.ncbi.nlm.nih.gov/pubmed/23282174
http://dx.doi.org/10.1186/1471-2105-13-S17-S15

Ejemplares similares