Constraint reasoning for differential models /

Show other versions (1)

Focuses on the integration of ordinary differential equations within the interval constraints framework, which for this purpose is extended with the formalism of Constraint Satisfaction Differential Problems. Such a framework allows the specification of ordinary differential equations by means of co...

Full description

Bibliographic Details
Call Number:Libro Electrónico
Main Author: Cruz, Jorge
Format: Electronic eBook
Language:Inglés
Published: Amsterdam ; Washington, D.C. : IOS Press, ©2005.
Series:Frontiers in artificial intelligence and applications ; v. 126.
Subjects:
Constraints (Artificial intelligence)
Differential equations.
Interval analysis (Mathematics)
Biophysics > Mathematical models.
Contraintes (Intelligence artificielle)
Équations différentielles.
Calcul sur des intervalles.
Biophysique > Modèles mathématiques.
COMPUTERS > Enterprise Applications > Business Intelligence Tools.
COMPUTERS > Intelligence (AI) & Semantics.
Biophysics > Mathematical models
Differential equations
Online Access:Texto completo
Table of Contents:
  • Title page; Table of Contents; Introduction; Interval Constraints; Constraint Satisfaction Problems; Interval Analysis; Constraint Propagation; Partial Consistencies; Global Hull-Consistency; Local Search; Experimental Results; Interval Constraints for Differential Equations; Ordinary Differential Equations; Constraint Satisfaction Differential Problems; Solving a CSDP; Biomedical Decision Support with ODEs; Conclusions and Future Work; References; Appendix A: Interval Analysis Theorems; Appendix B: Constraint Propagation Theorems.

Similar Items