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 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 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 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 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 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 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 brief introduces the basic principles of control theory in a concise self-study guide. It complements the classic texts by emphasizing the simple conceptual unity of the subject. A novice can quickly see how and why the different parts fit together. The concepts build slowly and naturally one after another, until the reader soon ha...
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 Brief presents new approaches and innovative challenges to address bringing technology into community-oriented policing efforts. "Community-oriented policing" is an approach that encourages police to develop and maintain personal relationships with citizens and community organizations. By developing these partnerships, the goal is to...
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 easy-to-read book introduces the basics of solving partial differential equations by means of finite difference methods. Unlike many of the traditional academic works on the topic, this book was written for practitioners. Accordingly, it especially addresses: the construction of finite difference schemes, formulation and implementation of algo...
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 book, published in the Soft and Biological Matter series, presents an introduction to selected research topics in the broad field of flowing matter, including the dynamics of fluids with a complex internal structure -from nematic fluids to soft glasses- as well as active matter and turbulent phenomena.Flowing matter is a subject at the crossro...
These Proceedings offer a selection of peer-reviewed research and survey papers by some of the foremost international researchers in the fields of finance, energy, stochastics and risk, who present their latest findings on topical problems. The papers cover the areas of stochastic modeling in energy and financial markets; risk management with envir...
This book demonstrates the application of simulation modelling and network analysis techniques in the field of Roman studies. It summarizes and discusses the results of a 5-year research project carried out by the editors that aimed to apply spatial dynamical modelling to reconstruct and understand the socio-economic development of the Dutch part o...
This book comprehensively covers the fundamentals of clinical data science, focusing on data collection, modelling and clinical applications. Topics covered in the first section on data collection include: data sources, data at scale (big data), data stewardship (FAIR data) and related privacy concerns. Aspects of predictive modelling using tec...
This book brings together research findings from a variety of disciplines in this integrated study of the migration of Ukrainian nationals to the EU. It contextualizes and historicizes this migration against the background of the series of crises experienced by Ukraine and the wider region over the last thirty or so years, from the dissolution of t...
Light and light based technologies have played an important role in transforming our lives via scientific contributions spanned over thousands of years. In this book we present a vast collection of articles on various aspects of light and its applications in the contemporary world at a popular or semi-popular level. These articles are written by th...
This book, inspired by the ICME 13 topic study group "Affect, beliefs and identity in mathematics education", presents the latest trends in research in the area. Following an introduction and a survey chapter providing a concise overview of the state-of-art in the field of mathematics-related affect, the book is divided into three main se...
This open access volume constitutes the refereed proceedings of the 27th biennial conference of the German Society for Computational Linguistics and Language Technology, GSCL 2017, held in Berlin, Germany, in September 2017, which focused on language technologies for the digital age. The 16 full papers and 10 short papers included in the proceeding...
This book focuses on the formation and later socio-spatial trajectories of large housing estates in the Baltic countries - Estonia, Latvia, and Lithuania. It also explores claims that a distinctly "westward-looking orientation" in their design produced housing estates that were superior in design to those produced elsewhere in the Soviet ...
This book bridges the gap between playing with robots in school and studying robotics at the upper undergraduate and graduate levels to prepare for careers in industry and research. Robotic algorithms are presented formally, but using only mathematics known by high-school and first-year college students, such as calculus, matrices and probability. ...
This book provides a systematic overview of experiences with Inquiry-Based Learning (IBL) and undergraduate research (UR) in German universities, covering both research universities (Universitäten) and universities of applied sciences (Fachhochschulen). Divided into three parts, the book starts with the principles and common practices of IBL/UR at...
In the light of growing political and religious fundamentalism, this book defends the idea of freedom as paramount for the attempt to find common ethical ground in the age of globality. The book sets out to examine as yet unexhausted ways to boost the resilience of the principle of liberalism. Critically reviewing the last 200 years of the philosop...
The average person can name more bird species than they think, but do we really know what a bird "species" is? This book takes up several fascinating aspects of bird life to elucidate this basic concept in biology. From genetic and physiological basics to the phenomena of bird song and bird migration, it analyzes various interactions of b...
This book explores how the body was investigated in the late nineteenth-century asylum in Britain. As more and more Victorian asylum doctors looked to the bodily fabric to reveal the 'truth' of mental disease, a whole host of techniques and technologies were brought to bear upon the patient's body. These practices encompassed the cli...
This book examines how the social sciences can be integrated into the praxis of engineering and science, presenting unique perspectives on the interplay between engineering and social science. Motivated by the report by the Commission on Humanities and Social Sciences of the American Association of Arts and Sciences, which emphasizes the importance...
This book provides an overview of current research on a variety of topics related to both large-scale and classroom assessment. First, the purposes, traditions and principles of assessment are considered, with particular attention to those common to all levels of assessment and those more connected with either classroom or large-scale assessment. A...
This topical survey focuses on research in tertiary mathematics education, a field that has experienced considerable growth over the last 10 years. Drawing on the most recent journal publications as well as the latest advances from recent high-quality conference proceedings, our review culls out the following five emergent areas of interest: mathem...