Cargando…
Constraint reasoning for differential models /
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| 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: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000Ia 4500 | ||
|---|---|---|---|
| 001 | EBSCO_ocm71301090 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 060912s2005 ne a ob 000 0 eng d | ||
| 010 | |z 2005929309 | ||
| 040 | |a N$T |b eng |e pn |c N$T |d YDXCP |d OCLCQ |d UV0 |d CAI |d IOSPR |d IDEBK |d OCLCQ |d MHW |d OCLCQ |d MERUC |d CCO |d E7B |d DKDLA |d OCLCQ |d OCLCF |d OCLCO |d DEBSZ |d OCLCQ |d AU@ |d EBLCP |d OCLCQ |d LOA |d JBG |d AZK |d OCLCQ |d AGLDB |d OCLCQ |d MOR |d PIFBR |d ZCU |d OCLCQ |d HTC |d OCLCQ |d U3W |d BRL |d STF |d WRM |d OCLCQ |d VTS |d NRAMU |d ICG |d INT |d VT2 |d OCLCQ |d WYU |d A6Q |d OCLCQ |d DKC |d OCLCQ |d UKCRE |d OCLCO |d OCLCQ |d OCLCO | ||
| 019 | |a 191037890 |a 228144568 |a 228144569 |a 276799113 |a 473088881 |a 481774419 |a 491253419 |a 560230106 |a 647517590 |a 722472404 |a 728019526 |a 781253482 |a 888528196 |a 960205711 |a 961664084 |a 962585067 |a 988431915 |a 991956504 |a 1037463065 |a 1037723985 |a 1038605149 |a 1045517771 |a 1055334189 |a 1062872340 |a 1076284009 |a 1081254026 |a 1153460138 |a 1228547788 | ||
| 020 | |a 1423799240 |q (electronic bk.) | ||
| 020 | |a 9781423799245 |q (electronic bk.) | ||
| 020 | |a 1601291027 | ||
| 020 | |a 9781601291028 | ||
| 020 | |a 9781607501213 | ||
| 020 | |a 160750121X | ||
| 020 | |a 9781586035327 | ||
| 020 | |a 1586035320 | ||
| 020 | |z 1586035320 | ||
| 029 | 1 | |a AU@ |b 000046687380 | |
| 029 | 1 | |a AU@ |b 000048781302 | |
| 029 | 1 | |a AU@ |b 000051357675 | |
| 029 | 1 | |a AU@ |b 000053231682 | |
| 029 | 1 | |a DEBBG |b BV042968967 | |
| 029 | 1 | |a DEBBG |b BV044083660 | |
| 029 | 1 | |a DEBSZ |b 396089801 | |
| 029 | 1 | |a DEBSZ |b 422266213 | |
| 029 | 1 | |a GBVCP |b 799428000 | |
| 029 | 1 | |a NZ1 |b 12046450 | |
| 029 | 1 | |a YDXCP |b 2470350 | |
| 035 | |a (OCoLC)71301090 |z (OCoLC)191037890 |z (OCoLC)228144568 |z (OCoLC)228144569 |z (OCoLC)276799113 |z (OCoLC)473088881 |z (OCoLC)481774419 |z (OCoLC)491253419 |z (OCoLC)560230106 |z (OCoLC)647517590 |z (OCoLC)722472404 |z (OCoLC)728019526 |z (OCoLC)781253482 |z (OCoLC)888528196 |z (OCoLC)960205711 |z (OCoLC)961664084 |z (OCoLC)962585067 |z (OCoLC)988431915 |z (OCoLC)991956504 |z (OCoLC)1037463065 |z (OCoLC)1037723985 |z (OCoLC)1038605149 |z (OCoLC)1045517771 |z (OCoLC)1055334189 |z (OCoLC)1062872340 |z (OCoLC)1076284009 |z (OCoLC)1081254026 |z (OCoLC)1153460138 |z (OCoLC)1228547788 | ||
| 037 | |a 978-1-58603-532-7 |b IOS Press |n http://www.iospress.nl | ||
| 050 | 4 | |a Q340 |b .C78 2005eb | |
| 072 | 7 | |a COM |x COM004000 |2 bisacsh | |
| 082 | 0 | 4 | |a 006.3 |2 22 |
| 049 | |a UAMI | ||
| 100 | 1 | |a Cruz, Jorge. | |
| 245 | 1 | 0 | |a Constraint reasoning for differential models / |c Jorge Cruz. |
| 260 | |a Amsterdam ; |a Washington, D.C. : |b IOS Press, |c ©2005. | ||
| 300 | |a 1 online resource (xxv, 216 pages) : |b illustrations. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a data file |2 rda | ||
| 490 | 1 | |a Frontiers in artificial intelligence and applications ; |v v. 126 | |
| 504 | |a Includes bibliographical references. | ||
| 505 | 0 | |a 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. | |
| 520 | |a 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. | ||
| 588 | 0 | |a Print version record. | |
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 650 | 0 | |a Constraints (Artificial intelligence) | |
| 650 | 0 | |a Differential equations. | |
| 650 | 0 | |a Interval analysis (Mathematics) | |
| 650 | 0 | |a Biophysics |x Mathematical models. | |
| 650 | 6 | |a Contraintes (Intelligence artificielle) | |
| 650 | 6 | |a Équations différentielles. | |
| 650 | 6 | |a Calcul sur des intervalles. | |
| 650 | 6 | |a Biophysique |x Modèles mathématiques. | |
| 650 | 7 | |a COMPUTERS |x Enterprise Applications |x Business Intelligence Tools. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Intelligence (AI) & Semantics. |2 bisacsh | |
| 650 | 7 | |a Biophysics |x Mathematical models |2 fast | |
| 650 | 7 | |a Constraints (Artificial intelligence) |2 fast | |
| 650 | 7 | |a Differential equations |2 fast | |
| 650 | 7 | |a Interval analysis (Mathematics) |2 fast | |
| 776 | 0 | 8 | |i Print version: |a Cruz, Jorge. |t Constraint reasoning for differential models. |d Amsterdam ; Washington, D.C. : IOS Press, ©2005 |z 1586035320 |w (DLC) 2005929309 |w (OCoLC)64197302 |
| 830 | 0 | |a Frontiers in artificial intelligence and applications ; |v v. 126. | |
| 856 | 4 | 0 | |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=164007 |z Texto completo |
| 938 | |a EBL - Ebook Library |b EBLB |n EBL265941 | ||
| 938 | |a ebrary |b EBRY |n ebr10130633 | ||
| 938 | |a EBSCOhost |b EBSC |n 164007 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n 24343 | ||
| 938 | |a YBP Library Services |b YANK |n 2628179 | ||
| 938 | |a YBP Library Services |b YANK |n 3207138 | ||
| 938 | |a YBP Library Services |b YANK |n 2470350 | ||
| 994 | |a 92 |b IZTAP | ||