Author: Michael Jünger
Publisher: Springer Science & Business Media
ISBN: 3540682791
Category : Mathematics
Languages : en
Pages : 803
Book Description
In 1958, Ralph E. Gomory transformed the field of integer programming when he published a paper that described a cutting-plane algorithm for pure integer programs and announced that the method could be refined to give a finite algorithm for integer programming. In 2008, to commemorate the anniversary of this seminal paper, a special workshop celebrating fifty years of integer programming was held in Aussois, France, as part of the 12th Combinatorial Optimization Workshop. It contains reprints of key historical articles and written versions of survey lectures on six of the hottest topics in the field by distinguished members of the integer programming community. Useful for anyone in mathematics, computer science and operations research, this book exposes mathematical optimization, specifically integer programming and combinatorial optimization, to a broad audience.
50 Years of Integer Programming 1958-2008
Author: Michael Jünger
Publisher: Springer Science & Business Media
ISBN: 3540682791
Category : Mathematics
Languages : en
Pages : 803
Book Description
In 1958, Ralph E. Gomory transformed the field of integer programming when he published a paper that described a cutting-plane algorithm for pure integer programs and announced that the method could be refined to give a finite algorithm for integer programming. In 2008, to commemorate the anniversary of this seminal paper, a special workshop celebrating fifty years of integer programming was held in Aussois, France, as part of the 12th Combinatorial Optimization Workshop. It contains reprints of key historical articles and written versions of survey lectures on six of the hottest topics in the field by distinguished members of the integer programming community. Useful for anyone in mathematics, computer science and operations research, this book exposes mathematical optimization, specifically integer programming and combinatorial optimization, to a broad audience.
Publisher: Springer Science & Business Media
ISBN: 3540682791
Category : Mathematics
Languages : en
Pages : 803
Book Description
In 1958, Ralph E. Gomory transformed the field of integer programming when he published a paper that described a cutting-plane algorithm for pure integer programs and announced that the method could be refined to give a finite algorithm for integer programming. In 2008, to commemorate the anniversary of this seminal paper, a special workshop celebrating fifty years of integer programming was held in Aussois, France, as part of the 12th Combinatorial Optimization Workshop. It contains reprints of key historical articles and written versions of survey lectures on six of the hottest topics in the field by distinguished members of the integer programming community. Useful for anyone in mathematics, computer science and operations research, this book exposes mathematical optimization, specifically integer programming and combinatorial optimization, to a broad audience.
Integer Programming and Combinatorial Optimization
Author: Friedrich Eisenbrand
Publisher: Springer Science & Business Media
ISBN: 3642130356
Category : Computers
Languages : en
Pages : 476
Book Description
This book constitutes the proceedings of the 14th International Conference on Integer Programming and Combinatorial Optimization, IPCO 2010, held in Lausanne, Switzerland in June 2010. The 34 papers presented were carefully reviewed and selected from 135 submissions. The conference has become the main forum for recent results in integer programming and combinatorial optimization in the non-symposium years.
Publisher: Springer Science & Business Media
ISBN: 3642130356
Category : Computers
Languages : en
Pages : 476
Book Description
This book constitutes the proceedings of the 14th International Conference on Integer Programming and Combinatorial Optimization, IPCO 2010, held in Lausanne, Switzerland in June 2010. The 34 papers presented were carefully reviewed and selected from 135 submissions. The conference has become the main forum for recent results in integer programming and combinatorial optimization in the non-symposium years.
An Introduction to Linear Programming and Game Theory
Author: Paul R. Thie
Publisher: John Wiley & Sons
ISBN: 1118165454
Category : Mathematics
Languages : en
Pages : 476
Book Description
Praise for the Second Edition: "This is quite a well-done book: very tightly organized, better-than-average exposition, and numerous examples, illustrations, and applications." —Mathematical Reviews of the American Mathematical Society An Introduction to Linear Programming and Game Theory, Third Edition presents a rigorous, yet accessible, introduction to the theoretical concepts and computational techniques of linear programming and game theory. Now with more extensive modeling exercises and detailed integer programming examples, this book uniquely illustrates how mathematics can be used in real-world applications in the social, life, and managerial sciences, providing readers with the opportunity to develop and apply their analytical abilities when solving realistic problems. This Third Edition addresses various new topics and improvements in the field of mathematical programming, and it also presents two software programs, LP Assistant and the Solver add-in for Microsoft Office Excel, for solving linear programming problems. LP Assistant, developed by coauthor Gerard Keough, allows readers to perform the basic steps of the algorithms provided in the book and is freely available via the book's related Web site. The use of the sensitivity analysis report and integer programming algorithm from the Solver add-in for Microsoft Office Excel is introduced so readers can solve the book's linear and integer programming problems. A detailed appendix contains instructions for the use of both applications. Additional features of the Third Edition include: A discussion of sensitivity analysis for the two-variable problem, along with new examples demonstrating integer programming, non-linear programming, and make vs. buy models Revised proofs and a discussion on the relevance and solution of the dual problem A section on developing an example in Data Envelopment Analysis An outline of the proof of John Nash's theorem on the existence of equilibrium strategy pairs for non-cooperative, non-zero-sum games Providing a complete mathematical development of all presented concepts and examples, Introduction to Linear Programming and Game Theory, Third Edition is an ideal text for linear programming and mathematical modeling courses at the upper-undergraduate and graduate levels. It also serves as a valuable reference for professionals who use game theory in business, economics, and management science.
Publisher: John Wiley & Sons
ISBN: 1118165454
Category : Mathematics
Languages : en
Pages : 476
Book Description
Praise for the Second Edition: "This is quite a well-done book: very tightly organized, better-than-average exposition, and numerous examples, illustrations, and applications." —Mathematical Reviews of the American Mathematical Society An Introduction to Linear Programming and Game Theory, Third Edition presents a rigorous, yet accessible, introduction to the theoretical concepts and computational techniques of linear programming and game theory. Now with more extensive modeling exercises and detailed integer programming examples, this book uniquely illustrates how mathematics can be used in real-world applications in the social, life, and managerial sciences, providing readers with the opportunity to develop and apply their analytical abilities when solving realistic problems. This Third Edition addresses various new topics and improvements in the field of mathematical programming, and it also presents two software programs, LP Assistant and the Solver add-in for Microsoft Office Excel, for solving linear programming problems. LP Assistant, developed by coauthor Gerard Keough, allows readers to perform the basic steps of the algorithms provided in the book and is freely available via the book's related Web site. The use of the sensitivity analysis report and integer programming algorithm from the Solver add-in for Microsoft Office Excel is introduced so readers can solve the book's linear and integer programming problems. A detailed appendix contains instructions for the use of both applications. Additional features of the Third Edition include: A discussion of sensitivity analysis for the two-variable problem, along with new examples demonstrating integer programming, non-linear programming, and make vs. buy models Revised proofs and a discussion on the relevance and solution of the dual problem A section on developing an example in Data Envelopment Analysis An outline of the proof of John Nash's theorem on the existence of equilibrium strategy pairs for non-cooperative, non-zero-sum games Providing a complete mathematical development of all presented concepts and examples, Introduction to Linear Programming and Game Theory, Third Edition is an ideal text for linear programming and mathematical modeling courses at the upper-undergraduate and graduate levels. It also serves as a valuable reference for professionals who use game theory in business, economics, and management science.
Applied Integer Programming
Author: Der-San Chen
Publisher: John Wiley & Sons
ISBN: 0470373067
Category : Mathematics
Languages : en
Pages : 489
Book Description
An accessible treatment of the modeling and solution of integer programming problems, featuring modern applications and software In order to fully comprehend the algorithms associated with integer programming, it is important to understand not only how algorithms work, but also why they work. Applied Integer Programming features a unique emphasis on this point, focusing on problem modeling and solution using commercial software. Taking an application-oriented approach, this book addresses the art and science of mathematical modeling related to the mixed integer programming (MIP) framework and discusses the algorithms and associated practices that enable those models to be solved most efficiently. The book begins with coverage of successful applications, systematic modeling procedures, typical model types, transformation of non-MIP models, combinatorial optimization problem models, and automatic preprocessing to obtain a better formulation. Subsequent chapters present algebraic and geometric basic concepts of linear programming theory and network flows needed for understanding integer programming. Finally, the book concludes with classical and modern solution approaches as well as the key components for building an integrated software system capable of solving large-scale integer programming and combinatorial optimization problems. Throughout the book, the authors demonstrate essential concepts through numerous examples and figures. Each new concept or algorithm is accompanied by a numerical example, and, where applicable, graphics are used to draw together diverse problems or approaches into a unified whole. In addition, features of solution approaches found in today's commercial software are identified throughout the book. Thoroughly classroom-tested, Applied Integer Programming is an excellent book for integer programming courses at the upper-undergraduate and graduate levels. It also serves as a well-organized reference for professionals, software developers, and analysts who work in the fields of applied mathematics, computer science, operations research, management science, and engineering and use integer-programming techniques to model and solve real-world optimization problems.
Publisher: John Wiley & Sons
ISBN: 0470373067
Category : Mathematics
Languages : en
Pages : 489
Book Description
An accessible treatment of the modeling and solution of integer programming problems, featuring modern applications and software In order to fully comprehend the algorithms associated with integer programming, it is important to understand not only how algorithms work, but also why they work. Applied Integer Programming features a unique emphasis on this point, focusing on problem modeling and solution using commercial software. Taking an application-oriented approach, this book addresses the art and science of mathematical modeling related to the mixed integer programming (MIP) framework and discusses the algorithms and associated practices that enable those models to be solved most efficiently. The book begins with coverage of successful applications, systematic modeling procedures, typical model types, transformation of non-MIP models, combinatorial optimization problem models, and automatic preprocessing to obtain a better formulation. Subsequent chapters present algebraic and geometric basic concepts of linear programming theory and network flows needed for understanding integer programming. Finally, the book concludes with classical and modern solution approaches as well as the key components for building an integrated software system capable of solving large-scale integer programming and combinatorial optimization problems. Throughout the book, the authors demonstrate essential concepts through numerous examples and figures. Each new concept or algorithm is accompanied by a numerical example, and, where applicable, graphics are used to draw together diverse problems or approaches into a unified whole. In addition, features of solution approaches found in today's commercial software are identified throughout the book. Thoroughly classroom-tested, Applied Integer Programming is an excellent book for integer programming courses at the upper-undergraduate and graduate levels. It also serves as a well-organized reference for professionals, software developers, and analysts who work in the fields of applied mathematics, computer science, operations research, management science, and engineering and use integer-programming techniques to model and solve real-world optimization problems.
From Smart Grids to Smart Cities
Author: Massimo La Scala
Publisher: John Wiley & Sons
ISBN: 1848217498
Category : Science
Languages : en
Pages : 371
Book Description
This book addresses different algorithms and applications based on the theory of multiobjective goal attainment optimization. In detail the authors show as the optimal asset of the energy hubs network which (i) meets the loads, (ii) minimizes the energy costs and (iii) assures a robust and reliable operation of the multicarrier energy network can be formalized by a nonlinear constrained multiobjective optimization problem. Since these design objectives conflict with each other, the solution of such the optimal energy flow problem hasn’t got a unique solution and a suitable trade off between the objectives should be identified. A further contribution of the book consists in presenting real-world applications and results of the proposed methodologies developed by the authors in three research projects recently completed and characterized by actual implementation under an overall budget of about 23 million €.
Publisher: John Wiley & Sons
ISBN: 1848217498
Category : Science
Languages : en
Pages : 371
Book Description
This book addresses different algorithms and applications based on the theory of multiobjective goal attainment optimization. In detail the authors show as the optimal asset of the energy hubs network which (i) meets the loads, (ii) minimizes the energy costs and (iii) assures a robust and reliable operation of the multicarrier energy network can be formalized by a nonlinear constrained multiobjective optimization problem. Since these design objectives conflict with each other, the solution of such the optimal energy flow problem hasn’t got a unique solution and a suitable trade off between the objectives should be identified. A further contribution of the book consists in presenting real-world applications and results of the proposed methodologies developed by the authors in three research projects recently completed and characterized by actual implementation under an overall budget of about 23 million €.
Automated Deduction - CADE-25
Author: Amy P. Felty
Publisher: Springer
ISBN: 3319214012
Category : Computers
Languages : en
Pages : 648
Book Description
This book constitutes the proceedings of the 25th International Conference on Automated Deduction, CADE-25, held in Berlin, Germany, in August 2015. The 36 revised full papers presented ( 24 full papers and 12 system descriptions) were carefully reviewed and selected from 85 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations and practical experience.
Publisher: Springer
ISBN: 3319214012
Category : Computers
Languages : en
Pages : 648
Book Description
This book constitutes the proceedings of the 25th International Conference on Automated Deduction, CADE-25, held in Berlin, Germany, in August 2015. The 36 revised full papers presented ( 24 full papers and 12 system descriptions) were carefully reviewed and selected from 85 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations and practical experience.
Software Engineering and Formal Methods
Author: Carla Ferreira
Publisher: Springer Nature
ISBN: 3031471156
Category : Computers
Languages : en
Pages : 386
Book Description
This book constitutes the refereed proceedings of the 21st International Conference on Software Engineering and Formal Methods, SEFM 2023, held in Eindhoven, The Netherlands, during November 6-10, 2023. The 18 regular papers presented in this book, together with 1 invited paper and 1 tool paper, were carefully reviewed and selected from 41 submissions. The SEFM conference series aims to bring together researchers and practitioners from academia, industry and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools.
Publisher: Springer Nature
ISBN: 3031471156
Category : Computers
Languages : en
Pages : 386
Book Description
This book constitutes the refereed proceedings of the 21st International Conference on Software Engineering and Formal Methods, SEFM 2023, held in Eindhoven, The Netherlands, during November 6-10, 2023. The 18 regular papers presented in this book, together with 1 invited paper and 1 tool paper, were carefully reviewed and selected from 41 submissions. The SEFM conference series aims to bring together researchers and practitioners from academia, industry and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools.
Web-Age Information Management
Author: Bin Cui
Publisher: Springer
ISBN: 3319399586
Category : Computers
Languages : en
Pages : 566
Book Description
This two-volume set, LNCS 9658 and 9659, constitutes the thoroughly refereed proceedings of the 17th International Conference on Web-Age Information Management, WAIM 2016, held in Nanchang, China, in June 2016. The 80 full research papers presented together with 8 demonstrations were carefully reviewed and selected from 266 submissions. The focus of the conference is on following topics: data mining, spatial and temporal databases, recommender systems, graph data management, information retrieval, privacy and trust, query processing and optimization, social media, big data analytics, and distributed and cloud computing.
Publisher: Springer
ISBN: 3319399586
Category : Computers
Languages : en
Pages : 566
Book Description
This two-volume set, LNCS 9658 and 9659, constitutes the thoroughly refereed proceedings of the 17th International Conference on Web-Age Information Management, WAIM 2016, held in Nanchang, China, in June 2016. The 80 full research papers presented together with 8 demonstrations were carefully reviewed and selected from 266 submissions. The focus of the conference is on following topics: data mining, spatial and temporal databases, recommender systems, graph data management, information retrieval, privacy and trust, query processing and optimization, social media, big data analytics, and distributed and cloud computing.
Advanced Optimization for Process Systems Engineering
Author: Ignacio E. Grossmann
Publisher: Cambridge University Press
ISBN: 1108831656
Category : Mathematics
Languages : en
Pages : 205
Book Description
A unique text covering basic and advanced concepts of optimization theory and methods for process systems engineers. With examples illustrating key concepts and algorithms, and exercises involving theoretical derivations, numerical problems and modeling systems, it is ideal for single-semester, graduate courses in process systems engineering.
Publisher: Cambridge University Press
ISBN: 1108831656
Category : Mathematics
Languages : en
Pages : 205
Book Description
A unique text covering basic and advanced concepts of optimization theory and methods for process systems engineers. With examples illustrating key concepts and algorithms, and exercises involving theoretical derivations, numerical problems and modeling systems, it is ideal for single-semester, graduate courses in process systems engineering.
Mathematical Optimization Theory and Operations Research
Author: Alexander Kononov
Publisher: Springer Nature
ISBN: 303049988X
Category : Computers
Languages : en
Pages : 492
Book Description
This book constitutes the proceedings of the 19th International Conference on Mathematical Optimization Theory and Operations Research, MOTOR 2020, held in Novosibirsk, Russia, in July 2020. The 31 full papers presented in this volume were carefully reviewed and selected from 102 submissions. The papers are grouped in these topical sections: discrete optimization; mathematical programming; game theory; scheduling problem; heuristics and metaheuristics; and operational research applications.
Publisher: Springer Nature
ISBN: 303049988X
Category : Computers
Languages : en
Pages : 492
Book Description
This book constitutes the proceedings of the 19th International Conference on Mathematical Optimization Theory and Operations Research, MOTOR 2020, held in Novosibirsk, Russia, in July 2020. The 31 full papers presented in this volume were carefully reviewed and selected from 102 submissions. The papers are grouped in these topical sections: discrete optimization; mathematical programming; game theory; scheduling problem; heuristics and metaheuristics; and operational research applications.