عنوان
پدید آورنده
موضوع
رده
Q340 .C78 2005eb
Q340
.
C78
2005eb
کتابخانه
محل استقرار
شابک
شابک
1423799240
شابک
1586035320
شابک
1601291027
شابک
160750121X
شابک
9781423799245
شابک
9781586035327
شابک
9781601291028
شابک
9781607501213
شابک اشتباه
1586035320
شماره کتابشناسی ملی
شماره
b791160
عنوان و نام پديدآور
عنوان اصلي
Constraint reasoning for differential models /
نام عام مواد
[Book]
نام نخستين پديدآور
Jorge Cruz.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Washington, D.C. :
نام ناشر، پخش کننده و غيره
IOS Press,
تاریخ نشرو بخش و غیره
©2005.
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (xxv, 216 pages) :
ساير جزييات
illustrations.
فروست
عنوان فروست
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.
بدون عنوان
0
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
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.
یادداشتهای مربوط به سفارشات
منبع سفارش / آدرس اشتراک
IOS Press
شماره انبار
978-1-58603-532-7
ویراست دیگر از اثر در قالب دیگر رسانه
عنوان
Constraint reasoning for differential models.
شماره استاندارد بين المللي کتاب و موسيقي
1586035320
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Biophysics-- Mathematical models.
موضوع مستند نشده
Constraints (Artificial intelligence)
موضوع مستند نشده
Differential equations.
موضوع مستند نشده
Interval analysis (Mathematics)
موضوع مستند نشده
Biophysics-- Mathematical models.
موضوع مستند نشده
COMPUTERS-- Enterprise Applications-- Business Intelligence Tools.
موضوع مستند نشده
COMPUTERS-- Intelligence (AI) & Semantics.
موضوع مستند نشده
Constraints (Artificial intelligence)
موضوع مستند نشده
Differential equations.
موضوع مستند نشده
Interval analysis (Mathematics)
مقوله موضوعی
موضوع مستند نشده
COM-- COM004000
رده بندی ديویی
شماره
006
.
3
ويراست
22
رده بندی کنگره
شماره رده
Q340
نشانه اثر
.
C78
2005eb
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Cruz, Jorge.
مبدا اصلی
تاريخ عمليات
20201207043148.0
قواعد فهرست نويسي ( بخش توصيفي )
pn
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
