Àâòîð: Sen Íàçâàíèå: Global Optimization Methods in Geophysical Inversion ISBN: 1107011906 ISBN-13(EAN): 9781107011908 Èçäàòåëüñòâî: Cambridge Academ Ðåéòèíã: Öåíà: 14525.00 ð. 20750.00-30% Íàëè÷èå íà ñêëàäå: Åñòü (1 øò.) Îïèñàíèå: This up-to-date new edition provides an overview of global optimization methods, and includes succinct descriptions of background theory, advanced concepts and examples of geophysical inversion, enabling readers to formulate their own applications. A valuable resource for researchers, graduate students and professionals in geophysics, inverse theory, exploration geoscience and engineering.
Àâòîð: Helmut Simonis Íàçâàíèå: Integration of AI and OR Techniques in Constraint Programming ISBN: 3319070452 ISBN-13(EAN): 9783319070452 Èçäàòåëüñòâî: Springer Ðåéòèíã: Öåíà: 11598.00 ð. Íàëè÷èå íà ñêëàäå: Åñòü ó ïîñòàâùèêà Ïîñòàâêà ïîä çàêàç.
Îïèñàíèå: This book constitutes the proceedings of the International Conference on the Integration of Artificial Intelligence (AI) and Operations Research (OR) Techniques in Constraint Programming, CPAIOR 2014, held in Cork, Ireland, in May 2014. The papers focus on constraint programming and global constraints;
Àâòîð: Domenico Salvagnin; Michele Lombardi Íàçâàíèå: Integration of AI and OR Techniques in Constraint Programming ISBN: 3319597752 ISBN-13(EAN): 9783319597751 Èçäàòåëüñòâî: Springer Ðåéòèíã: Öåíà: 9781.00 ð. Íàëè÷èå íà ñêëàäå: Åñòü ó ïîñòàâùèêà Ïîñòàâêà ïîä çàêàç.
Îïèñàíèå: Sharpening Constraint Programming approaches for Bit-Vector Theory.- Range-Consistent Forbidden Regions of Allen's Relations.- MDDs are Efficient Modeling Tools: An Application to Dispersion Constraints.- On Finding the Optimal Relaxed Decision Diagram.- Design and Implementation of Bounded-Length Sequence Variables.- In Search of Balance: The Challenge of Generating Balanced Latin Rectangles.- Debugging Unsatisfiable Constraint Models.- Learning Decision Trees with Exible Constraints and Objectives Using Integer Optimization.- Relaxation Methods for Constrained Matrix Factorization Problems: Solving the Phase Mapping Problem in Materials Discovery.- Minimizing Landscape Resistance for Habitat Conservation.- A Hybrid Approach for Stator Winding Design Optimization.- A Distributed Optimal Method for the Geographically Distributed Data Centres Problem.- Explanation-Based-Weighted Degree.- Counting-Weighted Spanning Trees to Solve Constrained Minimum Spanning Tree Problems.- The Weighted Arborescence Constraint.- Learning When to Use a Decomposition.- Experiments with Conict Analysis in Mixed Integer Programming.- A First Look at Picking Dual Variables for Maximizing Reduced-cost Based fixing.- Experimental Validation of Volume-based Comparison for Double-McCormick Relaxations.- Vehicle Routing Problem with Min-max Objective and Heterogeneous Fleet.- Solving the Traveling Salesman Problem with Time Windows with Dynamic Discretization Discovery.- A Fast Prize-collecting Steiner Forest Algorithm for Functional Analyses in Biological Networks.- Scenario Based Learning for Stochastic Combinatorial Optimization.- Optimal Stock Sizing in a Cutting Stock Problem with Stochastic Demands.- Stochastic Task Networks: Trading Performance for Stability.- Rescheduling Railway Traffic on Real Time Situations Using Time-Interval Variables.- A Multi-stage Simulated Annealing Algorithm for the Torpedo Scheduling Problem.- Combining CP and ILP in a Tree Decomposition of Bounded Height to Solve the Sum Coloring Problem.- A Free, Open-Source Framework for (Customized) Tree Decompositions and Beyond.- The Nemhauser-Trotter Reduction and Lifted Message Passing for Weighted CSPs.- A Local Search Approach for Incomplete Soft Constraint Problems: Experimental Results on Meeting Scheduling Problems.
Àâòîð: Martine Ceberio; Vladik Kreinovich Íàçâàíèå: Constraint Programming and Decision Making: Theory and Applications ISBN: 3319617524 ISBN-13(EAN): 9783319617527 Èçäàòåëüñòâî: Springer Ðåéòèíã: Öåíà: 16769.00 ð. Íàëè÷èå íà ñêëàäå: Åñòü ó ïîñòàâùèêà Ïîñòàâêà ïîä çàêàç.
Îïèñàíèå:
This book describes new algorithms and ideas for making effective decisions under constraints, including applications in control engineering, manufacturing (how to optimally determine the production level), econometrics (how to better predict stock market behavior), and environmental science and geosciences (how to combine data of different types). It also describes general algorithms and ideas that can be used in other application areas.
The book presents extended versions of selected papers from the annual International Workshops on Constraint Programming and Decision Making (CoProd'XX) from 2013 to 2016. These workshops, held in the US (El Paso, Texas) and in Europe (Wurzburg, Germany, and Uppsala, Sweden), have attracted researchers and practitioners from all over the world.
It is of interest to practitioners who benefit from the new techniques, to researchers who want to extend the ideas from these papers to new application areas and/or further improve the corresponding algorithms, and to graduate students who want to learn more - in short, to anyone who wants to make more effective decisions under constraints.
Àâòîð: J. Christopher Beck Íàçâàíèå: Principles and Practice of Constraint Programming ISBN: 3319661574 ISBN-13(EAN): 9783319661575 Èçäàòåëüñòâî: Springer Ðåéòèíã: Öåíà: 13974.00 ð. Íàëè÷èå íà ñêëàäå: Åñòü ó ïîñòàâùèêà Ïîñòàâêà ïîä çàêàç.
Îïèñàíèå: This book constitutes the refereed conference proceedings of the 23nd International Conference on Principles and Practice of Constraint Programming, CP 2017, held in Melbourne, Australia from August 28, 2017 until September 1, 2017. satisfiability & CP track, test and verification & CP track;
This is the first book presenting a broad overview of parallelism in constraint-based reasoning formalisms. In recent years, an increasing number of contributions have been made on scaling constraint reasoning thanks to parallel architectures. The goal in this book is to overview these achievements in a concise way, assuming the reader is familiar with the classical, sequential background. It presents work demonstrating the use of multiple resources from single machine multi-core and GPU-based computations to very large scale distributed execution platforms up to 80,000 processing units.
The contributions in the book cover the most important and recent contributions in parallel propositional satisfiability (SAT), maximum satisfiability (MaxSAT), quantified Boolean formulas (QBF), satisfiability modulo theory (SMT), theorem proving (TP), answer set programming (ASP), mixed integer linear programming (MILP), constraint programming (CP), stochastic local search (SLS), optimal path finding with A*, model checking for linear-time temporal logic (MC/LTL), binary decision diagrams (BDD), and model-based diagnosis (MBD).
The book is suitable for researchers, graduate students, advanced undergraduates, and practitioners who wish to learn about the state of the art in parallel constraint reasoning.
Îïèñàíèå: This book is about inductive databases and constraint-based data mining, emerging research topics lying at the intersection of data mining and database research. The aim of the book as to provide an overview of the state-of- the art in this novel and - citing research area. Of special interest are the recent methods for constraint-based mining of global models for prediction and clustering, the uni?cation of pattern mining approaches through constraint programming, the clari?cation of the re- tionship between mining local patterns and global models, and the proposed in- grative frameworks and approaches for inducive databases. On the application side, applications to practically relevant problems from bioinformatics are presented. Inductive databases (IDBs) represent a database view on data mining and kno- edge discovery. IDBs contain not only data, but also generalizations (patterns and models) valid in the data. In an IDB, ordinary queries can be used to access and - nipulate data, while inductive queries can be used to generate (mine), manipulate, and apply patterns and models. In the IDB framework, patterns and models become ”?rst-class citizens” and KDD becomes an extended querying process in which both the data and the patterns/models that hold in the data are queried.
Àâòîð: Brian Mayoh; Enn Tyugu; Jaan Penjam Íàçâàíèå: Constraint Programming ISBN: 3642859852 ISBN-13(EAN): 9783642859854 Èçäàòåëüñòâî: Springer Ðåéòèíã: Öåíà: 11179.00 ð. Íàëè÷èå íà ñêëàäå: Åñòü ó ïîñòàâùèêà Ïîñòàâêà ïîä çàêàç.
Îïèñàíèå: Constraint programming is a new and popular approach to problem solving. These NATO Advanced Study Institute proceedings describe all important approaches to constraint programming: the logical, the object-oriented, and the very new concurrent approaches.
Àâòîð: Gilles Pesant Íàçâàíèå: Principles and Practice of Constraint Programming ISBN: 3319232185 ISBN-13(EAN): 9783319232188 Èçäàòåëüñòâî: Springer Ðåéòèíã: Öåíà: 12298.00 ð. Íàëè÷èå íà ñêëàäå: Åñòü ó ïîñòàâùèêà Ïîñòàâêà ïîä çàêàç.
Îïèñàíèå: This book constitutes the refereed conference proceedings of the 21st International Conference on Principles and Practice of Constraint Programming, CP 2015, held in Cork, Ireland, in August/September 2015.
Àâòîð: Laurent Michel Íàçâàíèå: Integration of AI and OR Techniques in Constraint Programming ISBN: 331918007X ISBN-13(EAN): 9783319180076 Èçäàòåëüñòâî: Springer Ðåéòèíã: Öåíà: 8944.00 ð. Íàëè÷èå íà ñêëàäå: Åñòü ó ïîñòàâùèêà Ïîñòàâêà ïîä çàêàç.
Îïèñàíèå: 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.
Àâòîð: Barry O`Sullivan Íàçâàíèå: Principles and Practice of Constraint Programming ISBN: 3319104276 ISBN-13(EAN): 9783319104270 Èçäàòåëüñòâî: Springer Ðåéòèíã: Öåíà: 14535.00 ð. Íàëè÷èå íà ñêëàäå: Åñòü ó ïîñòàâùèêà Ïîñòàâêà ïîä çàêàç.
Îïèñàíèå: This book constitutes the refereed conference proceedings of the 20th International Conference on Principles and Practice of Constraint Programming, CP 2014, held in Lyon, France, in September 2014.The 65 revised papers presented together with 4 invited talks were carefully selected from 108 submissions.
Àâòîð: Revesz Peter Íàçâàíèå: Introduction to Constraint Databases ISBN: 0387987290 ISBN-13(EAN): 9780387987293 Èçäàòåëüñòâî: Springer Ðåéòèíã: Öåíà: 9776.00 ð. Íàëè÷èå íà ñêëàäå: Åñòü ó ïîñòàâùèêà Ïîñòàâêà ïîä çàêàç.
Îïèñàíèå: Presents the theory and applications of "constraint database" systems, which provide methods for the design of data models and query languages. This resource is useful for advanced students, practitioners, and professionals in computer science, database systems, and information systems.
