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...
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 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...
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 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 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...
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 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...
The IEA's 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 the second cycle of a study initiated in 2009.This report from ICCS focuses on data collected in the 15...
The book presents the results of an in-depth comparative study assessing the implementation of the EU Pharmacovigilance Directive in six EU Member States. By going beyond legal transposition and instead focusing on practical implementation, this study aims to close a gap in EU compliance research. Based on qualitative interviews with relevant actor...
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...
Governments have known since the 1960s that smoking results in irreversible health damage. This book examines why governments have done so little to combat this when they have been aware of the problem and its solutions for decades. What are the strategies and decisions that make a difference, given that policy environments are often not conducive ...
The objective of this report is to examine the extent to which countries in Latin America and the Caribbean participate in global value chains and what are the drivers of such participation. Production processes have been increasingly fragmented worldwide. For example, the production of the Boeing 787 Dreamliner involves 43 suppliers located in 13...
This book covers the latest in snow sport epidemiology, snow sport injuries and treatment, and biomechanical/mechanical engineering related to snow sports injuries (mechanisms of injury, injury prevention by equipment design, injury prevention by design of resort features, and more). It brings together a collection of papers from the International ...
Describes a new plan to improve the current election system under which every voter gains and no state loses its current Electoral College benefits, which has a chance to be introduced in the form of a constitutional amendment.
Provides explanations of why the National Popular Vote plan may violate the Equal Protection Clause from the Fourteenth A...
The editors present essential methods and tools to support a holistic approach to the challenge of system upgrades and innovation in the context of high-value products and services. The approach presented here is based on three main pillars: an adaptation mechanism based on a broad understanding of system dependencies; efficient use of system knowl...
This book presents the outcomes of the "Design for Future - Managed Software Evolution" priority program 1593, which was launched by the German Research Foundation ("Deutsche Forschungsgemeinschaft (DFG)") to develop new approaches to software engineering with a specific focus on long-lived software systems. The different lifecy...
This book is an original contribution to the knowledge on fishing and research associated with one of the most enigmatic fish of our seas: bluefin tuna, Thunnus thynnus (L.). Based on available evidence, it reconstructs the possible methods used to catch large spawners in the Strait of Gibraltar thousands of years ago and describes the much more re...
First IFIP International Cross-Domain Conference, IFIPIoT 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-19, 2018, Revised Selected Papers...
This ICME-13 Topical Survey provides a review of recent research into statistics education, with a focus on empirical research published in established educational journals and on the proceedings of important conferences on statistics education. It identifies and addresses six key research topics, namely: teachers' knowledge; teachers' ro...
This engaging free book discusses how a values and valuing perspective can facilitate a more effective mathematics pedagogical experience, and allows readers to explore multiple applications of the values perspective across different education systems. It also clearly shows that teaching mathematics involves not only reasoning and feelings, but als...
This monograph contributes to the scientific misconduct debate from an oblique perspective, by analysing seven novels devoted to this issue, namely: Arrowsmith by Sinclair Lewis (1925), The affair by C.P. Snow (1960), Cantor's Dilemma by Carl Djerassi (1989), Perlmann's Silence by Pascal Mercier (1995), Intuition by Allegra Goodman (2006...
This short open access book investigates the role of renewable energy in East Africa to provide policy-relevant inputs for the achievement of a cost-effective electrification process in the region. For each country, the authors review the current situation in the domestic power sector, adopt a GIS-based approach to plot renewable energy resources p...
This book examines the methodological complications of using complexity science concepts within the social science domain. The opening chapters take the reader on a tour through the development of simulation methodologies in the fields of artificial life and population biology, then demonstrates the growing popularity and relevance of these method...
This Open Access handbook published at the IAMG's 50th anniversary, presents a compilation of invited path-breaking research contributions by award-winning geoscientists who have been instrumental in shaping the IAMG. It contains 45 chapters that are categorized broadly into five parts (i) theory, (ii) general applications, (iii) exploration a...
The Tohoku University Graduate School of Dentistry first introduced the concept of "Interface Oral Health Science", designed to establish and maintain healthy oral cavities, which are home to a number of mixed systems. Included in those systems are: (1) host tissues such as teeth, mucosa, muscle and bone, (2) parasites and microorganis...
This is the first book to present field studies on the application of subject-oriented business process management (S-BPM). Each case presents a specific story and focuses on an essential modeling or implementation issue, and most end with implications or suggestions for further studies. Significant variables and success factors are identified that...