Parallel and Constraint Logic Programming, Ioannis Vlahavas; Panagiotis Tsarchopoulos; Ilias
Автор: Peter Barth Название: Logic-Based 0–1 Constraint Programming ISBN: 0792396634 ISBN-13(EAN): 9780792396635 Издательство: Springer Рейтинг: Цена: 23757.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A logic view of 0-1 integer programming problems, providing insights into the structure of problems that can lead the researcher to more effective solution techniques depending on the problem class. Operations research techniques are integrated into a logic programming environment.
Автор: Santiago Escobar Название: Functional and Constraint Logic Programming ISBN: 3642119980 ISBN-13(EAN): 9783642119989 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed post-conference proceedings of the 18th International Workshop on Functional and Constraint Logic Programming, WFLP 2009, held in Brasilia, Brazil, in June 2009 as part of RDP 2009, the Federated Conference on Rewriting, Deduction, and Programming.
Автор: 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;
Автор: Ioannis Vlahavas; Panagiotis Tsarchopoulos; Ilias Название: Parallel and Constraint Logic Programming ISBN: 0792383710 ISBN-13(EAN): 9780792383710 Издательство: Springer Рейтинг: Цена: 25149.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constraint Logic Programming (CLP) extends the semantics of Prolog in such a way that the combinatorial explosion, a characteristic of most problems in the field of Artificial Intelligence, can be tackled efficiently. This book presents parallel and constraint logic programming, offering a basic understanding of the two fields.
Автор: Peter Barth Название: Logic-Based 0–1 Constraint Programming ISBN: 146128564X ISBN-13(EAN): 9781461285649 Издательство: Springer Рейтинг: Цена: 23757.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A logic view of 0-1 integer programming problems, providing new insights into the structure of problems that can lead the researcher to more effective solution techniques depending on the problem class.
Описание: The tenth Portuguese Conference on Arti?cial Intelligence, EPIA 2001 was held in Porto and continued the tradition of previous conferences in the series. The conference was organized, as usual, under the auspices of the Portuguese Association for Arti?cial Intelligence (APPIA, http://www.appia.pt).
Описание: "Why do some democracies reflect their citizens` foreign policy preferences better than others? What roles do the media, political parties, and the electoral system play in a democracy`s decision to join or avoid a war? War and Democratic Constraint shows that the key to how a government determines foreign policy rests on the transmission and availability of information. Citizens successfully hold their democratic governments accountable and a distinctive foreign policy emerges when two vital institutions--a diverse and independent political opposition and a robust media--are present to make timely information accessible.Matthew Baum and Philip Potter demonstrate that there must first be a politically potent opposition that can blow the whistle when a leader missteps. This counteracts leaders` incentives to obscure and misrepresent. Second, healthy media institutions must be in place and widely accessible in order to relay information from whistle-blowers to the public. Baum and Potter explore this communication mechanism during three different phases of international conflicts: when states initiate wars, when they respond to challenges from other states, or when they join preexisting groups of actors engaged in conflicts.Examining recent wars, including those in Afghanistan and Iraq, War and Democratic Constraint links domestic politics and mass media to international relations in a brand-new way"--
Автор: Bessiere Название: Data Mining and Constraint Programming ISBN: 3319501364 ISBN-13(EAN): 9783319501369 Издательство: Springer Рейтинг: Цена: 8106.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: It would not only allow one to use data mining techniques in constraint programming to identify and update constraints and optimization criteria, but also to employ constraints and criteria in data mining and machine learning in order to discover models compatible with prior knowledge.
Автор: 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.
Автор: Claude-Guy Quimper Название: Integration of AI and OR Techniques in Constraint Programming ISBN: 3319339532 ISBN-13(EAN): 9783319339535 Издательство: Springer Рейтинг: Цена: 8944.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: On CNF Encodings for Decision Diagrams.- Time-Series Constraints: Improvements and Application in CP and MIP Contexts.- Finding a Collection of MUSes Incrementally.-Decompositions Based on Decision Diagrams.- Logic-Based Decomposition Methods for the Travelling Purchaser Problem.- Lagrangian Decomposition via Subproblem Search.- Non-linear Optimization of Business Models in the Electricity Market.- Weighted Spanning Tree Constraint with Explanations.- Forward-Checking ltering for Nested Cardinality Constraints: Application to an Energy Cost Aware Production Planning Problem for Tissue Manufacturing.- Cyclic Routing of Unmanned Aerial Vehicles.- Parallelizing Constraint Programming with Learning.- Parallel Composition of Scheduling Solvers.- Rail Capacity Planning With Constraint Programming.- Scheduling Home Hospice Care with Logic-Based Benders Decomposition.- A Global Constraint for Mining Sequential Patterns with GAP Constraint.- A Reservoir Balancing Constraint with Applications to Bike-Sharing.- Optimization Models for a Real-World Snow Plow Routing Problem.- The TASKINTERSECTION Constraint.- A Stochastic Continuous Optimization Backend for MiniZinc with Applications to Geometrical Placement Problems.- Constructions and In-place Operations for MDDs Based Constraints.- Balancing Nursing Workload by Constraint Programming.- Designing Spacecraft Command Loops Using Two-Dimension Vehicle Routing.- Constraint Programming Approach for Spatial Packaging Problem.- Detecting Semantic Groups in MIP Models.- Revisiting Two-Sided Stability Constraints.- Optimal Flood Mitigation over Flood Propagation Approximations.- A Bit-Vector Solver with Word Level Propagation.- A New Solver for the Minimum Weighted Vertex Cover Problem.- Optimal Upgrading Schemes for Eective Shortest Paths in Networks.
Автор: Pierre Deransart; M.V. Hermenegildo; J. Maluszynsk Название: Analysis and Visualization Tools for Constraint Programming ISBN: 3540411372 ISBN-13(EAN): 9783540411376 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This work covers the topic of constraint debugging and presents new approaches to debugging for the computational paradigm of constraint programming. The book is based on the European research project DiSCiPl.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
