This book is a volume in honor of Zvi Drezner’s 75th birthday. Professor Drezner is a leading scholar in location science. He received his BSc degree in Mathematics in 1965 and his PhD. in Computer Science ten years later, both from the Technion in Haifa, Israel. Since 1978 he has published in excess of 300 papers in refereed journals and books. He has received many honors, among them the University Outstanding Professor in 2005-6, the Outstanding Research Award (both from Cal State-Fullerton), the Location Analysis Lifetime Achievement Award from the Society for Location Analysis, and was named a Lifetime Fellow in INFORMS.Zvi has worked in a variety of fields, but most prominently in continuous location models. His main contributions include a 1982 paper on competitive location analysis, which was the first contribution to formally use the von Stackelberg “leader-follower” concept in the plane, contributions in 1989 (along with many others) on the Weber problem, and work with Oded Berman on the p-median under uncertainty in 2008. He has also enriched the literature by many contributions that devise genetic algorithms and tabu search techniques (both heuristic algorithms), as well as global optimization techniques, such as the “big-triangle-small-triangle” method, applied to location problems.The chapters of the book have been chosen to provide readers with a large variety of topics in the field of location science, which normally are available only in many different specialist journals. In addition to easily approachable surveys, the contributions, written by the top specialists in the field, present the latest results as well.

Air-flow characteristics behind wings and wing-body combinations are described and are related to the downwash at specific tail locations for unseparated and separated flow conditions. The effects of various parameters and control devices on the air-flow characteristics and tail contribution are analyzed and demonstrated. An attempt has been made to summarize certain data in a form useful for design. The experimental data herein were obtained mostly at Reynolds numbers greater than 4 x 105 and at Mach numbers less than 0.25.

The book covers both theory and applications of locational analysis (LocAn). The reader will see the power of LocAn models in various real-world contexts, varying from communication design to robotics and mail delivery. It is divided into two parts. The first part contains an overview of some of the LocAn methodologies. The second part describes in thorough detail some selected applications. The text provides researchers with an excellent and well thought-out review of available location models.

Employing state-of-the art quantitative models and case studies, Location Theory and Decision Analysis provides the methodologies behind the siting of such facilities as transportation terminals, warehouses, housing, landfills, state parks and industrial plants. Through its extensive methodological review, the book serves as a primer for more advanced texts on spatial analysis, including the monograph on Location, Transport and Land-Use by the same author. Given the rapid changes over the last decade, the Second Edition includes new analytic contributions as well as software survey of analytics and spatial information technology. While the First Edition served the professional community well, the Second Edition has substantially expanded its emphasis for classroom use of the volume. Extensive pedagogic materials have been added, going from the fundamental principles to open-ended exercises, including solutions to selected problems. The text is of value to engineering and business programs that offer courses in Decision and Risk Analysis, Muticriteria Decision-Making, and Facility Location and Layout. It should also be of interest to public policy programs that use geographic Information Systems and satellite imagery to support their analyses.

Location analysis has matured from an area of theoretical inquiry that was designed to explain observed phenomena to a vibrant field which can be and has been used to locate items as diverse as landfills, fast food outlets, gas stations, as well as politicians and products in issue and feature spaces. Modern location science is dealt with by a diverse group of researchers and practitioners in geography, economics, operations research, industrial engineering, and computer science. Given the tremendous advances location science has seen from its humble beginnings, it is time to look back. The contributions in this volume were written by eminent experts in the field, each surveying the original contributions that created the field, and then providing an up-to-date review of the latest contributions. Specific areas that are covered in this volume include: • The three main fields of inquiry: minisum and minimax problems and covering models • Nonstandard location models, including those with competitive components, models that locate undesirable facilities, models with probabilistic features, and problems that allow interactions between facilities • Descriptions and detailed examinations of exact techniques including the famed Weiszfeld method, and heuristic methods ranging from Lagrangean techniques to Greedy algorithms • A look at the spheres of influence that the facilities generate and that attract customers to them, a topic crucial in planning retail facilities • The theory of central places, which, other than in mathematical games, where location science was born

This book continues from where the authors' previous book, Structural Proof Theory, ended. It presents an extension of the methods of analysis of proofs in pure logic to elementary axiomatic systems and to what is known as philosophical logic. A self-contained brief introduction to the proof theory of pure logic is included that serves both the mathematically and philosophically oriented reader. The method is built up gradually, with examples drawn from theories of order, lattice theory and elementary geometry. The aim is, in each of the examples, to help the reader grasp the combinatorial behaviour of an axiom system, which typically leads to decidability results. The last part presents, as an application and extension of all that precedes it, a proof-theoretical approach to the Kripke semantics of modal and related logics, with a great number of new results, providing essential reading for mathematical and philosophical logicians.