This book is based on the papers presented at the International Conference 'Quality Improvement through Statistical Methods' in Cochin, India during December 28-31, 1996. The Conference was hosted by the Cochin University of Science and Technology, Cochin, India; and sponsored by the Institute for Improvement in Quality and Productivity (IIQP) at the University of Waterloo, Canada, the Statistics in Industry Committee of the International Statistical Institute (lSI) and by the Indian Statistical Institute. There has been an increased interest in Quality Improvement (QI) activities in many organizations during the last several years since the airing of the NBC television program, "If Japan can ... why can't we?" Implementation of QI meth ods requires statistical thinking and the utilization of statistical tools, thus there has been a renewed interest in statistical methods applicable to industry and technology. This revitalized enthusiasm has created worldwide discussions on Industrial Statistics Research and QI ideas at several international conferences in recent years. The purpose of this conference was to provide a forum for presenting and ex changing ideas in Statistical Methods and for enhancing the transference of such technologies to quality improvement efforts in various sectors. It also provided an opportunity for interaction between industrial practitioners and academia. It was intended that the exchange of experiences and ideas would foster new international collaborations in research and other technology transfers."

This second edition of Lessons in Play reorganizes the presentation of the popular original text in combinatorial game theory to make it even more widely accessible. Starting with a focus on the essential concepts and applications, it then moves on to more technical material. Still written in a textbook style with supporting evidence and proofs, the authors add many more exercises and examples and implement a two-step approach for some aspects of the material involving an initial introduction, examples, and basic results to be followed later by more detail and abstract results. Features Employs a widely accessible style to the explanation of combinatorial game theory Contains multiple case studies Expands further directions and applications of the field Includes a complete rewrite of CGSuite material

Global optimization concerns the computation and characterization of global optima of nonlinear functions. Such problems are widespread in the mathematical modelling of real systems in a very wide range of applications and the last 30 years have seen the development of many new theoretical, algorithmic and computational contributions which have helped to solve globally multiextreme problems in important practical applications. Most of the existing books on optimization focus on the problem of computing locally optimal solutions. Introduction to Global Optimization, however, is a comprehensive textbook on constrained global optimization that covers the fundamentals of the subject, presenting much new material, including algorithms, applications and complexity results for quadratic programming, concave minimization, DC and Lipschitz problems, and nonlinear network flow. Each chapter contains illustrative examples and ends with carefully selected exercises, designed to help students grasp the material and enhance their knowledge of the methods involved. Audience: Students of mathematical programming, and all scientists, from whatever discipline, who need global optimization methods in such diverse areas as economic modelling, fixed charges, finance, networks and transportation, databases, chip design, image processing, nuclear and mechanical design, chemical engineering design and control, molecular biology, and environmental engineering.

The first comprehensive account of the theory of mass transportation problems and its applications. In Volume I, the authors systematically develop the theory with emphasis on the Monge-Kantorovich mass transportation and the Kantorovich-Rubinstein mass transshipment problems. They then discuss a variety of different approaches towards solving these problems and exploit the rich interrelations to several mathematical sciences - from functional analysis to probability theory and mathematical economics. The second volume is devoted to applications of the above problems to topics in applied probability, theory of moments and distributions with given marginals, queuing theory, risk theory of probability metrics and its applications to various fields, among them general limit theorems for Gaussian and non-Gaussian limiting laws, stochastic differential equations and algorithms, and rounding problems. Useful to graduates and researchers in theoretical and applied probability, operations research, computer science, and mathematical economics, the prerequisites for this book are graduate level probability theory and real and functional analysis.

Optimality Conditions in Convex Optimization explores an important and central issue in the field of convex optimization: optimality conditions. It brings together the most important and recent results in this area that have been scattered in the literature-notably in the area of convex analysis-essential in developing many of the important results in this book, and not usually found in conventional texts. Unlike other books on convex optimization, which usually discuss algorithms along with some basic theory, the sole focus of this book is on fundamental and advanced convex optimization theory. Although many results presented in the book can also be proved in infinite dimensions, the authors focus on finite dimensions to allow for much deeper results and a better understanding of the structures involved in a convex optimization problem. They address semi-infinite optimization problems; approximate solution concepts of convex optimization problems; and some classes of non-convex problems which can be studied using the tools of convex analysis. They include examples wherever needed, provide details of major results, and discuss proofs of the main results.

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.

Classical probability theory provides information about random walks after a fixed number of steps. For applications, however, it is more natural to consider random walks evaluated after a random number of steps. Examples are sequential analysis, queuing theory, storage and inventory theory, insurance risk theory, reliability theory, and the theory of contours. Stopped Random Walks: Limit Theorems and Applications shows how this theory can be used to prove limit theorems for renewal counting processes, first passage time processes, and certain two-dimenstional random walks, and to how these results are useful in various applications.

This second edition offers updated content and an outlook on further results, extensions and generalizations. A new chapter examines nonlinear renewal processes in order to present the analagous theory for perturbed random walks, modeled as a random walk plus "noise."

Measurement plays a fundamental role both in physical and behavioral sciences, as well as in engineering and technology: it is the link between abstract models and empirical reality and is a privileged method of gathering information from the real world.

Is it possible to develop a single theory of measurement for the various domains of science and technology in which measurement is involved? This book takes the challenge by addressing the following main issues: What is the meaning of measurement? How do we measure? What can be measured?

A theoretical framework that could truly be shared by scientists in different fields, ranging from physics and engineering to psychology is developed. The future in fact will require greater collaboration between science and technology and between different sciences. Measurement, which played a key role in the birth of modern science, can act as an essential interdisciplinary tool and language for this new scenario.

A sound theoretical basis for addressing key problems in measurement is provided. These include perceptual measurement, the evaluation of uncertainty, the evaluation of inter-comparisons, the analysis of risks in decision-making and the characterization of dynamical measurement. Currently, increasing attention is paid to these issues due to their scientific, technical, economic and social impact. The book proposes a unified probabilistic approach to them which may allow more rational and effective solutions to be reached.

Great care was taken to make the text as accessible as possible in several ways. Firstly, by giving preference to as interdisciplinary a terminology as possible; secondly, by carefully defining and discussing all key terms. This ensures that a wide readership, including people from different mathematical backgrounds and different understandings of measurement can all benefit from this work. Concerning mathematics, all the main results are preceded by intuitive discussions and illustrated by simple examples. Moreover, precise proofs are always included in order to enable the more demanding readers to make conscious and creative use of these ideas, and also to develop new ones.

The book demonstrates that measurement, which is commonly understood to be a merely experimental matter, poses theoretical questions which are no less challenging than those arising in other, apparently more theoretical, disciplines.

This book is the first to present in a systematic manner the application of game theory to fisheries management at both international and national levels. Strategic interaction among fishers and nations exploiting fishery resources is an inescapable fact of life. This has long been recognized at the international level, and is becoming increasingly recognized at the national/regional level. It follows, therefore, that, in order to be able to analyse effectively the management of these resources, the theory of strategic interaction game theory must be brought to bear. In this book the step-by-step development of the game theory is accompanied by numerous applications to the real world of fisheries management policy. As such, it is designed to appeal to policy makers and stakeholders, as well as to graduate students in Economics.

Optimization is everywhere. It is human nature to seek the best option among all that are available. Nature, too, seems to be guided by optimization-many laws of nature have a variational character. Among geometric gures in the plane with a xed perimeter, the circle has the greatest area. Such isoperim- ric problems involving geometric gures date back to ancient Greece. Fermat's principle, discovered in 1629, stating that the tangent line is horizontal at a minimum point, seems to have in uenced the development of calculus. The proofs of Rolle's theorem and the mean value theorem in calculus use the Weierstrass theorem on the existence of maximizers and minimizers. The - troduction of the brachistochrone problem in 1696 by Johann Bernoulli had a tremendous impact on the development of the calculus of variations and in uenced the development of functional analysis. The variational character of laws of mechanics and optics were discovered in the seventeenth and ei- teenth centuries. Euler and Lagrange forged the foundations of the calculus of variations in the eighteenth century. In the nineteenth century, Riemann used Dirichlet's principle, which has a variational character, in his investigations in complex analysis. The simplex method for linear programming was disc- ered shortly after the advent of computers in the 1940s, and in uenced the subsequent development of mathematical programming. The emergence of the theory of optimal control in the 1950s was in response to the need for contr- ling space vehicles and various industrial processes.

In this volume the author develops and applies methods for proving, from large cardinals, the determinacy of definable games of countable length on natural numbers. The determinacy is ultimately derived from iteration strategies, connecting games on natural numbers with the specific iteration games that come up in the study of large cardinals. The games considered in this text range in strength, from games of fixed countable length, through games where the length is clocked by natural numbers, to games in which a run is complete when its length is uncountable in an inner model (or a pointclass) relative to the run. More can be done using the methods developed here, reaching determinacy for games of certain length. The book is largely self-contained. Only graduate level knowledge of modern techniques in large cardinals and basic forcing is assumed. Several exercises allow the reader to build on the results in the text, for example connecting them with universally Baire and homogeneously Suslin sets. - Important contribution to one of the main features of current set theory, as initiated and developed by Jensen, Woodin, Steel and others.

This book on canonical duality theory provides a comprehensive review of its philosophical origin, physics foundation, and mathematical statements in both finite- and infinite-dimensional spaces. A ground-breaking methodological theory, canonical duality theory can be used for modeling complex systems within a unified framework and for solving a large class of challenging problems in multidisciplinary fields in engineering, mathematics, and the sciences. This volume places a particular emphasis on canonical duality theory's role in bridging the gap between non-convex analysis/mechanics and global optimization. With 18 total chapters written by experts in their fields, this volume provides a nonconventional theory for unified understanding of the fundamental difficulties in large deformation mechanics, bifurcation/chaos in nonlinear science, and the NP-hard problems in global optimization. Additionally, readers will find a unified methodology and powerful algorithms for solving challenging problems in complex systems with real-world applications in non-convex analysis, non-monotone variational inequalities, integer programming, topology optimization, post-buckling of large deformed structures, etc. Researchers and graduate students will find explanation and potential applications in multidisciplinary fields.

Nonlinear Assignment Problems (NAPs) are natural extensions of the classic Linear Assignment Problem, and despite the efforts of many researchers over the past three decades, they still remain some of the hardest combinatorial optimization problems to solve exactly. The purpose of this book is to provide in a single volume, major algorithmic aspects and applications of NAPs as contributed by leading international experts. The chapters included in this book are concerned with major applications and the latest algorithmic solution approaches for NAPs. Approximation algorithms, polyhedral methods, semidefinite programming approaches and heuristic procedures for NAPs are included, while applications of this problem class in the areas of multiple-target tracking in the context of military surveillance systems, of experimental high energy physics, and of parallel processing are presented. Audience: Researchers and graduate students in the areas of combinatorial optimization, mathematical programming, operations research, physics, and computer science.

Individuals, firms, governments and nations behave strategically, for good and bad. Over the last few decades, game theory has been constructed and progressively refined to become the major tool used by social scientists to understand, predict and regulate strategic interaction among agents who often have conflicting interests. In the surprisingly anodyne jargon of the theory, they play games'. This book offers an introduction to the basic tools of game theory and an overview of a number of applications to real-world cases, covering the areas of economics, politics and international relations. Each chapter is accompanied by some suggestions about further reading.

• Provides well-written self-contained chapters, including problem sets and exercises, making it ideal for the classroom setting;
• Introduces applied optimization to the hazardous waste blending problem;
• Explores linear programming, nonlinear programming, discrete optimization, global optimization, optimization under uncertainty, multi-objective optimization, optimal control and stochastic optimal control;
• Includes an extensive bibliography at the end of each chapter and an index;
• GAMS files of case studies for Chapters 2, 3, 4, 5, and 7 are linked to http: //www.springer.com/math/book/978-0-387-76634-8;

Solutions manual available upon adoptions.

In recent years global optimization has found applications in many interesting areas of science and technology including molecular biology, chemical equilibrium problems, medical imaging and networks. The collection of papers in this book indicates the diverse applicability of global optimization. Furthermore, various algorithmic, theoretical developments and computational studies are presented. Audience: All researchers and students working in mathematical programming.

This book presents models and algorithms for complex scheduling problems. Besides resource-constrained project scheduling problems with applications also job-shop problems with flexible machines, transportation or limited buffers are discussed. Discrete optimization methods like linear and integer programming, constraint propagation techniques, shortest path and network flow algorithms, branch-and-bound methods, local search and genetic algorithms, and dynamic programming are presented. They are used in exact or heuristic procedures to solve the introduced complex scheduling problems. Furthermore, methods for calculating lower bounds are described. Most algorithms are formulated in detail and illustrated with examples. In this second edition some errors were corrected, some parts were explained in more detail, and new material has been added. In particular, further generalizations of the RCPSP, additional practical applications and some more algorithms were integrated.

Coalition Formation and Social Choice provides a unified and comprehensive study of coalition formation and collective decision-making in committees. It discusses the main existing theories including the size principle, conflict of interest theory, dominant player theory, policy distance theory and power excess theory. In addition, the book offers new theories of coalition formation in which the endogenous formation of preferences for coalitions is basic. Both simple game theory and social choice theory are extensively applied in the treatment of the theories. This combined application not only leads to new theories but also offers a new and fresh perspective on coalition formation and collective decision-making in committees. The book covers the fundamental concepts and results of social choice theory including Arrow's Impossibility Theorem. Furthermore, it gives a coherent treatment of the theory of simple games. Besides more traditional topics in simple game theory like power indices, it also introduces new aspects of simple games such as the Chow parameter, the Chow vector and the notion of similar games.

Variational principles have proven to be surprisingly fertile. For example, Fermat used variational methods to demonstrate that light follows the fastest route from one point to another, an idea which came to be a cornerstone of geometrical optics. This book explains variational principles and charts their use throughout modern physics. It examines the analytical mechanics of Lagrange and Hamilton, the basic tools of any physicist. The book also offers simple but rich first impressions of Einstein’s General Relativity, Feynman’s Quantum Mechanics, and more that reveal amazing interconnections between various fields of physics.

Search games and rendezvous problems have received growing attention in computer science within the past few years. Rendezvous problems emerge naturally, for instance, to optimize performance and convergence of mobile robots. This gives a new algorithmic point of view to the theory. Furthermore, modern topics such as the spreading of gossip or disease in social networks have lead to new challenging problems in search and rendezvous.

"Search Theory: A Game Theoretic Perspective" introduces the first integrated approach to Search and Rendezvous from the perspectives ofbiologists, computer scientists and mathematicians. This contributed volume covers a wide range of topics including rendezvous problems and solutions, rendezvous on graphs, search games on biology, mobility in governed social networks, search and security, and more. Most chapters also include case studies or a survey, in addition to a chapter on the future direction of Search and Rendezvous research.

This book targets researchers and practitioners working in computer science, mathematics and biology as a reference book. Advanced level students focused on these fields will also find this book valuable as a secondary text book orreference."

The aim in this graduate level text is to outline the key mathematical concepts that underpin these important questions in applied mathematics. These concepts involve discrete mathematics (particularly graph theory), optimization, computer science, and several ideas in biology.

This monograph explores a dual variational formulation of solutions to nonlinear diffusion equations with general nonlinearities as null minimizers of appropriate energy functionals. The author demonstrates how this method can be utilized as a convenient tool for proving the existence of these solutions when others may fail, such as in cases of evolution equations with nonautonomous operators, with low regular data, or with singular diffusion coefficients. By reducing it to a minimization problem, the original problem is transformed into an optimal control problem with a linear state equation. This procedure simplifies the proof of the existence of minimizers and, in particular, the determination of the first-order conditions of optimality. The dual variational formulation is illustrated in the text with specific diffusion equations that have general nonlinearities provided by potentials having various stronger or weaker properties. These equations can represent mathematical models to various real-world physical processes. Inverse problems and optimal control problems are also considered, as this technique is useful in their treatment as well.

This wide-ranging and accessible book serves as a fascinating guide to the strategies and concepts that help us understand the boundaries between physics, on the one hand, and sociology, economics, and biology on the other. From cooperation and criticality to flock dynamics and fractals, the author addresses many of the topics belonging to the broad theme of complexity. He chooses excellent examples (requiring no prior mathematical knowledge) to illuminate these ideas and their implications. The lively style and clear description of the relevant models will appeal both to novices and those with an existing knowledge of the field.

The book treats two approaches to decision theory: (1) the normative, purporting to determine how a 'perfectly rational' actor ought to choose among available alternatives; (2) the descriptive, based on observations of how people actually choose in real life and in laboratory experiments. The mathematical tools used in the normative approach range from elementary algebra to matrix and differential equations. Sections on different levels can be studied independently. Special emphasis is made on 'offshoots' of both theories to cognitive psychology, theoretical biology, and philosophy.