Constraint reasoning for differential models / Jorge Cruz.

By:

Cruz, Jorge

Material type: Text

TextSeries: Frontiers in artificial intelligence and applications ; v. 126.Publication details: Amsterdam ; Washington, D.C. : IOS Press, ©2005.Description: 1 online resource (xxv, 216 pages) : illustrationsContent type:

text

Media type:

computer

Carrier type:

online resource

ISBN:

1423799240
9781423799245
1601291027
9781601291028
9781607501213
160750121X
9781586035327
1586035320

Subject(s): Genre/Form:

Additional physical formats: Print version:: Constraint reasoning for differential models.DDC classification:

006.3 22

LOC classification:

Q340 .C78 2005eb

Online resources:

Click here to access online

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.

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.

Item type:

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Home library	Collection	Call number	Materials specified	Status	Date due	Barcode
Electronic-Books	OPJGU Sonepat- Campus	E-Books EBSCO			Available

Includes bibliographical references.

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.

eBooks on EBSCOhost EBSCO eBook Subscription Academic Collection - Worldwide

There are no comments on this title.

to post a comment.