Àâòîð: Sen Íàçâàíèå: Global Optimization Methods in Geophysical Inversion ISBN: 1107011906 ISBN-13(EAN): 9781107011908 Èçäàòåëüñòâî: Cambridge Academ Ðåéòèíã: Öåíà: 96830.00 T Íàëè÷èå íà ñêëàäå: Åñòü Îïèñàíèå: 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.
Àâòîð: Martine Ceberio; Vladik Kreinovich Íàçâàíèå: Constraint Programming and Decision Making: Theory and Applications ISBN: 3319617524 ISBN-13(EAN): 9783319617527 Èçäàòåëüñòâî: Springer Ðåéòèíã: Öåíà: 111790.00 T Íàëè÷èå íà ñêëàäå: Åñòü ó ïîñòàâùèêà Ïîñòàâêà ïîä çàêàç. Îïèñàíèå:
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.
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.
Àâòîð: Laurent Michel Íàçâàíèå: Integration of AI and OR Techniques in Constraint Programming ISBN: 331918007X ISBN-13(EAN): 9783319180076 Èçäàòåëüñòâî: Springer Ðåéòèíã: Öåíà: 59630.00 T Íàëè÷èå íà ñêëàäå: Åñòü ó ïîñòàâùèêà Ïîñòàâêà ïîä çàêàç. Îïèñàíèå: 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 Ðåéòèíã: Öåíà: 96900.00 T Íàëè÷èå íà ñêëàäå: Åñòü ó ïîñòàâùèêà Ïîñòàâêà ïîä çàêàç. Îïèñàíèå: 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.
Àâòîð: Devaney Íàçâàíèå: Mathematical Foundations of Imaging, Tomography and Wavefield Inversion ISBN: 052111974X ISBN-13(EAN): 9780521119740 Èçäàòåëüñòâî: Cambridge Academ Ðåéòèíã: Öåíà: 55970.00 T Íàëè÷èå íà ñêëàäå: Åñòü ó ïîñòàâùèêà Ïîñòàâêà ïîä çàêàç. Îïèñàíèå: Combining theory with numerous MATLAB based examples, this text provides a clear and systematic treatment of the mathematical and physical foundations of imaging and wavefield inversion. Key areas of discussion include Green function and the concept of field time reversal. It will appeal to graduate students and researchers alike.
Àâòîð: Henry Chang; Edoardo Charbon; Umakanta Choudhury; Íàçâàíèå: A Top-Down, Constraint-Driven Design Methodology for Analog Integrated Circuits ISBN: 1461346800 ISBN-13(EAN): 9781461346807 Èçäàòåëüñòâî: Springer Ðåéòèíã: Öåíà: 139750.00 T Íàëè÷èå íà ñêëàäå: Åñòü ó ïîñòàâùèêà Ïîñòàâêà ïîä çàêàç. Îïèñàíèå: Analog circuit design is often the bottleneck when designing mixed analog-digital systems. The principal goals are: (1) developing the design methodology, (2) developing and applying new tools, and (3) `proving` the methodology by undertaking `industrial strength` design examples.
Àâòîð: J. Christopher Beck Íàçâàíèå: Principles and Practice of Constraint Programming ISBN: 3319661574 ISBN-13(EAN): 9783319661575 Èçäàòåëüñòâî: Springer Ðåéòèíã: Öåíà: 93160.00 T Íàëè÷èå íà ñêëàäå: Åñòü ó ïîñòàâùèêà Ïîñòàâêà ïîä çàêàç. Îïèñàíèå: 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;
Àâòîð: Brian Mayoh; Enn Tyugu; Jaan Penjam Íàçâàíèå: Constraint Programming ISBN: 3642859852 ISBN-13(EAN): 9783642859854 Èçäàòåëüñòâî: Springer Ðåéòèíã: Öåíà: 74530.00 T Íàëè÷èå íà ñêëàäå: Åñòü ó ïîñòàâùèêà Ïîñòàâêà ïîä çàêàç. Îïèñàíèå: 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.
Àâòîð: Baum Matthew A., Potter Philip B. K. Íàçâàíèå: War and Democratic Constraint: How the Public Influences Foreign Policy ISBN: 0691165238 ISBN-13(EAN): 9780691165233 Èçäàòåëüñòâî: Wiley Ðåéòèíã: Öåíà: 31680.00 T Íàëè÷èå íà ñêëàäå: Ïîñòàâêà ïîä çàêàç. Îïèñàíèå: "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"--
Àâòîð: Henry Chang; Edoardo Charbon; Umakanta Choudhury; Íàçâàíèå: A Top-Down, Constraint-Driven Design Methodology for Analog Integrated Circuits ISBN: 0792397940 ISBN-13(EAN): 9780792397946 Èçäàòåëüñòâî: Springer Ðåéòèíã: Öåíà: 174150.00 T Íàëè÷èå íà ñêëàäå: Åñòü ó ïîñòàâùèêà Ïîñòàâêà ïîä çàêàç. Îïèñàíèå: Analog circuit design is often the bottleneck when designing mixed analog-digital systems. This work presents a methodology based on a top-down, constraint-driven design paradigm that provides a solution to this problem. It also presents the design methodology along with foundation material. It describes supporting concepts for the methodology.
Àâòîð: Helmut Simonis Íàçâàíèå: Integration of AI and OR Techniques in Constraint Programming ISBN: 3319070452 ISBN-13(EAN): 9783319070452 Èçäàòåëüñòâî: Springer Ðåéòèíã: Öåíà: 77320.00 T Íàëè÷èå íà ñêëàäå: Åñòü ó ïîñòàâùèêà Ïîñòàâêà ïîä çàêàç. Îïèñàíèå: 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;
