This open access book examines the transition to sustainable energy systems in emerging cities. Experts from around the world present case studies from different countries and discuss efforts were needed for achieving the United Nations Sustainable Development Goals (SDGs). The authors look into the issue of environment vs. economics and discuss the question of whether the energy transition goa…
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…
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…
This book focuses on the way in which legal historians and legal scientists used the past to legitimize, challenge, explain and familiarize the socialist legal orders, which were backed by dictatorial governments. The volume studies legal historians and legal histories written in Eastern European countries during the socialist era after the Second World War. The book investigates whether the…