Qualitative Analysis of Gene Regulatory Networks by Satisfiability Checking of Linear Temporal Logic.
Sohei ItoNaoko IzumiShigeki HagiharaNaoki YonezakiPublished in: BIBE (2010)
Keyphrases
- linear temporal logic
- qualitative analysis
- gene regulatory networks
- quantitative analysis
- network model
- reverse engineering
- temporal logic
- gene regulatory
- gene expression data
- model checking
- regulatory networks
- content analysis
- boolean networks
- biological data
- bayesian inference
- dynamic bayesian networks
- structure learning
- software engineering
- gene expression
- maximum likelihood
- nearest neighbor
- probabilistic model
- high dimensional
- databases
- data sets