The book set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organ...
The Gulf of Mexico is an open and dynamic marine ecosystem rich in natural resources but heavily impacted by human activities, including agricultural, industrial, commercial and coastal development. Nutrients and pollutants from coastal communities and dozens of rivers flow into the Gulf, including material from the Mississippi River watershed, whi...
This book describes modern applications of computational human modeling with specific emphasis in the areas of neurology and neuroelectromagnetics, depression and cancer treatments, radio-frequency studies and wireless communications. Special consideration is also given to the use of human modeling to the computational assessment of relevant regula...
This book presents computer programming as a key method for solving mathematical problems. There are two versions of the book, one for MATLAB and one for Python. The book was inspired by the Springer book TCSE 6: A Primer on Scientific Programming with Python (by Langtangen), but the style is more accessible and concise, in keeping with the needs o...
Lone parenthood is an increasing reality in the 21st century, reinforced by the diffusion of divorce and separation. This volume provides a comprehensive portrait of lone parenthood at the beginning of the XXI century from a life course perspective. The contributions included in this volume examine the dynamics of lone parenthood in the life course...
This textbook, endorsed by the European Society for Blood and Marrow Transplantation (EBMT), provides adult and paediatric nurses with a full and informative guide covering all aspects of transplant nursing, from basic principles to advanced concepts. It takes the reader on a journey through the history of transplant nursing, including essential an...
This book aims to inspire decision makers and practitioners to change their approach to climate planning in the tropics through the application of modern technologies for characterizing local climate and tracking vulnerability and risk, and using decision-making tools. Drawing on 16 case studies conducted mainly in the Caribbean, Central America, W...
At present, how to develop industries is a burning issue in Africa, where population growth remains high and economic development has thus far failed to provide sufficient jobs for many, especially young people and women. The creation of productive jobs through industrial development ought to be a central issue in steering economic activity across ...
This book is for scientists and experts who work on urban food policies. It provides a conceptual framework for understanding the urban food system sustainability and how it can be tackled by local governments. Written by a collective of researchers, this book describes the existing conceptual frameworks for an analysis of urban food policies, at ...
Designed as an easy-to-use, practical guide to tumors of the eye, lids, and orbit, this book comprehensively addresses surgical treatment and management of diseases related to ophthalmic oncology. Surgical Ophthalmic Oncology: A Collaborative Open Access Reference is an ideal reference for general ophthalmologists, surgeons, fellows and trainees ar...
This book constitutes the proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The 31 papers presented in this volume were ca...
This book presents a picture of the current energy challenges on the African continent (and the Sub-Saharan region in particular) and proposes pathways to an accelerated energy transition. Starting with an analysis of the status quo and the outlook for Africa's energy demand and energy access, it provides an account of the available resources,...
This open access volume explores how UN peace operations are adapting to four trends in the changing global order: (1) the rebalancing of relations between states of the global North and the global South; (2) the rise of regional organisations as providers of peace; (3) the rise of violent extremism and fundamentalist non-state actors; and (4) incr...
This book focuses on the Salween River, shared by China, Myanmar, and Thailand, that is increasingly at the heart of pressing regional development debates. The basin supports the livelihoods of over 10 million people, and within it there is great socio-economic, cultural and political diversity. The basin is witnessing intensifying dynamics of reso...
This book presents simple, robust pre-field screening protocols that allow plant breeders to screen for enhanced tolerance to heat stress in rice. Two critical heat-sensitive stages in the lifecycle of the rice crop are targeted – the seedling and flowering stages – with screening based on simple phenotypic responses. The protocols are based on...
This open access monograph provides sociological insight into governmental action on the administration of asylum in the European context. It offers an in-depth understanding of how decision-making officials encounter and respond to structural contradictions in the asylum procedure produced by diverging legal, political, and administrative objectiv...
The International Civic and Citizenship Education Study (ICCS) investigates the ways in which young people are prepared to undertake their roles as citizens in a range of countries in the second decade of the 21st century. ICCS 2016 is a continuation of a study initiated in 2009. This document outlines the framework and assessment design for the IC...
This book is the final compendium of case studies emanated from the 4-year COST Action IC1406 "High-Performance Modelling and Simulation for Big Data Applications" (cHiPSet). Funded by the European Commission from 2015, cHiPSet has created a sustainable reference network linking applied research in High Performance Computing (HPC) and Mod...
This book shares revealing insights into the development of mathematics education research in Germany from 1976 (ICME 3 in Karlsruhe) to 2016 (ICME 13 in Hamburg). How did mathematics education research evolve in the course of these four decades? Which ideas and people were most influential, and how did German research interact with the internation...
This book is a modern guide for all C++ programmers to learn Threading Building Blocks (TBB). Written by TBB and parallel programming experts, this book reflects their collective decades of experience in developing and teaching parallel programming with TBB, offering their insights in an approachable manner. Throughout the book the authors present ...
This proceedings is a collection of 46 selected papers that were presented at the 12th International Wheat Genetics Symposium (IWGS). Since the launch of the wheat genome sequencing project in 2005, the arrival of draft genome sequences has marked a new era in wheat genetics and genomics, catalyzing rapid advancement in the field. This book provide...
Beginning with an overview of data and concepts developed in the EU-project HABIT-CHANGE, this book addresses the need for sharing knowledge and experience in the field of biodiversity conservation and climate change. There is an urgent need to build capacity in protected areas to monitor, assess, manage and report the effects of climate change and...
This open access volume examines experiences of contemporary Latvian migrants, thereby focusing on reasons for emigration, processes of integration in their host countries, and – in the case of return migration - re-integration in their home country. In the context of European migration, the book describes the case of Latvia, which is interesting...
This edited volume presents a comprehensive and coherent interdisciplinary analysis of challenges and possibilities for sustainable governance of the Baltic Sea ecosystem by combining knowledge and approaches from natural and social sciences. Focusing on the Ecosystem Approach to Management (EAM) and associated multi-level, multi-sector and multi-a...
The book provides a critical and constructive assessment of the many contributions to social science and politics made by Professor R. J. Rummel. Rummel was a prolific writer and an important teacher and mentor to a number of people who in turn have made their mark on the profession. His work has always been controversial. But after the end of the ...
Why should people - and economies - save? This book on the savings problem in Latin America and the Caribbean suggests that, while saving to survive the bad times is important, saving to thrive in the good times is what really counts. People must save to invest in health and education, live productive and fulfilling lives, and make the most of thei...
This volume describes phase 3 of the AiREAS multidisciplinary cocreation effort to produce a Healthy City. Phase 1 referred to making visible the invisible from an air quality and human exposure perspective. Phase 2 studies air quality related to health and Phase 3 looks at air quality, health and lifestyle from the perspective of persuasion to inn...
This book analyses the strategies of migration intermediaries from the public and private sectors in Switzerland to select, attract, and retain highly skilled migrants who represent value to them. It reveals how state and economic actors define "wanted immigrants" and provide them with privileged access to the Swiss territory and labour m...
This book presents a consistent development of the Kohn-Nirenberg type global quantization theory in the setting of graded nilpotent Lie groups in terms of their representations. It contains a detailed exposition of related background topics on homogeneous Lie groups, nilpotent Lie groups, and the analysis of Rockland operators on graded Lie groups...
This engaging volume celebrates the life and work of Theodor Holm "Ted" Nelson, a pioneer and legendary figure from the history of early computing. Presenting contributions from world-renowned computer scientists and figures from the media industry, the book delves into hypertext, the docuverse, Xanadu, and other products of Ted Nelson...
This book is the first to examine disasters from a multidisciplinary perspective. Justification of actions in the face of disasters requires recourse both to conceptual analysis and ethical traditions. Part 1 of the book contains chapters on how disasters are conceptualized in different academic disciplines relevant to disasters. Part 2 has chapter...
This book draws on a broad study on violence against men, from both male and female partners in Norway, to contribute to the research on intimate partner violence. It identifies similarities in men's experiences and backgrounds, including in their perceptions of their own victimisation. Marianne Inez Lien and Jørgen Lorentzen argue that the t...