Page 37
Page 37
Unfoldings : A Partial-Order Approach to Model Checking
In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem by means of concurrency theory. They offer a gentle introduction to the basics of the method, and in particular they detail an unfolding-based algorithm for model checking concurrent systems against properties specified as formulas of linear temporal logic (LTL). Self-contained chapters cover transition systems and their products; unfolding products; search procedures for basic verification problems, such as reachability and livelocks; and model checking LTL.
Unfolding Social Constructionism
This book examines social constructionism as a metatheory of psychology. It does not consider constructionist accounts of psycho-social phenomena, but it does assess certain assumptions which are said to underpin those accounts, assumptions which are primarily semantic and epistemological.
Unemployment Insurance and Non-Standard Employment : Four European Countries in Comparison
The importance of non-standard employment forms has increased over the last decades. Janine Leschke addresses two important questions in this regard. First, do workers with part-time and temporary contracts face greater risks of becoming unemployed than those with regular contracts? Secondly, how far are they disadvantaged in terms of access to and level of unemployment benefits? The author compares the design of unemployment benefit systems in Denmark, Germany, Spain, and the United Kingdom. After discussing the development and role of non-standard employment in these countries, she examines the relevant features of unemployment insurance systems such as hours and earning thresholds and minimum contribution requirements. Her empirical analysis shows that non-standard workers are more likely to become unemployed or inactive and are disadvantaged in their entitlements to unemployment benefits.
Une politique mondiale pour Nourrir le monde = A global policy to feed the world
Hunger has not disappeared, and it could even spread if humanity does indeed reach nine billion people by mid-century. It is not certain that the world can feed itself. International experts negotiating within the framework of the WTO are convinced that the continued public support for agriculture in certain countries is the main current obstacle to the development of the poorest nations. The idea seems obvious, but that doesn't make it true. For it to be true, agricultural products would have to be produced and traded within sustainable systems.
Une introduction à la médecine traditionnelle chinoise ; Tome 1 : Le corps théorique = An introduction to traditional Chinese medicine ; Vol.1 : The theoretical body
Drawing directly from the primary sources, it illuminates the burgeoning of ideas within the medical community throughout its centuries of history, a development that might give the impression of a seemingly heterogeneous or even confused system of medicine. However, a patient study of the texts in light of the interpretations of the physicians reveals a different picture.
Undocumented Migrants and their Everyday Lives : The Case of Finland
Provides an overview of the everyday lives of undocumented migrants, thereby focusing on housing, employment, social networks, healthcare, migration trajectories as well as their use of the internet and social media.
Underwater Robots : Motion and Force Control of Vehicle-Manipulator Systems
Deals with the main control aspects in underwater manipulation tasks. The mathematical model with significant impact on the control strategy is discussed.
Understanding Willing Participants, Vol.2 : Milgram’s Obedience Experiments and the Holocaust
This volume one of this two-volume set introduces readers to a behind the scenes account showing how during Milgram’s unpublished pilot studies he step-by-step invented his official experimental procedure—how he gradually learnt to transform most ordinary people into willing inflictors of harm. The open access volume two then illustrates how certain innovators within the Nazi regime used the very same Milgram-like learning techniques that with increasing effectiveness gradually enabled them to also transform most ordinary people into increasingly capable executioners of other men, women, and children.
Understanding Values Work : Institutional Perspectives in Organizations and Leadership
At the core of institutional theories, ‘values’ is a central term and figures in most definitions; however it remains understudied and under-explored. The editors of this open access book identify a resurgence of interest in the values-construct which underpins discussions of identity, ‘ethos’ and the purpose/nature of public and civic welfare provision.
Understanding the Global Dimensions of Health
This book is an attempt to understand, explain and if possible act on the transformations....It is highly recommended as a welcome collection of level-headed analyses of the current confused transmutations in disease theory and health action" (Journal of Humanitarian Medicine, vol. IV, no. 4, October-December 2004). "With a free spirit, the authors examine the bioethical, socio-political and scientific aspects of health" (World Health Organization Quarterly News, October-December 2005).
Understanding the creeping crisis
This book explores a special species of trouble afflicting modern societies: creeping crises. These crises evolve over time, reveal themselves in different ways, and resist comprehensive responses despite periodic public attention. As a result, these crises continue to creep in front of our eyes. This book begins by defining the concept of a creeping crisis, showing how existing literature fails to properly define and explore this phenomenon and outlining the challenges such crises pose to practitioners. Drawing on ongoing research, this book presents a diverse set of case studies on: antimicrobial resistance, climate change-induced migration, energy extraction, big data, Covid-19, migration, foreign fighters, and cyberattacks
Understanding the Bigger Energy Picture : DESERTEC and Beyond
This book gives an overview of today’s energy problem in the context of a rising world population, climate change and the shortage of resources. It figures out systemic connections between energy, water and the carbon cycle of today’s economy and sketches a “natural”future energy scenario that is sustainable. Due to the complexity of the matter, this short book cannot be a complete compendium. The proposed solutions and no-goes are meant as a stimulus for further discussion.
Understanding Statistics and Experimental Design : How to Not Lie with Statistics
Provides the background needed to correctly use, interpret and understand statistics and statistical data in diverse settings. Part I makes key concepts in statistics readily clear. Parts I and II give an overview of the most common tests (t-test, ANOVA, correlations) and work out their statistical principles. Part III provides insight into meta-statistics (statistics of statistics) and demonstrates why experiments often do not replicate. Finally, the textbook shows how complex statistics can be avoided by using clever experimental design.
Understanding Solids : The Science of Materials
The newly Third Edition of Understanding Solids: The Science of Materials delivers a complete yet concise treatment of the basic properties and chemical and physical behaviors of solid materials. Following a completely revised opening set of chapters in which the basic properties of solids—including atomic structure, chemical bonding, crystallography, and phase relationships—are discussed, the book goes on to describe new developments in the areas of batteries and fuel cells, perovskite solar cells, lighting and displays, nanoparticles, whiskers, and sheets.
Understanding society and natural eesources : Forging new strands of integration across the social sciences
In this edited open access book leading scholars from different disciplinary backgrounds wrestle with social science integration opportunities and challenges. This book explores the growing concern of how best to achieve effective integration of the social science disciplines as a means for furthering natural resource social science and environmental problem solving. The chapters provide an overview of the history, vision, advances, examples, and methods that could lead to integration.
Understanding Sleep and Dreaming
Although sleep has been the subject of serious study for several decades, there has not been available an integrated, introductory text for more than ten years. Understanding Sleep and Dreaming fills this need with complete coverage of all aspects of sleep, dreaming, and sleep disorders, and is comprehensible as well as comprehensive. In accessible language, this text reviews the basic physiological mechanisms of sleep and the intertwined psychological ramifications. Most important, it is up-to-date, containing the latest information on the influence of orexin/hypocretin, nocturnal eating syndrome, the local cell theory of sleep, the effects of sleep deprivation, and the advantages of delaying school start times for teenagers.
Understanding Risks and Uncertainties in Energy and Climate Policy : Multidisciplinary Methods and Tools for a Low Carbon Society
This book analyzes and seeks to consolidate the use of robust quantitative tools and qualitative methods for the design and assessment of energy and climate policies. In particular, it examines energy and climate policy performance and associated risks, as well as public acceptance and portfolio analysis in climate policy, and presents methods for evaluating the costs and benefits of flexible policy implementation as well as new framings for business and market actors. In turn, it discusses the development of alternative policy pathways and the identification of optimal switching points, drawing on concrete examples to do so. Lastly, it discusses climate change mitigation policies’ implications for the agricultural, food, building, transportation, service and manufacturing sectors.
Understanding Programming Languages
This book is about describing the meaning of programming languages. While a compiler or an interpreter offers a form of formal description of a language, it is not something that can be used as a basis for reasoning about that language nor can it serve as a definition of a programming language itself since this must allow a range of implementations. By writing a formal semantics of a language a designer can yield a far shorter description and tease out, analyse and record design choices.Early in the book the author introduces a simple notation, a meta-language, used to record descriptions of the semantics of languages. In a practical approach, he considers dozens of issues that arise in current programming languages and the key techniques that must be mastered in order to write the required formal semantic descriptions. The book concludes with a discussion of the eight key challenges: delimiting a language (concrete representation), delimiting the abstract content of a language, recording semantics (deterministic languages), operational semantics (non-determinism), context dependency, modelling sharing, modelling concurrency, and modelling exits.
Understanding Planning Tasks : Domain Complexity and Heuristic Decomposition
Action planning has always played a central role in Artificial Intelligence. Given a description of the current situation, a description of possible actions and a description of the goals to be achieved, the task is to identify a sequence of actions, i.e., a plan that transforms the current situation into one that satisfies the goal description. The book contains an exhaustive analysis of the computational complexity of the benchmark problems that have been used in the past decade, namely the standard benchmark domains of the International Planning Competitions (IPC). At the same time, it contributes to the practice of solving planning tasks by presenting a powerful new approach to heuristic planning. The author also provides an in-depth analysis of so-called routing and transportation problems.
Understanding nutrition
presents the core information of an introductory nutrition course for majors, with active learning that prepares students for their future careers. An overarching goal of the text is to help readers learn to distinguish valid nutrition information from misinformation. In addition to providing accurate information, the text encourages readers to understand the connections between concepts, evaluate the pros and cons of an argument, detect inconsistencies and errors, solve problems, and identify the relevance of information.
