LEADER 02946nam  2200685Ia 450 
001 9910821280203321
005 20240410104702.0
010   $a1-280-24343-0
010   $a9786610243433
010   $a1-4237-9924-0
010   $a1-60750-121-X
010   $a600-00-0376-5
010   $a1-60129-102-7
035   $a(CKB)1000000000243903
035   $a(EBL)265941
035   $a(OCoLC)191037890
035   $a(SSID)ssj0000129243
035   $a(PQKBManifestationID)11141423
035   $a(PQKBTitleCode)TC0000129243
035   $a(PQKBWorkID)10079691
035   $a(PQKB)10869228
035   $a(MiAaPQ)EBC265941
035   $a(Au-PeEL)EBL265941
035   $a(CaPaEBR)ebr10130633
035   $a(CaONFJC)MIL24343
035   $a(OCoLC)71301090
035   $a(EXLCZ)991000000000243903
100   $a20050616d2005      uy         0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt
182   $cc
183   $acr
200 10$aConstraint reasoning for differential models$b[electronic resource] /$fJorge Cruz
205   $a1st ed.
210   $aAmsterdam ;$aWashington, D.C. $cIOS Press$dc2005
215   $a1 online resource (244 p.)
225 1 $aFrontiers in artificial intelligence and applications ;$vv. 126
300   $aDescription based upon print version of record.
311   $a1-58603-532-0 
327   $aTitle 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
330   $aFocuses 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.
410  0$aFrontiers in artificial intelligence and applications ;$vv. 126.
606   $aConstraints (Artificial intelligence)
606   $aDifferential equations
606   $aInterval analysis (Mathematics)
606   $aBiophysics$xMathematical models
615  0$aConstraints (Artificial intelligence)
615  0$aDifferential equations.
615  0$aInterval analysis (Mathematics)
615  0$aBiophysics$xMathematical models.
676   $a006.3
700   $aCruz$b Jorge$0684863
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910821280203321
996   $aConstraint reasoning for differential models$94091883
997   $aUNINA