02960nam 2200685Ia 450 991044978660332120200520144314.01-280-24343-097866102434331-4237-9924-01-60750-121-X600-00-0376-51-60129-102-7(CKB)1000000000243903(EBL)265941(OCoLC)191037890(SSID)ssj0000129243(PQKBManifestationID)11141423(PQKBTitleCode)TC0000129243(PQKBWorkID)10079691(PQKB)10869228(MiAaPQ)EBC265941(Au-PeEL)EBL265941(CaPaEBR)ebr10130633(CaONFJC)MIL24343(OCoLC)71301090(EXLCZ)99100000000024390320050616d2005 uy 0engur|n|---|||||txtccrConstraint reasoning for differential models[electronic resource] /Jorge CruzAmsterdam ;Washington, D.C. IOS Pressc20051 online resource (244 p.)Frontiers in artificial intelligence and applications ;v. 126Description based upon print version of record.1-58603-532-0 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 TheoremsFocuses 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.Frontiers in artificial intelligence and applications ;v. 126.Constraints (Artificial intelligence)Differential equationsInterval analysis (Mathematics)BiophysicsMathematical modelsElectronic books.Constraints (Artificial intelligence)Differential equations.Interval analysis (Mathematics)BiophysicsMathematical models.006.3Cruz Jorge684863MiAaPQMiAaPQMiAaPQBOOK9910449786603321Constraint reasoning for differential models2032085UNINA