Reachability analysis in large probabilistic biological networks.
Andrei TodorHaitham GabrAlin DobraTamer KahveciPublished in: BCB (2013)
Keyphrases
- biological networks
- reachability analysis
- markov decision processes
- biological data
- model checking
- gene expression
- complex networks
- link prediction
- biological systems
- timed automata
- bayesian networks
- graph mining
- protein protein interactions
- community detection
- network analysis
- pattern mining
- probabilistic model
- microarray
- state space
- gene regulatory networks
- incremental algorithms
- conditional probabilities
- real time
- high throughput
- software engineering
- high dimensional
- machine learning