Constraint reasoning for differential models /

Mostrar otras versiones (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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Cruz, Jorge
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Amsterdam ; Washington, D.C. : IOS Press, ©2005.
Colección:Frontiers in artificial intelligence and applications ; v. 126.
Temas:
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
Acceso en línea:Texto completo
Tabla de Contenidos:
  • 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.

Ejemplares similares