Constraint reasoning for differential models [[electronic resource] /] / Jorge Cruz

• Autore: Cruz Jorge
• Pubblicazione: Amsterdam ; ; Washington, D.C., : IOS Press, c2005
• Edizione: 1st ed.
• Descrizione fisica: 1 online resource (244 p.)
• Disciplina: 006.3
• Soggetto topico: Constraints (Artificial intelligence); Differential equations; Interval analysis (Mathematics); Biophysics - Mathematical models
• Note generali: Description based upon print version of record.
• Nota di contenuto: 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
• Sommario/riassunto: 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 constraints.
• Titolo autorizzato: Constraint reasoning for differential models
• ISBN: 1-280-24343-0; 9786610243433; 1-4237-9924-0; 1-60750-121-X; 600-00-0376-5; 1-60129-102-7
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9910821280203321
• Lo trovi qui: Univ. Federico II
• Serie: Frontiers in artificial intelligence and applications ; ; v. 126.