Abstract Interpretation for Probabilistic Termination of Biological Systems
Roberta GoriFrancesca LeviPublished in: MeCBIC (2009)
Keyphrases
- biological systems
- termination analysis
- abstract interpretation
- active rules
- biologically inspired
- active databases
- complex systems
- systems biology
- neural dynamics
- living systems
- computational models
- static analysis
- complex biological systems
- reasoning engine
- business rules
- deductive databases
- multi agent
- signal transduction
- high level
- databases