This page uses JavaScript and requires a JavaScript enabled browser.Your browser is not JavaScript enabled.
مرکز و کتابخانه مطالعات اسلامی به زبان های اروپایی
منو
درگاههای جستجو
مدارک
جستجوی پیشرفته
مرور
جستجو در سایر کتابخانه ها
مستندات
جستجوی پیشرفته
مرور
منابع دیجیتال
تمام متن
اصطلاحنامه
درختواره
پرسش و پاسخ
سوالات متداول
پرسش از کتابدار
پیگیری پرسش
ورود
ثبت نام
راهنما
خطا
رکورد قبلی
رکورد بعدی
"
Constraint reasoning for differential models /
"
Jorge Cruz.
Document Type
:
BL
Record Number
:
1036790
Doc. No
:
b791160
Main Entry
:
Cruz, Jorge.
Title & Author
:
Constraint reasoning for differential models /\ Jorge Cruz.
Publication Statement
:
Amsterdam ;Washington, D.C. :: IOS Press,, ©2005.
Series Statement
:
Frontiers in artificial intelligence and applications ;; v. 126
Page. NO
:
1 online resource (xxv, 216 pages) :: illustrations.
ISBN
:
1423799240
:
: 1586035320
:
: 1601291027
:
: 160750121X
:
: 9781423799245
:
: 9781586035327
:
: 9781601291028
:
: 9781607501213
:
1586035320
Bibliographies/Indexes
:
Includes bibliographical references.
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.
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 Problems. Such a framework allows the specification of ordinary differential equations by means of constraints.
Subject
:
Biophysics-- Mathematical models.
Subject
:
Constraints (Artificial intelligence)
Subject
:
Differential equations.
Subject
:
Interval analysis (Mathematics)
Subject
:
Biophysics-- Mathematical models.
Subject
:
COMPUTERS-- Enterprise Applications-- Business Intelligence Tools.
Subject
:
COMPUTERS--
Intelligence (AI) Semantics.
Subject
:
Constraints (Artificial intelligence)
Subject
:
Differential equations.
Subject
:
Interval analysis (Mathematics)
Dewey Classification
:
006.3
LC Classification
:
Q340.C78 2005eb
https://lib.clisel.com/site/catalogue/1036790
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال
1 - آیا از کیفیت منابع دیجیتال راضی هستید؟
X
کم
متوسط
زیاد
ذخیره
پاک کن