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...
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Amsterdam ; Washington, D.C. :
IOS Press,
©2005.
|
| Series: | Frontiers in artificial intelligence and applications ;
v. 126. |
| Subjects: | |
| Online Access: | DE-862 DE-863 |
| Summary: | 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. |
| Physical Description: | 1 online resource (xxv, 216 pages) : illustrations. |
| Bibliography: | Includes bibliographical references. |
| ISBN: | 1423799240 9781423799245 1601291027 9781601291028 9781607501213 160750121X 9781586035327 1586035320 |
Staff View
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBU-ocm71301090 | ||
| 003 | OCoLC | ||
| 005 | 20241004212047.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 |d OCLCQ |d OCLCL | ||
| 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 | ||
| 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 | 7 | |a 006.3 |2 22 | |
| 049 | |a MAIN | ||
| 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. | |
| 650 | 0 | |a Constraints (Artificial intelligence) |0 http://id.loc.gov/authorities/subjects/sh92001623 | |
| 650 | 0 | |a Differential equations. |0 http://id.loc.gov/authorities/subjects/sh85037890 | |
| 650 | 0 | |a Interval analysis (Mathematics) |0 http://id.loc.gov/authorities/subjects/sh85067539 | |
| 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 | |
| 758 | |i has work: |a Constraint reasoning for differential models (Text) |1 https://id.oclc.org/worldcat/entity/E39PD3cDKG94CfYDmCmQxp4vMd |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 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. |0 http://id.loc.gov/authorities/names/n92019289 | |
| 966 | 4 | 0 | |l DE-862 |p ZDB-4-EBU |q FWS_PDA_EBU |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=164007 |3 Volltext |
| 966 | 4 | 0 | |l DE-863 |p ZDB-4-EBU |q FWS_PDA_EBU |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=164007 |3 Volltext |
| 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 GEBAY | ||
| 912 | |a ZDB-4-EBU | ||
| 049 | |a DE-862 | ||
| 049 | |a DE-863 | ||
Record in the Search Index
| DE-BY-FWS_katkey | ZDB-4-EBU-ocm71301090 |
|---|---|
| _version_ | 1826942407778762752 |
| adam_text | |
| any_adam_object | |
| author | Cruz, Jorge |
| author_facet | Cruz, Jorge |
| author_role | |
| author_sort | Cruz, Jorge |
| author_variant | j c jc |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | Q340 |
| callnumber-raw | Q340 .C78 2005eb |
| callnumber-search | Q340 .C78 2005eb |
| callnumber-sort | Q 3340 C78 42005EB |
| callnumber-subject | Q - General Science |
| collection | ZDB-4-EBU |
| contents | 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. |
| ctrlnum | (OCoLC)71301090 |
| dewey-full | 006.3 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.3 |
| dewey-search | 006.3 |
| dewey-sort | 16.3 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>05335cam a2200781 a 4500</leader><controlfield tag="001">ZDB-4-EBU-ocm71301090 </controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cnu---unuuu</controlfield><controlfield tag="008">060912s2005 ne a ob 000 0 eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="z"> 2005929309</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">N$T</subfield><subfield code="b">eng</subfield><subfield code="e">pn</subfield><subfield code="c">N$T</subfield><subfield code="d">YDXCP</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">UV0</subfield><subfield code="d">CAI</subfield><subfield code="d">IOSPR</subfield><subfield code="d">IDEBK</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">MHW</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">MERUC</subfield><subfield code="d">CCO</subfield><subfield code="d">E7B</subfield><subfield code="d">DKDLA</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCF</subfield><subfield code="d">OCLCO</subfield><subfield code="d">DEBSZ</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">AU@</subfield><subfield code="d">EBLCP</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">LOA</subfield><subfield code="d">JBG</subfield><subfield code="d">AZK</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">AGLDB</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">MOR</subfield><subfield code="d">PIFBR</subfield><subfield code="d">ZCU</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">HTC</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">U3W</subfield><subfield code="d">BRL</subfield><subfield code="d">STF</subfield><subfield code="d">WRM</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">VTS</subfield><subfield code="d">NRAMU</subfield><subfield code="d">ICG</subfield><subfield code="d">INT</subfield><subfield code="d">VT2</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">WYU</subfield><subfield code="d">A6Q</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">DKC</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">UKCRE</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCL</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">191037890</subfield><subfield code="a">228144568</subfield><subfield code="a">228144569</subfield><subfield code="a">276799113</subfield><subfield code="a">473088881</subfield><subfield code="a">481774419</subfield><subfield code="a">491253419</subfield><subfield code="a">560230106</subfield><subfield code="a">647517590</subfield><subfield code="a">722472404</subfield><subfield code="a">728019526</subfield><subfield code="a">781253482</subfield><subfield code="a">888528196</subfield><subfield code="a">960205711</subfield><subfield code="a">961664084</subfield><subfield code="a">962585067</subfield><subfield code="a">988431915</subfield><subfield code="a">991956504</subfield><subfield code="a">1037463065</subfield><subfield code="a">1037723985</subfield><subfield code="a">1038605149</subfield><subfield code="a">1045517771</subfield><subfield code="a">1055334189</subfield><subfield code="a">1062872340</subfield><subfield code="a">1076284009</subfield><subfield code="a">1081254026</subfield><subfield code="a">1153460138</subfield><subfield code="a">1228547788</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1423799240</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781423799245</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1601291027</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781601291028</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781607501213</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">160750121X</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781586035327</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1586035320</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">1586035320</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)71301090</subfield><subfield code="z">(OCoLC)191037890</subfield><subfield code="z">(OCoLC)228144568</subfield><subfield code="z">(OCoLC)228144569</subfield><subfield code="z">(OCoLC)276799113</subfield><subfield code="z">(OCoLC)473088881</subfield><subfield code="z">(OCoLC)481774419</subfield><subfield code="z">(OCoLC)491253419</subfield><subfield code="z">(OCoLC)560230106</subfield><subfield code="z">(OCoLC)647517590</subfield><subfield code="z">(OCoLC)722472404</subfield><subfield code="z">(OCoLC)728019526</subfield><subfield code="z">(OCoLC)781253482</subfield><subfield code="z">(OCoLC)888528196</subfield><subfield code="z">(OCoLC)960205711</subfield><subfield code="z">(OCoLC)961664084</subfield><subfield code="z">(OCoLC)962585067</subfield><subfield code="z">(OCoLC)988431915</subfield><subfield code="z">(OCoLC)991956504</subfield><subfield code="z">(OCoLC)1037463065</subfield><subfield code="z">(OCoLC)1037723985</subfield><subfield code="z">(OCoLC)1038605149</subfield><subfield code="z">(OCoLC)1045517771</subfield><subfield code="z">(OCoLC)1055334189</subfield><subfield code="z">(OCoLC)1062872340</subfield><subfield code="z">(OCoLC)1076284009</subfield><subfield code="z">(OCoLC)1081254026</subfield><subfield code="z">(OCoLC)1153460138</subfield><subfield code="z">(OCoLC)1228547788</subfield></datafield><datafield tag="037" ind1=" " ind2=" "><subfield code="a">978-1-58603-532-7</subfield><subfield code="b">IOS Press</subfield><subfield code="n">http://www.iospress.nl</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">Q340</subfield><subfield code="b">.C78 2005eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">COM004000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">006.3</subfield><subfield code="2">22</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Cruz, Jorge.</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Constraint reasoning for differential models /</subfield><subfield code="c">Jorge Cruz.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Amsterdam ;</subfield><subfield code="a">Washington, D.C. :</subfield><subfield code="b">IOS Press,</subfield><subfield code="c">©2005.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (xxv, 216 pages) :</subfield><subfield code="b">illustrations.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="347" ind1=" " ind2=" "><subfield code="a">data file</subfield><subfield code="2">rda</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Frontiers in artificial intelligence and applications ;</subfield><subfield code="v">v. 126</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="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.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="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.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Constraints (Artificial intelligence)</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh92001623</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Differential equations.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85037890</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Interval analysis (Mathematics)</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85067539</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Biophysics</subfield><subfield code="x">Mathematical models.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Contraintes (Intelligence artificielle)</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Équations différentielles.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Calcul sur des intervalles.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Biophysique</subfield><subfield code="x">Modèles mathématiques.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Enterprise Applications</subfield><subfield code="x">Business Intelligence Tools.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Intelligence (AI) & Semantics.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Biophysics</subfield><subfield code="x">Mathematical models</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Constraints (Artificial intelligence)</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Differential equations</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Interval analysis (Mathematics)</subfield><subfield code="2">fast</subfield></datafield><datafield tag="758" ind1=" " ind2=" "><subfield code="i">has work:</subfield><subfield code="a">Constraint reasoning for differential models (Text)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PD3cDKG94CfYDmCmQxp4vMd</subfield><subfield code="4">https://id.oclc.org/worldcat/ontology/hasWork</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">Cruz, Jorge.</subfield><subfield code="t">Constraint reasoning for differential models.</subfield><subfield code="d">Amsterdam ; Washington, D.C. : IOS Press, ©2005</subfield><subfield code="z">1586035320</subfield><subfield code="w">(DLC) 2005929309</subfield><subfield code="w">(OCoLC)64197302</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Frontiers in artificial intelligence and applications ;</subfield><subfield code="v">v. 126.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n92019289</subfield></datafield><datafield tag="966" ind1="4" ind2="0"><subfield code="l">DE-862</subfield><subfield code="p">ZDB-4-EBU</subfield><subfield code="q">FWS_PDA_EBU</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=164007</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="4" ind2="0"><subfield code="l">DE-863</subfield><subfield code="p">ZDB-4-EBU</subfield><subfield code="q">FWS_PDA_EBU</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=164007</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBL - Ebook Library</subfield><subfield code="b">EBLB</subfield><subfield code="n">EBL265941</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ebrary</subfield><subfield code="b">EBRY</subfield><subfield code="n">ebr10130633</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">164007</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest MyiLibrary Digital eBook Collection</subfield><subfield code="b">IDEB</subfield><subfield code="n">24343</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">2628179</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">3207138</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">2470350</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBU</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-862</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection> |
| id | ZDB-4-EBU-ocm71301090 |
| illustrated | Illustrated |
| indexdate | 2025-03-18T14:27:31Z |
| institution | BVB |
| isbn | 1423799240 9781423799245 1601291027 9781601291028 9781607501213 160750121X 9781586035327 1586035320 |
| language | English |
| oclc_num | 71301090 |
| open_access_boolean | |
| owner | MAIN DE-862 DE-BY-FWS DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-862 DE-BY-FWS DE-863 DE-BY-FWS |
| physical | 1 online resource (xxv, 216 pages) : illustrations. |
| psigel | ZDB-4-EBU FWS_PDA_EBU ZDB-4-EBU |
| publishDate | 2005 |
| publishDateSearch | 2005 |
| publishDateSort | 2005 |
| publisher | IOS Press, |
| record_format | marc |
| series | Frontiers in artificial intelligence and applications ; |
| series2 | Frontiers in artificial intelligence and applications ; |
| spelling | Cruz, Jorge. Constraint reasoning for differential models / Jorge Cruz. Amsterdam ; Washington, D.C. : IOS Press, ©2005. 1 online resource (xxv, 216 pages) : illustrations. text txt rdacontent computer c rdamedia online resource cr rdacarrier data file rda Frontiers in artificial intelligence and applications ; v. 126 Includes bibliographical references. 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. 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. Print version record. Constraints (Artificial intelligence) http://id.loc.gov/authorities/subjects/sh92001623 Differential equations. http://id.loc.gov/authorities/subjects/sh85037890 Interval analysis (Mathematics) http://id.loc.gov/authorities/subjects/sh85067539 Biophysics Mathematical models. Contraintes (Intelligence artificielle) Équations différentielles. Calcul sur des intervalles. Biophysique Modèles mathématiques. COMPUTERS Enterprise Applications Business Intelligence Tools. bisacsh COMPUTERS Intelligence (AI) & Semantics. bisacsh Biophysics Mathematical models fast Constraints (Artificial intelligence) fast Differential equations fast Interval analysis (Mathematics) fast has work: Constraint reasoning for differential models (Text) https://id.oclc.org/worldcat/entity/E39PD3cDKG94CfYDmCmQxp4vMd https://id.oclc.org/worldcat/ontology/hasWork Print version: Cruz, Jorge. Constraint reasoning for differential models. Amsterdam ; Washington, D.C. : IOS Press, ©2005 1586035320 (DLC) 2005929309 (OCoLC)64197302 Frontiers in artificial intelligence and applications ; v. 126. http://id.loc.gov/authorities/names/n92019289 |
| spellingShingle | Cruz, Jorge Constraint reasoning for differential models / Frontiers in artificial intelligence and applications ; 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. Constraints (Artificial intelligence) http://id.loc.gov/authorities/subjects/sh92001623 Differential equations. http://id.loc.gov/authorities/subjects/sh85037890 Interval analysis (Mathematics) http://id.loc.gov/authorities/subjects/sh85067539 Biophysics Mathematical models. Contraintes (Intelligence artificielle) Équations différentielles. Calcul sur des intervalles. Biophysique Modèles mathématiques. COMPUTERS Enterprise Applications Business Intelligence Tools. bisacsh COMPUTERS Intelligence (AI) & Semantics. bisacsh Biophysics Mathematical models fast Constraints (Artificial intelligence) fast Differential equations fast Interval analysis (Mathematics) fast |
| subject_GND | http://id.loc.gov/authorities/subjects/sh92001623 http://id.loc.gov/authorities/subjects/sh85037890 http://id.loc.gov/authorities/subjects/sh85067539 |
| title | Constraint reasoning for differential models / |
| title_auth | Constraint reasoning for differential models / |
| title_exact_search | Constraint reasoning for differential models / |
| title_full | Constraint reasoning for differential models / Jorge Cruz. |
| title_fullStr | Constraint reasoning for differential models / Jorge Cruz. |
| title_full_unstemmed | Constraint reasoning for differential models / Jorge Cruz. |
| title_short | Constraint reasoning for differential models / |
| title_sort | constraint reasoning for differential models |
| topic | Constraints (Artificial intelligence) http://id.loc.gov/authorities/subjects/sh92001623 Differential equations. http://id.loc.gov/authorities/subjects/sh85037890 Interval analysis (Mathematics) http://id.loc.gov/authorities/subjects/sh85067539 Biophysics Mathematical models. Contraintes (Intelligence artificielle) Équations différentielles. Calcul sur des intervalles. Biophysique Modèles mathématiques. COMPUTERS Enterprise Applications Business Intelligence Tools. bisacsh COMPUTERS Intelligence (AI) & Semantics. bisacsh Biophysics Mathematical models fast Constraints (Artificial intelligence) fast Differential equations fast Interval analysis (Mathematics) fast |
| topic_facet | Constraints (Artificial intelligence) Differential equations. Interval analysis (Mathematics) Biophysics Mathematical models. Contraintes (Intelligence artificielle) Équations différentielles. Calcul sur des intervalles. Biophysique Modèles mathématiques. COMPUTERS Enterprise Applications Business Intelligence Tools. COMPUTERS Intelligence (AI) & Semantics. Biophysics Mathematical models Differential equations |
| work_keys_str_mv | AT cruzjorge constraintreasoningfordifferentialmodels |