Abstract Interpretation of Dynamics of Biological Regulatory Networks.
Loïc PaulevéMorgan MagninOlivier F. RouxPublished in: Electron. Notes Theor. Comput. Sci. (2011)
Keyphrases
- regulatory networks
- abstract interpretation
- termination analysis
- microarray
- gene expression
- static analysis
- gene regulatory networks
- gene expression data
- model checking
- biological data
- biological systems
- systems biology
- microarray data
- active rules
- protein protein interactions
- computational biology
- data sets
- transcription factors
- biological processes
- reasoning engine
- bayesian networks
- active databases
- dynamic analysis
- high dimensionality
- database systems