Statistical analysis and probabilistic verification of stress-induced signalling pathways.
Yinjiao MaLu FengYusong GuoHaijun GongPublished in: Int. J. Data Min. Bioinform. (2016)
Keyphrases
- statistical analysis
- probabilistic model
- generative model
- clinical data
- model checking
- bayesian networks
- statistical analyses
- information theoretic
- signature verification
- probabilistic logic
- face verification
- probabilistic reasoning
- uncertain data
- statistical methods
- data driven
- verification method
- data sets
- biological pathways
- formal verification
- formal analysis
- probability distribution
- information retrieval