In this book methods from Operations Research and Game Theory are used to determine companies’ profit-maximizing strategies related to pricing and (cooperative) advertising. It considers different supply chain structures as well as various distributions of power, making it possible to analyze both inter-echelon and intra-echelon dependencies between the companies’ decisions. Additionally, a…
This book constitutes the refereed proceedings of the 16th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2015, held in Mumbai, India, in January 2015. The 24 revised full papers presented were carefully reviewed and selected from 53 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpr…
Respiratory function is a major determinant of the overall quality of health and well-being of an individual. This book runs the gamut of chapters devoted to chronic cough-related conditions in children and adults, health care quality and safety, environmental pollution health effects, efficiency of therapeutic approaches and a mutual dependence of respiratory and non-respiratory illnesses. An …
This book investigates several duality approaches for vector optimization problems, while also comparing them. Special attention is paid to duality for linear vector optimization problems, for which a vector dual that avoids the shortcomings of the classical ones is proposed. Moreover, the book addresses different efficiency concepts for vector optimization problems. Among the problems that app…
This book presents a greatly enlarged statistical framework compared to generalized linear models (GLMs) with which to approach regression modelling. Comprising of about half-a-dozen major classes of statistical models, and fortified with necessary infrastructure to make the models more fully operable, the framework allows analyses based on many semi-traditional applied statistics models to be …
This SpringerBrief analyzes varicocele from a novel approach, and provides the reader with a comprehensive view of its scientific and clinical significance. The Brief covers all the important aspects of varicocele related to infertility, from epidemiology to assisted reproduction techniques, contemplating pathophysiology, semen analysis, specialized sperm function tests, and clinical management…
This book presents papers surrounding the extensive discussions that took place from the ‘Variational Analysis and Aerospace Engineering’ workshop held at the Ettore Majorana Foundation and Centre for Scientific Culture in 2015. Contributions to this volume focus on advanced mathematical methods in aerospace engineering and industrial engineering such as computational fluid dynamics metho…
The last financial crisis revealed a gap between business practice and ethics. In Value Economics, Griffiths and Lucas examine some of the reasons for this ethical gap and discuss the resulting loss of confidence in the financial system. One of the reasons has been hazy or inadequate thinking about how we value economic enterprises. With the close link between the creation of value and business…
This book describes the methodology and accompanying technology for reducing the costs of validation of changes by introducing automatic techniques to analyze and test software increments. It builds a unified approach to efficient and reliable validation of changes and upgrades, and may be used as a research monograph and a reference book.
This book provides information on best practices and new thinking regarding the validation of alternative methods for toxicity testing. It covers the validation of experimental and computational methods and integrated approaches to testing and assessment. Validation strategies are discussed for methods employing the latest technologies such as tissue-on-a-chip systems, stem cells and transcript…