Model-Checking Based Approaches to Parameter Estimation of Gene Regulatory Networks.
Andrzej MizeraJun PangQixia YuanPublished in: ICECCS (2014)
Keyphrases
- parameter estimation
- model checking
- temporal logic
- gene regulatory networks
- maximum likelihood
- least squares
- metropolis hastings algorithm
- em algorithm
- model selection
- markov random field
- statistical models
- expectation maximization
- structure learning
- gene expression data
- maximum likelihood estimation
- graphical models
- network model
- approximate inference
- higher order
- knowledge discovery
- dynamic bayesian networks
- image processing
- data sets