Parameter discovery for stochastic computational models in systems biology using Bayesian model checking.
Faraz HussainChristopher James LangmeadQi MiJoyeeta Dutta-MoscatoYoram VodovotzSumit Kumar JhaPublished in: ICCABS (2014)
Keyphrases
- computational models
- model checking
- systems biology
- biological systems
- computational model
- temporal logic
- high throughput
- biological networks
- formal verification
- biological data
- model checker
- verification method
- bayesian networks
- knowledge discovery
- data mining
- formal methods
- gene regulatory networks
- pattern discovery
- computational biology
- protein protein interactions
- bayesian inference
- molecular biology
- microarray
- machine learning
- mathematical models
- complex systems
- binary images