Infer gene regulatory networks from time series data with formal methods.
Michele CeccarelliLuigi CeruloAntonella SantonePublished in: BIBM (2013)
Keyphrases
- formal methods
- gene regulatory networks
- genetic regulatory networks
- reverse engineering
- gene regulatory
- gene expression data
- network model
- formal specification
- software engineering
- boolean networks
- model checking
- regulatory networks
- gene networks
- knowledge based systems
- biological data
- bayesian inference
- artificial intelligence
- gene expression
- structure learning
- dynamic bayesian networks
- data analysis
- software systems
- databases
- machine learning methods
- conditional independence
- knowledge acquisition
- data mining techniques
- high dimensional
- bayesian networks
- neural network