Harvey J Greenberg

This volume chronicles the high impact research career of Harvey Greenberg (1940-2018), and in particular, it reviews historical contributions, presents current research projects, and suggests future pursuits. This volume addresses several of his most distinguished hallmarks, including model analysis, model generation, infeasibility diagnosis, sensitivity analysis, parametric programming, energy modeling, and computational biology. There is also an overview chapter on the emergence of computational OR, and in particular, how literature venues have changed the course of OR research. He developed Computer-Assisted Analysis in the 1970s and 80s, creating an artificially intelligent environment for analyzing mathematical programming models and their results. This earned him the first INFORMS Computing Society (ICS) Prize for "research excellence in the interfaces between operations research and computer science" in 1986, notably for his software system, ANALYZE. In 1993, he wrote the first book in the Springer OR/CS Series entitled A Computer-Assisted Analysis System for Mathematical Programming Models and Solutions: A User’s Guide for ANALYZE. He applied OR methods to CS problems, ranging from using queuing theory for optimal list structure design to using integer programming for bioinformatic database search. He also applied CS to OR problems, ranging from super-sparse information structures to the use of compiler design in ANALYZE. This book can serve as a guide to new researchers, and will report the historical trajectory of OR as it solves current problems and forecasts future applications through the accomplishments of Harvey Greenberg.

This volume presents a collection of refereed papers reflecting the state of the art in the area of over-constrained systems. Besides 11 revised full papers, selected from the 24 submissions to the OCS workshop held in conjunction with the First International Conference on Principles and Practice of Constraint Programming, CP '95, held in Marseilles in September 1995, the book includes three comprehensive background papers of central importance for the workshop papers and the whole field. Also included is an introduction by one of the volume editors together with a bibliography listing 243 entries. All in all this is a very useful reference book relevant for all researchers and practitioners interested in hierarchical, partial, and over-constrained systems.

Optimization and Operations Research is a component of Encyclopedia of Mathematical Sciences in the global Encyclopedia of Life Support Systems (EOLSS), which is an integrated compendium of twenty one Encyclopedias. The Theme on Optimization and Operations Research is organized into six different topics which represent the main scientific areas of the theme: 1. Fundamentals of Operations Research; 2. Advanced Deterministic Operations Research; 3. Optimization in Infinite Dimensions; 4. Game Theory; 5. Stochastic Operations Research; 6. Decision Analysis, which are then expanded into multiple subtopics, each as a chapter. These four volumes are aimed at the following five major target audiences: University and College students Educators, Professional Practitioners, Research Personnel and Policy Analysts, Managers, and Decision Makers and NGOs.

This volume contains a selection of papers referring to lectures presented at the symposium Operations Research 2006 held at the University of Karlsruhe. The symposium presented the state of the art in Operations Research and related areas in Economics, Mathematics, and Computer Science and demonstrated the broad applicability of its core themes, placing particular emphasis on Basel II, one of the most topical challenges of Operations Research.

Computer Science and Operations Research continue to have a synergistic relationship and this book - as a part of the Operations Research and Computer Science Interface Series - sits squarely in the center of the confluence of these two technical research communities. The research presented in the volume is evidence of the expanding frontiers of these two intersecting disciplines and provides researchers and practitioners with new work in the areas of logic programming, stochastic optimization, heuristic search and post-solution analysis for integer programs. The chapter topics span the spectrum of application level. Some of the chapters are highly applied and others represent work in which the application potential is only beginning. In addition, each chapter contains expository material and reviews of the literature designed to enhance the participation of the reader in this expanding interface.

Fuzzy sets were introduced by Zadeh (1965) as a means of representing and manipulating data that was not precise, but rather fuzzy. Fuzzy logic pro vides an inference morphology that enables approximate human reasoning capabilities to be applied to knowledge-based systems. The theory of fuzzy logic provides a mathematical strength to capture the uncertainties associ ated with human cognitive processes, such as thinking and reasoning. The conventional approaches to knowledge representation lack the means for rep resentating the meaning of fuzzy concepts. As a consequence, the approaches based on first order logic and classical probablity theory do not provide an appropriate conceptual framework for dealing with the representation of com monsense knowledge, since such knowledge is by its nature both lexically imprecise and noncategorical. The developement of fuzzy logic was motivated in large measure by the need for a conceptual framework which can address the issue of uncertainty and lexical imprecision. Some of the essential characteristics of fuzzy logic relate to the following [242]. • In fuzzy logic, exact reasoning is viewed as a limiting case of ap proximate reasoning. • In fuzzy logic, everything is a matter of degree. • In fuzzy logic, knowledge is interpreted a collection of elastic or, equivalently, fuzzy constraint on a collection of variables. • Inference is viewed as a process of propagation of elastic con straints. • Any logical system can be fuzzified. There are two main characteristics of fuzzy systems that give them better performance für specific applications.

Despite the seemingly close connections between mathematics and other scientific and engineering fields, practical explanations intelligible to those who are not primarily mathematicians are even more difficult to find. The Dictionary of Applied Mathematics for Engineers and Scientists fills that void. It contains authoritative yet accessible definitions of mathematical terms often encountered in other disciplines. There may be bigger dictionaries, more comprehensive dictionaries, and dictionaries that offer more detailed definitions, theorems, and proofs. But there is no other dictionary specifically designed and written for scientists and engineers whose understanding and ability to solve real-world problems work can depend upon the application of mathematics. Concise, comprehensible, and convenient, the Dictionary of Applied Mathematics for Engineers and Scientists is a practical lexicon that helps students and professionals alike use mathematical terminology correctly and fully understand the mathematical literature encountered in their fields.