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 models2032085UNINA02171oas 2200733 a 450 991013631650332120250922213015.01447-4735ISSN/SEP2002(DE-599)ZDB2401501-5(OCoLC)223326404(CONSER) 2013268507(CKB)110978984446771(EXLCZ)9911097898444677120020704b20012017 ua aengurbn|---uuuuutxtrdacontentcrdamediacrrdacarrierCommunicable diseases intelligence quarterly reportCanberra Dept. of Health and Ageing1 online resourceRefereed/Peer-reviewed1322-1833 CDI quarterly reportCommunicable diseases intelligenceCommunicable diseasesAustraliaPeriodicalsCommunicable diseasesAustraliaStatisticsPeriodicalsCommunicable diseasesfast(OCoLC)fst00869883Australiafasthttps://id.oclc.org/worldcat/entity/E39QbtfRv8PPH7gCqhkJ8DK8bMPeriodicals.fastStatistics.fastCommunicable diseasesCommunicable diseasesCommunicable diseases.614.5Communicable Diseases Network Australia.Australia.Department of Health and Aged Care.Australia.Communicable Diseases and Health Protection Branch.Australia.Communicable Diseases and Environmental Health Branch.AU@AU@OCLCSUX0OCLCQSERSOOCLCQOCLCAOCLCQOCLCACUSOCLCOOCLCFOCLCQOCLCANLMCUSOCLCQOCLCLJOURNAL9910136316503321Communicable diseases intelligence quarterly report4441070UNINA