skip to content
Constraint reasoning for differential models Preview this item
ClosePreview this item
Checking...

Constraint reasoning for differential models

Author: Jorge Cruz
Publisher: Amsterdam ; Washington, D.C. : IOS Press, ©2005.
Series: Frontiers in artificial intelligence and applications, v. 126.
Edition/Format:   eBook : Document : EnglishView all editions and formats
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.
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Cruz, Jorge.
Constraint reasoning for differential models.
Amsterdam ; Washington, D.C. : IOS Press, ©2005
(DLC) 2005929309
(OCoLC)64197302
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Jorge Cruz
ISBN: 1423799240 9781423799245 1601291027 9781601291028 9781607501213 160750121X 9781586035327 1586035320
OCLC Number: 71301090
Description: 1 online resource (xxv, 216 pages) : illustrations.
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.
Series Title: Frontiers in artificial intelligence and applications, v. 126.
Responsibility: Jorge Cruz.

Abstract:

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  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/71301090> # Constraint reasoning for differential models
    a schema:MediaObject, schema:Book, schema:CreativeWork ;
    library:oclcnum "71301090" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/48189324#Place/washington_d_c> ; # Washington, D.C.
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/48189324#Place/amsterdam> ; # Amsterdam
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/48189324#Topic/biophysics_mathematical_models> ; # Biophysics--Mathematical models
    schema:about <http://id.worldcat.org/fast/875874> ; # Constraints (Artificial intelligence)
    schema:about <http://id.worldcat.org/fast/832658> ; # Biophysics--Mathematical models
    schema:about <http://dewey.info/class/006.3/e22/> ;
    schema:about <http://id.worldcat.org/fast/977572> ; # Interval analysis (Mathematics)
    schema:about <http://experiment.worldcat.org/entity/work/data/48189324#Topic/computers_intelligence_ai_&_semantics> ; # COMPUTERS--Intelligence (AI) & Semantics
    schema:about <http://experiment.worldcat.org/entity/work/data/48189324#Topic/computers_enterprise_applications_business_intelligence_tools> ; # COMPUTERS--Enterprise Applications--Business Intelligence Tools
    schema:about <http://id.worldcat.org/fast/893446> ; # Differential equations
    schema:bookFormat schema:EBook ;
    schema:copyrightYear "2005" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/48189324#Person/cruz_jorge> ; # Jorge Cruz
    schema:datePublished "2005" ;
    schema:description "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."@en ;
    schema:description "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."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/48189324> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/48189324#Series/frontiers_in_artificial_intelligence_and_applications> ; # Frontiers in artificial intelligence and applications ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/64197302> ;
    schema:name "Constraint reasoning for differential models"@en ;
    schema:productID "71301090" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/71301090#PublicationEvent/amsterdam_washington_d_c_ios_press_2005> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/48189324#Agent/ios_press> ; # IOS Press
    schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=164007> ;
    schema:url <http://gold.worcester.edu/login?url=http://site.ebrary.com/lib/worcesteruniv/Doc?id=10130633> ;
    schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=e000xna&AN=164007> ;
    schema:url <http://site.ebrary.com/lib/rcc/Doc?id=10130633> ;
    schema:url <https://ebookcentral.proquest.com/lib/ucm/detail.action?docID=265941> ;
    schema:url <http://ebookcentral.proquest.com/lib/norquest-ebooks/detail.action?docID=265941> ;
    schema:url <http://ebookcentral.proquest.com/lib/northernlakes-ebooks/detail.action?docID=265941> ;
    schema:url <https://ebookcentral.proquest.com/lib/stanford-ebooks/detail.action?docID=265941> ;
    schema:url <http://www.myilibrary.com?id=24343> ;
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=265941> ;
    schema:url <http://ebookcentral.proquest.com/lib/gprc-ebooks/detail.action?docID=265941> ;
    schema:url <http://ebookcentral.proquest.com/lib/rdc/detail.action?docID=265941> ;
    schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=e020mna&AN=164007> ;
    schema:url <http://public.ebookcentral.proquest.com/choice/publicfullrecord.aspx?p=265941> ;
    schema:url <http://ebookcentral.proquest.com/lib/columbia/detail.action?docID=265941> ;
    schema:url <http://www.booksonline.iospress.nl/extern/enterbookseriesbook.aspx?ISBN=978-1-58603-532-7> ;
    schema:url <http://www.SLQ.eblib.com.au/patron/FullRecord.aspx?p=265941> ;
    schema:url <http://er.llcc.edu:2048/login?url=http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=164007> ;
    schema:url <http://ebookcentral.proquest.com/lib/warw/detail.action?docID=265941> ;
    schema:url <http://www.myilibrary.com?id=24343&ref=toc> ;
    schema:url <http://ebookcentral.proquest.com/lib/oldscollege/detail.action?docID=265941> ;
    schema:url <http://ebookcentral.proquest.com/lib/macewan-ebooks/detail.action?docID=265941> ;
    schema:url <http://site.ebrary.com/id/10130633> ;
    schema:url <http://ebookcentral.proquest.com/lib/concordiaab-ebooks/detail.action?docID=265941> ;
    schema:workExample <http://worldcat.org/isbn/9781601291028> ;
    schema:workExample <http://worldcat.org/isbn/9781586035327> ;
    schema:workExample <http://worldcat.org/isbn/9781607501213> ;
    schema:workExample <http://worldcat.org/isbn/9781423799245> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/71301090> ;
    .


Related Entities

<http://ebookcentral.proquest.com/lib/concordiaab-ebooks/detail.action?docID=265941>
    rdfs:comment "from Ebook Central Academic Complete" ;
    rdfs:comment "(Unlimited Concurrent Users)" ;
    .

<http://ebookcentral.proquest.com/lib/gprc-ebooks/detail.action?docID=265941>
    rdfs:comment "from Ebook Central Academic Complete" ;
    rdfs:comment "(Unlimited Concurrent Users)" ;
    .

<http://ebookcentral.proquest.com/lib/macewan-ebooks/detail.action?docID=265941>
    rdfs:comment "from Ebook Central Academic Complete" ;
    rdfs:comment "(Unlimited Concurrent Users)" ;
    .

<http://ebookcentral.proquest.com/lib/oldscollege/detail.action?docID=265941>
    rdfs:comment "from Ebook Central College Complete" ;
    .

<http://ebookcentral.proquest.com/lib/rdc/detail.action?docID=265941>
    rdfs:comment "from Ebook Central Academic Complete" ;
    rdfs:comment "(Unlimited Concurrent Users)" ;
    .

<http://experiment.worldcat.org/entity/work/data/48189324#Person/cruz_jorge> # Jorge Cruz
    a schema:Person ;
    schema:familyName "Cruz" ;
    schema:givenName "Jorge" ;
    schema:name "Jorge Cruz" ;
    .

<http://experiment.worldcat.org/entity/work/data/48189324#Place/washington_d_c> # Washington, D.C.
    a schema:Place ;
    schema:name "Washington, D.C." ;
    .

<http://experiment.worldcat.org/entity/work/data/48189324#Series/frontiers_in_artificial_intelligence_and_applications> # Frontiers in artificial intelligence and applications ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/71301090> ; # Constraint reasoning for differential models
    schema:name "Frontiers in artificial intelligence and applications ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/48189324#Topic/computers_enterprise_applications_business_intelligence_tools> # COMPUTERS--Enterprise Applications--Business Intelligence Tools
    a schema:Intangible ;
    schema:name "COMPUTERS--Enterprise Applications--Business Intelligence Tools"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/48189324#Topic/computers_intelligence_ai_&_semantics> # COMPUTERS--Intelligence (AI) & Semantics
    a schema:Intangible ;
    schema:name "COMPUTERS--Intelligence (AI) & Semantics"@en ;
    .

<http://id.worldcat.org/fast/832658> # Biophysics--Mathematical models
    a schema:Intangible ;
    schema:name "Biophysics--Mathematical models"@en ;
    .

<http://id.worldcat.org/fast/875874> # Constraints (Artificial intelligence)
    a schema:Intangible ;
    schema:name "Constraints (Artificial intelligence)"@en ;
    .

<http://id.worldcat.org/fast/893446> # Differential equations
    a schema:Intangible ;
    schema:name "Differential equations"@en ;
    .

<http://id.worldcat.org/fast/977572> # Interval analysis (Mathematics)
    a schema:Intangible ;
    schema:name "Interval analysis (Mathematics)"@en ;
    .

<http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=e000xna&AN=164007>
    rdfs:comment "from EBSCO Academic Collection" ;
    rdfs:comment "(Unlimited Concurrent Users)" ;
    .

<http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=e020mna&AN=164007>
    rdfs:comment "from EBSCO Business Collection" ;
    rdfs:comment "(Unlimited Concurrent Users)" ;
    .

<http://worldcat.org/isbn/9781423799245>
    a schema:ProductModel ;
    schema:isbn "1423799240" ;
    schema:isbn "9781423799245" ;
    .

<http://worldcat.org/isbn/9781586035327>
    a schema:ProductModel ;
    schema:isbn "1586035320" ;
    schema:isbn "9781586035327" ;
    .

<http://worldcat.org/isbn/9781601291028>
    a schema:ProductModel ;
    schema:isbn "1601291027" ;
    schema:isbn "9781601291028" ;
    .

<http://worldcat.org/isbn/9781607501213>
    a schema:ProductModel ;
    schema:isbn "160750121X" ;
    schema:isbn "9781607501213" ;
    .

<http://www.booksonline.iospress.nl/extern/enterbookseriesbook.aspx?ISBN=978-1-58603-532-7>
    rdfs:comment "An electronic book accessible through the World Wide Web; click for information" ;
    .

<http://www.worldcat.org/oclc/64197302>
    a schema:CreativeWork ;
    rdfs:label "Constraint reasoning for differential models." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/71301090> ; # Constraint reasoning for differential models
    .

<https://ebookcentral.proquest.com/lib/stanford-ebooks/detail.action?docID=265941>
    rdfs:comment "Available to Stanford-affiliated users." ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.