Описание: Graphical models (e.g., Bayesian and constraint networks, influence diagrams, and Markov decision processes) have become a central paradigm for knowledge representation and reasoning in both artificial intelligence and computer science in general. These models are used to perform many reasoning tasks, such as scheduling, planning and learning, diagnosis and prediction, design, hardware and software verification, and bioinformatics. These problems can be stated as the formal tasks of constraint satisfaction and satisfiability, combinatorial optimization, and probabilistic inference. It is well known that the tasks are computationally hard, but research during the past three decades has yielded a variety of principles and techniques that significantly advanced the state of the art. This book provides comprehensive coverage of the primary exact algorithms for reasoning with such models. The main feature exploited by the algorithms is the model's graph. We present inference-based, message-passing schemes (e.g., variable-elimination) and search-based, conditioning schemes (e.g., cycle-cutset conditioning and AND/OR search). Each class possesses distinguished characteristics and in particular has different time vs. space behavior. We emphasize the dependence of both schemes on few graph parameters such as the treewidth, cycle-cutset, and (the pseudo-tree) height. The new edition includes the notion of influence diagrams, which focus on sequential decision making under uncertainty. We believe the principles outlined in the book would serve well in moving forward to approximation and anytime-based schemes. The target audience of this book is researchers and students in the artificial intelligence and machine learning area, and beyond.
Автор: Kofi Kissi Dompere Название: Fuzziness and Foundations of Exact and Inexact Sciences ISBN: 3642445357 ISBN-13(EAN): 9783642445354 Издательство: Springer Рейтинг: Цена: 15672.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book surveys fuzzy rational foundations of the structure of exact and inexact sciences over epistemological space, drawing the conclusion that conditions of the fuzzy paradigm present a methodological unity where every zone of thought has fuzzy covering.
Описание: This volume presents up-to-date material on the state of the art in evolutionary and deterministic methods for design, optimization and control with applications to industrial and societal problems from Europe, Asia, and America.EUROGEN 2015 was the 11th of a series of International Conferences devoted to bringing together specialists from universities, research institutions and industries developing or applying evolutionary and deterministic methods in design optimization, with emphasis on solving industrial and societal problems. The conference was organised around a number of parallel symposia, regular sessions, and keynote lectures focused on surrogate-based optimization in aerodynamic design, adjoint methods for steady & unsteady optimization, multi-disciplinary design optimization, holistic optimization in marine design, game strategies combined with evolutionary computation, optimization under uncertainty, topology optimization, optimal planning, shape optimization, and production scheduling.
Описание: This book contains thirty-five selected papers presented at the International Conference on Evolutionary and Deterministic Methods for Design, Optimization and Control with Applications to Industrial and Societal Problems (EUROGEN 2017). This was one of the Thematic Conferences of the European Community on Computational Methods in Applied Sciences (ECCOMAS).Topics treated in the various chapters reflect the state of the art in theoretical and numerical methods and tools for optimization, and engineering design and societal applications. The volume focuses particularly on intelligent systems for multidisciplinary design optimization (mdo) problems based on multi-hybridized software, adjoint-based and one-shot methods, uncertainty quantification and optimization, multidisciplinary design optimization, applications of game theory to industrial optimization problems, applications in structural and civil engineering optimum design and surrogate models based optimization methods in aerodynamic design.
Описание: Preface.- PART I: Adjoint Methods for Optimisation, Mesh Adaptation and Uncertainty Quantification.- Gradient projection, constraints and surface regularization methods in adjoint shape optimization, by Pavlos P. Alexias and Eugene De Villiers.- Adjoint Shape Optimisation using model Boundary Representation, by E. Andres-Perez et al..- CAD and Adjoint based Multipoint Optimization of an Axial Turbine Profile, by Ismael Sanchez Torreguitart, Tom Verstraete, and Lasse Mueller.- A Comparative Study of Two Different CAD-Based Mesh Deformation Methods for Structural Shape Optimization, by Marc Schwalbach, Tom Verstraete, Jens-Dominik Miller, and Nicolas R. Gauger.- Node-based Adjoint Surface Optimization of U-bend duct for pressure loss reduction, by Giacomo Alessi, Lilla Koloszar, Tom Verstraete, and J. van Beeck.- On the Properties of Solutions of the 2D Adjoint Euler Equations, by Carlos Lozano.- Finite Transformation Rigid Motion Mesh Morpher, by Athanasios G. Liatsikouras, Guillaume Pierrot, Gabriel Fougeron, and George S. Eleftheriou.- The Unsteady Continuous Adjoint Method Assisted by the Proper Generalized Decomposition Method, by V. S. Papageorgiou, K. D. Samouchos and K. C. Giannakoglou.- A Two-Step Mesh Adaptation Tool Based on RBF with application to turbomachinery Optimization Loops, by Flavio Gagliardi, Konstantinos T. Tsiakas and Kyriakos C. Giannakoglou.- Adjoint-based Aerodynamic Optimisation of Wing Shape Using Non-Uniform Rational B-splines, by Xingchen Zhang, Rejish Jesudasan and Jens-Dominik Mьller.- PART II: Surrogate-assisted Optimization of Real World problems.- A comparative evaluation of surrogate models for transonic wing shape optimization, by Emiliano Iuliano.- Study of the influence of the initial a-priori training dataset size in the efficiency and convergence of surrogate-based evolutionary optimization, by Daniel Gonzalez Juarez and Esther Andres Perez.- Garteur AD/AG52: Surrogate-based global optimization methods in preliminary aerodynamic design, by E. Andres-Perez et al..- A Response Surface Based Strategy for Accelerated Compressor Map Computation, by Dmitrij Ivanov, Dieter Bestle, and Christian Janke.- Surrogate-Based Shape Optimization of the ERCOFTAC Centrifugal Pump Impeller, by Remo De Donno and Stefano Rebay and Antonio Ghidoni.- CFD based Design Optimization of a Cabinet Nitrogen Generator, by Bбrbara Arizmendi Gutiйrrez and Edmondo Minisci.- Delaunay-based global optimization in nonconvex domains defined by hidden constraints, by Shahrouz Ryan Alimo, Pooriya Beyhaghi, and Thomas R. Bewley.- PART III: Applications of optimization in engineering design automation.- Optimized Vehicle Dynamics Virtual Sensing using Metaheuristic Optimization and Unscented Kalman Filter, by Manuel Acosta and Stratis Kanarachos.- On Combinatorial Problem Representation based Ascent Assembly Design Optimization, by Michael Hellwig, Doris Entner, Thorsten Prante, Alexandru-Ciprian Zavoianu, Martin Schwarz, and Klara Fink.- On the Optimization of 2D Path Network Layouts in Engineering Designs via Evolutionary Computation Techniques, by Alexandru-Ciprian Ziivoianu, Susanne Saminger-Platz, Doris Entner, Thorsten Prante, Michael Hellwig, Martin Schwarz, and Klara Fink.- Taking Advantage of 3D Printing so as to Simultaneously Reduce Weight and Mechanical Bonding Stress, by Markus Schatz, Robert Schweikle, Christian Lausch, Michael Jentsch and Werner Konrad.- Interactive Optimization of Path Planning for a Robot Enabled by Virtual Commissioning, by Ruth Fleisch, Doris Entner, Thorsten Prante, Reinhard Pfefferkorn.- Box-Type Boom Design using Surrogate Modeling: Introducing an Industrial Optimization Benchmark, by Philipp Fleck, Doris Entner, Clemens Munzer, Michael Kommenda, Thorsten Prante, Martin Schwarz, Martin Hachl, and Michael Affenzeller.- Knowledge Objects Enable Mass-Individualization, by Joel Johansson and Fredrik Elgh.- Free-form Optimization of a Shell Structure with Curvature Constraint,
Описание: 1. Keynote: Risk, Optimization and Meanfield Type Control, by Olivier Pironneau and Mathieu Lauriиre.- 2. Surrogate-Based Optimization in Aerodynamic Design.- A Review of Surrogate Modeling Techniques for Aerodynamic Analysis and Optimization: Current Limitations and Future Challenges in Industry, by Raul Yondo, Kamil Bobrowski, Esther Andrйs and Eusebio Valero.- Constrained Single-Point Aerodynamic Shape Optimization of the DPW-W1 wing through Evolutionary Programming and Support Vector Machines, by E. Andrйs-Pйrez, D. Gonzбlez-Juбrez, M. J. Martin-Burgos, L. Carro-Calvo.- Enabling of Large Scale Aerodynamic Shape Optimization through POD-based Reduced-Order Modeling and Free Form Deformation, by A. Scardigli, R. Arpa, A. Chiarini and H. Telib.- Application of Surrogate-based Optimization Techniques to Aerodynamic Design Cases, by Emiliano Iuliano and Domenico Quagliarella.- Efficient Global Optimization method for multipoint airfoil design, by Davide Cinquegrana and Emiliano Iuliano.- 3. Adjoint Methods for Steady and Unsteady Optimization.- Checkpointing with time gaps for unsteady adjoint CFD, by Jan Christian Hueckelheim and Jens-Dominik Mueller.- Shape Optimization ofWind Turbine Blades using the Continuous Adjoint Method and Volumetric NURBS on a GPU Cluster, by Konstantinos T. Tsiakas, Xenofon S. Trompoukis, Varvara G. Asouti and Kyriakos C. Giannakoglou.- Aerodynamic Shape Optimization Using the Adjoint-based Truncated Newton Method, by Evangelos M. Papoutsis-Kiachagias, Mehdi Ghavami Nejad, and Kyriakos C. Giannakoglou.- Application of the adjoint method for the reconstruction of the boundary condition in unsteady shallow water flow simulation, by Asier Lacasta, Daniel Caviedes-Voulliиme and Pilar Garcнa-Navarro.- Aerodynamic Optimization of Car Shapes using the Continuous Adjoint Method and an RBF Morpher, by E.M. Papoutsis-Kiachagias, S. Porziani, C. Groth, M.E. Biancolini, E. Costa and K.C. Giannakoglou.- 4. Holistic Optimization in Marine Design.- Upfront CAD - Parametric modeling techniques for shape optimization, by S. Harries, C. Abt and M. Brenner.- Simulation-based Design Optimization by Sequential Multi-criterion Adaptive Sampling and Dynamic Radial Basis Functions, by Matteo Diez, Silvia Volpi, Andrea Serani, Frederick Stern and Emilio F. Campana.- Application of Holistic Ship Optimization in Bulkcarrier Design and Operation, by Lampros Nikolopoulos, Evangelos Boulougouris.- 5. Game Strategies Combined with Evolutionary Computation.- Designing Networks in Cooperation with ACO, by E. D'Amato, E. Daniele and L. Mallozzi.- Augmented Lagrangian approach for constrained potential Nash games, by Lina Mallozzi and Domenico Quagliarella.- A Diversity Dynamic Territory Nash Strategy in Evolutionary Algorithms: Enhancing Performances in Reconstruction Problems in Structural Engineering, by David Greiner, Jacques Pйriaux, J.M. Emperador, B. Galvбn, G. Winter.- Interactive Inverse Modeling Based Multiobjective Evolutionary Algorithm, by Karthik Sindhya and Jussi Hakanen.- Multi-Disciplinary Design Optimization of Air-breathing Hypersonic Vehicle Using Pareto Games and Evolutionary Algorithms, by Peng Wu, Zhili Tang, Jacques Periaux.- 6. Optimisation under Uncertainty.- Innovative methodologies for Robust Design Optimization with large number of uncertainties using modeFRONTIER, by Alberto Clarich, Rosario Russo.- A Novel Method for Inverse Uncertainty Propagation, by Xin Chen, ArturoMolina-Crist obal, Marin D. Guenov, Varun C. Datta, Atif Riaz.- Uncertainty Sources in the Baseline Configuration for Robust Design of a Supersonic Natural Laminar Flow Wing-Body, by Domenico Quagliarella and Emiliano Iuliano.- Robust Airfoil Design in the Context of Multi-Objective Optimization, by Lisa Kusch and Nicolas R. Gauger.- An alternative formulation for design under uncertainty, by F. Fusi and P. M. Congedo and G. Geraci and G. Iaccarino.- Polynomial Representation of Model Uncertainty in Dynamical
Автор: Gregory Gutin; Stefan Szeider Название: Parameterized and Exact Computation ISBN: 3319038974 ISBN-13(EAN): 9783319038971 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Exact Complexity and Satisfiability.- The Parameterized Complexity of Fixpoint Free Elements and Bases in Permutation Groups.- Parameterized Complexity of Two Edge Contraction Problems with Degree Constraints.- Declarative Dynamic Programming as an Alternative Realization of Courcelle's Theorem.- The Fine Details of Fast Dynamic Programming over Tree Decompositions.- On Subexponential and FPT-Time Inapproximability.- Multi-parameter Complexity Analysis for Constrained Size Graph Problems: Using Greediness for Parameterization.- Chain Minors Are FPT.- Incompressibility of H-Free Edge Modification.- Contracting Few Edges to Remove Forbidden Induced Subgraphs.- Fixed-Parameter and Approximation Algorithms: A New Look.- Subgraphs Satisfying MSO Properties on z-Topologically Orderable Digraphs.- Computing Tree-Depth Faster Than 2n.- Faster Exact Algorithms for Some Terminal Set Problems.- Parameterized Algorithms for Modular-Width.- A Faster FPT Algorithm for Bipartite Contraction.- On the Ordered List Subgraph Embedding Problems.- A Completeness Theory for Polynomial (Turing) Kernelization.- On Sparsification for Computing Treewidth.- The Jump Number Problem: Exact and Parameterized.- On the Hardness of Eliminating Small Induced Subgraphs by Contracting Edges.- Hardness of r-dominating set on Graphs of Diameter (r + 1).- Amalgam Width of Matroids.- On the Parameterized Complexity of Reconfiguration Problems.- FPT Algorithms for Consecutive Ones Submatrix Problems.- Upper Bounds on Boolean-Width with Applications to Exact Algorithms.- Speeding Up Dynamic Programming with Representative Sets: An Experimental Evaluation of Algorithms for Steiner Tree on Tree Decompositions.- Completeness Results for Parameterized Space Classes.- Treewidth and Pure Nash Equilibria.- Algorithms for k-Internal Out-Branching.
Автор: Marek Cygan; Pinar Heggernes Название: Parameterized and Exact Computation ISBN: 3319135236 ISBN-13(EAN): 9783319135236 Издательство: Springer Рейтинг: Цена: 7826.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Symposium on Parameterized and Exact Computation, IPEC 2014, in Wroclaw, Poland, in September 2014. parameterized complexity theory, relationship between parameterized complexity and traditional complexity classifications;
Автор: Martin Grohe; Rolf Niedermeier Название: Parameterized and Exact Computation ISBN: 354079722X ISBN-13(EAN): 9783540797227 Издательство: Springer Рейтинг: Цена: 9083.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the Third International Workshop on Parameterized and Exact Computation, IWPEC 2008, held in Victoria, Canada, in May 2008 - co-located with the 40th ACM Symposium on Theory of Computing, STOC 2008.
Автор: Jianer Chen; Fedor V. Fomin Название: Parameterized and Exact Computation ISBN: 3642112684 ISBN-13(EAN): 9783642112683 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 4th International Workshop IWPEC 2009 Copenhagen Denmark September 1011 2009 Revised Selected Paper. .
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
