Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation.
Alessio ColettaRoberta GoriFrancesca LeviPublished in: Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
- biological systems
- abstract interpretation
- biologically inspired
- termination analysis
- complex systems
- systems biology
- static analysis
- living systems
- neural dynamics
- active rules
- complex biological systems
- signal transduction
- active databases
- computational models
- living organisms
- neural mechanisms
- reasoning engine
- model checking
- formal semantics
- databases
- cooperative