Qualitative analysis of gene regulatory networks by temporal logic.
Sohei ItoTakuma IchinoseMasaya ShimakawaNaoko IzumiShigeki HagiharaNaoki YonezakiPublished in: Theor. Comput. Sci. (2015)
Keyphrases
- temporal logic
- qualitative analysis
- gene regulatory networks
- quantitative analysis
- reverse engineering
- model checking
- gene expression data
- network model
- content analysis
- boolean networks
- biological data
- dynamic bayesian networks
- belief revision
- bayesian inference
- structure learning
- gene expression
- bayesian networks
- verification method
- linear temporal logic
- databases
- high dimensional data
- high dimensional
- artificial intelligence
- learning algorithm