Numerical Integration, Patrick Keast; Graeme Fairweather

Автор: Willem-Jan van Hoeve; Elvin Coban
Название: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
ISBN: 3642019285 ISBN-13(EAN): 9783642019289
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2009, held in Pittsburgh, PA, USA, in May 2009.

Автор: Andrea Lodi; Michela Milano; Paolo Toth
Название: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
ISBN: 3642135196 ISBN-13(EAN): 9783642135194
Издательство: Springer
Рейтинг:
Цена: 69870.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 7th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2010, held in Bologna, Italy, in June 2010.

Автор: 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;

Автор: Domenico Salvagnin; Michele Lombardi
Название: Integration of AI and OR Techniques in Constraint Programming
ISBN: 3319597752 ISBN-13(EAN): 9783319597751
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Claude-Guy Quimper
Название: Integration of AI and OR Techniques in Constraint Programming
ISBN: 3319339532 ISBN-13(EAN): 9783319339535
Издательство: Springer
Рейтинг:
Цена: 59630.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Naveen Ashish; Jose-Luis Ambite
Название: Data Integration in the Life Sciences
ISBN: 3319218425 ISBN-13(EAN): 9783319218427
Издательство: Springer
Рейтинг:
Цена: 44720.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 11th International Conference on Data Integration in the Life Sciences, DILS 2015, held in Los Angeles, CA, USA, in July 2015. They are organized in topical sections named: data integration technologies; ontology and knowledge engineering for data integration; biomedical data standards and coding;

Автор: 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.

Автор: Paul Mc Kevitt
Название: Integration of Natural Language and Vision Processing
ISBN: 940107268X ISBN-13(EAN): 9789401072687
Издательство: Springer
Рейтинг:
Цена: 83810.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Although there has been much progress in developing theories, models and systems in the areas of Natural Language Processing (NLP) and Vision Processing (VP) there has up to now been little progress on integrating these two subareas of Artificial Intelligence (AI).

Автор: Toshiro Wakayama; Srikanth Kannapan; Chan Meng Kho
Название: Information and Process Integration in Enterprises
ISBN: 1461375126 ISBN-13(EAN): 9781461375128
Издательство: Springer
Рейтинг:
Цена: 139750.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Information and Process Integration in Enterprises: Rethinking Documents is a bold attempt to address information and process integration issues as a single body of research and practice.

Автор: Christian Ullrich; J?rgen Wolff von Gudenberg
Название: Accurate Numerical Algorithms
ISBN: 3540514775 ISBN-13(EAN): 9783540514770
Издательство: Springer
Рейтинг:
Цена: 97820.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Nikos Mastorakis; John Sakellaris
Название: Advances in Numerical Methods
ISBN: 1461417260 ISBN-13(EAN): 9781461417262
Издательство: Springer
Рейтинг:
Цена: 153720.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book features contributions from distinguished researchers focused on significant aspects of current numerical methods and computational mathematics. Each chapter presents new and advanced methods and modern variations of known techniques.

Автор: Svetozar D. Margenov; Lubin Georgiev Vulkov; Jerzy
Название: Numerical Analysis and Its Applications
ISBN: 3642004636 ISBN-13(EAN): 9783642004636
Издательство: Springer
Рейтинг:
Цена: 97820.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed post-conference proceedings of the 4th International Conference on Numerical Analysis and Its Applications, NAA 2008, held in Lozenetz, Bulgaria in June 2008. This book addresses various aspects of numerical analysis and discusses a wide range of problems concerning achievements in physics, chemistry and engineering.