Cargando…
Modeling and analysis of cell membrane systems with probabilistic model checking
BACKGROUND: Recently there has been a growing interest in the application of Probabilistic Model Checking (PMC) for the formal specification of biological systems. PMC is able to exhaustively explore all states of a stochastic model and can provide valuable insight into its behavior which are more d...
Autores principales: | Crepalde, Mirlaine A, Faria-Campos, Alessandra C, Campos, Sérgio VA |
---|---|
Formato: | Online Artículo Texto |
Lenguaje: | English |
Publicado: |
BioMed Central
2011
|
Materias: | |
Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3287583/ https://www.ncbi.nlm.nih.gov/pubmed/22369714 http://dx.doi.org/10.1186/1471-2164-12-S4-S14 |
Ejemplares similares
-
Can the vector space model be used to identify biological entity activities?
por: Maciel, Wesley D, et al.
Publicado: (2011) -
Improved statistical model checking methods for pathway analysis
por: Koh, Chuan Hock, et al.
Publicado: (2012) -
Bayesian probabilistic network modeling from multiple independent replicates
por: Patton, Kristopher L, et al.
Publicado: (2012) -
SIGLa: an adaptable LIMS for multiple laboratories
por: Melo, Alexandre, et al.
Publicado: (2010) -
Probabilistic model checking of cancer metabolism
por: Friedenberg, Meir D., et al.
Publicado: (2022)