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 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 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...
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 ...
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 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 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...
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...
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 ...
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 open access edited collection examines representations of human trafficking in media ranging from British and Serbian newspapers, British and Scandinavian crime novels, and a documentary series, and questions the extent to which these portrayals reflect the realities of trafficking. It tackles the problematic tendency to under-report particula...
This book brings together research findings and experiences from science, policy and practice to highlight and debate the importance of nature-based solutions to climate change adaptation in urban areas. Emphasis is given to the potential of nature-based approaches to create multiple-benefits for society.The expert contributions present recommendat...
This book presents a multitude of different, yet related, innovations in educational measurement and provides insight in their practical possibilities.The book not only addresses several improvements in the quality of educational measurement and innovations in (inter)national large scale assessments, but also several advances in psychometrics and i...
This survey book reviews four interrelated areas: (i) the relevance of heuristics in problem-solving approaches – why they are important and what research tells us about their use; (ii) the need to characterize and foster creative problem-solving approaches – what type of heuristics helps learners devise and practice creative solutions; (iii) t...
This open access thematic report identifies factors and conditions that can help schools and education systems promote tolerance in a globalized world. The IEA's International Civic and Citizenship Study (ICCS) is a comparative research program designed to investigate the ways in which young people are prepared to undertake their roles as citi...
This book bridges the disciplinary boundaries within the social sciences to explore the role of social institutions in shaping geographical contexts, and in creating new knowledge. It includes theorizations as well as original empirical case studies on the emergence, maintenance and change of institutions as well as on their constraining and enabli...
This book collects ten essays that look at intra-regional migration in the Southern Balkans from the late Ottoman period to the present. It examines forced as well as voluntary migrations and places these movements within their historical context, including ethnic cleansing, population exchanges, and demographic engineering in the service of nation...
This book aims to provide case studies and a general view of the main processes involved in the ecosystem shifts occurring in the high mountains, and to analyse the implications for nature conservation. Although case studies from the Pyrenees are preponderant, conclusions are aimed at any mountain range surrounded by highly populated lowland areas....
This thesis lays the groundwork for the automatic supervision of the laser incision process, which aims to complement surgeons' perception of the state of tissues and enhance their control over laser incisions. The research problem is formulated as the estimation of variables that are representative of the state of tissues during laser cutting...
This book illustrates a new type of formative intervention for in-service teacher training in entrepreneurship education. The book describes a Change Laboratory and shows how teachers and workshop assistants develop the idea of a multidisciplinary project entailing the design of a self-service and parking lot in a dismissed area close to the city c...
This book covers the main issues, challenges and techniques concerning the application of qualitative methodologies to the study of migration. It discusses theoretical, epistemological and empirical questions that must be considered before, during, and after undertaking qualitative research in migration studies. It also covers recent innovative dev...