Constraint reasoning for differential models:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam
IOS Press
c2005
|
| Schriftenreihe: | Frontiers in artificial intelligence and applications
v. 126 |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | 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 |
| Beschreibung: | 1 Online-Ressource (xxv, 216 p.) |
| ISBN: | 1423799240 9781423799245 1601291027 9781601291028 9781607501213 160750121X 9781586035327 1586035320 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042968967 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151030s2005 |||| o||u| ||||||eng d | ||
| 020 | |a 1423799240 |c electronic bk. |9 1-4237-9924-0 | ||
| 020 | |a 9781423799245 |c electronic bk. |9 978-1-4237-9924-5 | ||
| 020 | |a 1601291027 |9 1-60129-102-7 | ||
| 020 | |a 9781601291028 |9 978-1-60129-102-8 | ||
| 020 | |a 9781607501213 |9 978-1-60750-121-3 | ||
| 020 | |a 160750121X |9 1-60750-121-X | ||
| 020 | |a 9781586035327 |9 978-1-58603-532-7 | ||
| 020 | |a 1586035320 |9 1-58603-532-0 | ||
| 020 | |a 1586035320 |9 1-58603-532-0 | ||
| 035 | |a (OCoLC)71301090 | ||
| 035 | |a (DE-599)BVBBV042968967 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 |a DE-1047 | ||
| 082 | 0 | |a 006.3 |2 22 | |
| 100 | 1 | |a Cruz, Jorge |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Constraint reasoning for differential models |c Jorge Cruz |
| 264 | 1 | |a Amsterdam |b IOS Press |c c2005 | |
| 300 | |a 1 Online-Ressource (xxv, 216 p.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Frontiers in artificial intelligence and applications |v v. 126 | |
| 500 | |a Includes bibliographical references | ||
| 500 | |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 | ||
| 500 | |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 | ||
| 650 | 7 | |a COMPUTERS / Enterprise Applications / Business Intelligence Tools |2 bisacsh | |
| 650 | 7 | |a COMPUTERS / Intelligence (AI) & Semantics |2 bisacsh | |
| 650 | 7 | |a Biophysics / 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 | |
| 650 | 4 | |a Mathematisches Modell | |
| 650 | 4 | |a Constraints (Artificial intelligence) | |
| 650 | 4 | |a Differential equations | |
| 650 | 4 | |a Interval analysis (Mathematics) | |
| 650 | 4 | |a Biophysics |x Mathematical models | |
| 856 | 4 | 0 | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=164007 |x Aggregator |3 Volltext |
| 912 | |a ZDB-4-EBA |a ZDB-4-EBU | ||
| 940 | 1 | |q FAW_PDA_EBA | |
| 940 | 1 | |q FLA_PDA_EBU | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028394834 | ||
Datensatz im Suchindex
| _version_ | 1804175297629650944 |
|---|---|
| any_adam_object | |
| author | Cruz, Jorge |
| author_facet | Cruz, Jorge |
| author_role | aut |
| author_sort | Cruz, Jorge |
| author_variant | j c jc |
| building | Verbundindex |
| bvnumber | BV042968967 |
| collection | ZDB-4-EBA ZDB-4-EBU |
| ctrlnum | (OCoLC)71301090 (DE-599)BVBBV042968967 |
| 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>02983nmm a2200589zcb4500</leader><controlfield tag="001">BV042968967</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151030s2005 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1423799240</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">1-4237-9924-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781423799245</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-1-4237-9924-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1601291027</subfield><subfield code="9">1-60129-102-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781601291028</subfield><subfield code="9">978-1-60129-102-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781607501213</subfield><subfield code="9">978-1-60750-121-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">160750121X</subfield><subfield code="9">1-60750-121-X</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781586035327</subfield><subfield code="9">978-1-58603-532-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1586035320</subfield><subfield code="9">1-58603-532-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1586035320</subfield><subfield code="9">1-58603-532-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)71301090</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042968967</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-1046</subfield><subfield code="a">DE-1047</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield><subfield code="2">22</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Cruz, Jorge</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</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="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">IOS Press</subfield><subfield code="c">c2005</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xxv, 216 p.)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Frontiers in artificial intelligence and applications</subfield><subfield code="v">v. 126</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references</subfield></datafield><datafield tag="500" ind1=" " 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="500" 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="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Enterprise Applications / Business Intelligence Tools</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Intelligence (AI) & Semantics</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Biophysics / 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="650" ind1=" " ind2="4"><subfield code="a">Mathematisches Modell</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Constraints (Artificial intelligence)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Differential equations</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Interval analysis (Mathematics)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Biophysics</subfield><subfield code="x">Mathematical models</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=164007</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield><subfield code="a">ZDB-4-EBU</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">FAW_PDA_EBA</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">FLA_PDA_EBU</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028394834</subfield></datafield></record></collection> |
| id | DE-604.BV042968967 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:14:03Z |
| institution | BVB |
| isbn | 1423799240 9781423799245 1601291027 9781601291028 9781607501213 160750121X 9781586035327 1586035320 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028394834 |
| oclc_num | 71301090 |
| open_access_boolean | |
| owner | DE-1046 DE-1047 |
| owner_facet | DE-1046 DE-1047 |
| physical | 1 Online-Ressource (xxv, 216 p.) |
| psigel | ZDB-4-EBA ZDB-4-EBU FAW_PDA_EBA FLA_PDA_EBU |
| publishDate | 2005 |
| publishDateSearch | 2005 |
| publishDateSort | 2005 |
| publisher | IOS Press |
| record_format | marc |
| series2 | Frontiers in artificial intelligence and applications |
| spelling | Cruz, Jorge Verfasser aut Constraint reasoning for differential models Jorge Cruz Amsterdam IOS Press c2005 1 Online-Ressource (xxv, 216 p.) txt rdacontent c rdamedia cr rdacarrier 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 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 Mathematisches Modell Constraints (Artificial intelligence) Differential equations Interval analysis (Mathematics) Biophysics Mathematical models http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=164007 Aggregator Volltext |
| spellingShingle | Cruz, Jorge Constraint reasoning for differential models 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 Mathematisches Modell Constraints (Artificial intelligence) Differential equations Interval analysis (Mathematics) Biophysics Mathematical models |
| 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 | 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 Mathematisches Modell Constraints (Artificial intelligence) Differential equations Interval analysis (Mathematics) Biophysics Mathematical models |
| topic_facet | COMPUTERS / Enterprise Applications / Business Intelligence Tools COMPUTERS / Intelligence (AI) & Semantics Biophysics / Mathematical models Constraints (Artificial intelligence) Differential equations Interval analysis (Mathematics) Mathematisches Modell Biophysics Mathematical models |
| url | http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=164007 |
| work_keys_str_mv | AT cruzjorge constraintreasoningfordifferentialmodels |