دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Integration of AI and OR Techniques in Constraint Programming: 12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015, Proceedings
دانلود کتاب ادغام تکنیک های هوش مصنوعی و OR در برنامه نویسی محدودیت: دوازدهمین کنفرانس بین المللی، CPAIOR 2015، بارسلونا، اسپانیا، 18-22 می 2015، مجموعه مقالات
مشخصات کتاب
Integration of AI and OR Techniques in Constraint Programming: 12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015, Proceedings
ویرایش: 1
نویسندگان: Laurent Michel (eds.)
سری: Lecture Notes in Computer Science 9075
ISBN (شابک) : 9783319180076, 9783319180083
ناشر: Springer International Publishing
سال نشر: 2015
تعداد صفحات: 478
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 13 مگابایت
قیمت کتاب (تومان) : 51,000
کلمات کلیدی مربوط به کتاب ادغام تکنیک های هوش مصنوعی و OR در برنامه نویسی محدودیت: دوازدهمین کنفرانس بین المللی، CPAIOR 2015، بارسلونا، اسپانیا، 18-22 می 2015، مجموعه مقالات: محاسبات عددی، کاربردهای ریاضی در علوم کامپیوتر، ریاضیات گسسته در علوم کامپیوتر، تحلیل الگوریتم و پیچیدگی مسائل، هوش مصنوعی (شامل رباتیک)، تحقیق در عملیات، علوم مدیریت
در صورت تبدیل فایل کتاب Integration of AI and OR Techniques in Constraint Programming: 12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ادغام تکنیک های هوش مصنوعی و OR در برنامه نویسی محدودیت: دوازدهمین کنفرانس بین المللی، CPAIOR 2015، بارسلونا، اسپانیا، 18-22 می 2015، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب ادغام تکنیک های هوش مصنوعی و OR در برنامه نویسی محدودیت: دوازدهمین کنفرانس بین المللی، CPAIOR 2015، بارسلونا، اسپانیا، 18-22 می 2015، مجموعه مقالات
این کتاب مجموعه مقالات دوازدهمین کنفرانس بین‌المللی ادغام تکنیک‌های هوش مصنوعی (AI) و تحقیقات عملیاتی (OR) در برنامه‌نویسی محدودیت‌ها، CPAIOR 2015 است که در بارسلونا، اسپانیا، در ماه می 2015 برگزار شد. 29 مقاله ارائه شده است. به همراه 8 مقاله کوتاه در این مجلد به دقت بررسی و از بین 90 مقاله ارسالی انتخاب شد. هدف از این مجموعه کنفرانس گرد هم آوردن محققان در زمینه‌های برنامه‌نویسی محدودیت، هوش مصنوعی و تحقیقات عملیاتی برای کشف راه‌های حل مسائل بهینه‌سازی ترکیبی در مقیاس سخت و بزرگ است که در حوزه‌های مختلف صنعتی ظهور می‌کنند. ادغام مهارت ها و نقاط قوت این گروه متنوع از محققان در طول دهه گذشته بسیار مؤثر و ارزشمند بوده است که منجر به بهبود و بارورسازی متقابل بین این سه زمینه و همچنین پیشرفت در کاربردهای واقعی شده است.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the proceedings of the 12th International Conference on the Integration of Artificial Intelligence (AI) and Operations Research (OR) Techniques in Constraint Programming, CPAIOR 2015, held in Barcelona, Spain, in May 2015. The 29 papers presented together with 8 short papers in this volume were carefully reviewed and selected from 90 submissions. The purpose of the conference series is to bring together researchers in the fields of Constraint Programming, Artificial Intelligence and Operations Research to explore ways of solving hard and large scale combinatorial optimization problems that emerge in various industrial domains. Pooling the skills and strengths of this diverse group of researchers has proved extremely effective and valuable during the past decade leading to improvements and cross-fertilization between the three fields as well as breakthrough for actual applications.
فهرست مطالب
Front Matter....Pages I-XXV
A Time-Dependent No-Overlap Constraint: Application to Urban Delivery Problems....Pages 1-17
Rectangle Placement for VLSI Testing....Pages 18-30
A Constraint-Based Local Search for Edge Disjoint Rooted Distance-Constrained Minimum Spanning Tree Problem....Pages 31-46
A Benders Approach to the Minimum Chordal Completion Problem....Pages 47-64
MaxSAT-Based Scheduling of B2B Meetings....Pages 65-73
Embedding Decision Trees and Random Forests in Constraint Programming....Pages 74-90
Scheduling with Fixed Maintenance, Shared Resources and Nonlinear Feedrate Constraints: A Mine Planning Case Study....Pages 91-107
Learning Value Heuristics for Constraint Programming....Pages 108-123
Derivative-Free Optimization: Lifting Single-Objective to Multi-Objective Algorithm....Pages 124-140
Branching on Multi-aggregated Variables....Pages 141-156
Time-Table Disjunctive Reasoning for the Cumulative Constraint....Pages 157-172
Uncertain Data Dependency Constraints in Matrix Models....Pages 173-181
An Efficient Local Search for Partial Latin Square Extension Problem....Pages 182-198
Enhancing MIP Branching Decisions by Using the Sample Variance of Pseudo Costs....Pages 199-214
BDD-Guided Clause Generation....Pages 215-230
Combining Constraint Propagation and Discrete Ellipsoid-Based Search to Solve the Exact Quadratic Knapsack Problem....Pages 231-239
Large Neighborhood Search for Energy Aware Meeting Scheduling in Smart Buildings....Pages 240-254
ILP and CP Formulations for the Lazy Bureaucrat Problem....Pages 255-270
The Smart Table Constraint....Pages 271-287
Constraint-Based Sequence Mining Using Constraint Programming....Pages 288-305
A Comparative Study of MIP and CP Formulations for the B2B Scheduling Optimization Problem....Pages 306-321
Constraint-Based Local Search for Golomb Rulers....Pages 322-331
Packing While Traveling: Mixed Integer Programming for a Class of Nonlinear Knapsack Problems....Pages 332-346
MaxSAT-Based Cutting Planes for Learning Graphical Models....Pages 347-356
A Multistage Stochastic Programming Approach to the Dynamic and Stochastic VRPTW....Pages 357-374
Constraint Solving on Bounded String Variables....Pages 375-392
Freight Train Threading with Different Algorithms....Pages 393-409
Learning General Constraints in CSP....Pages 410-426
Understanding the Potential of Propagators....Pages 427-436
Failure-Directed Search for Constraint-Based Scheduling....Pages 437-453
Back Matter....Pages 455-456
