The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.
The tot...
This open-access book focuses on trends in educational inequality using twenty years of grade 8 student data collected from 13 education systems by the IEA's Trends in Mathematics and Science Study (TIMSS) between 1995 and 2015. While the overall positive association between family socioeconomic status (SES) and student achievement is well doc...
This free book presents the assessment framework for IEA's International Computer an Information Literacy Study (ICILS) 2018, which is designed to assess how well students are prepared for study, work and life in a digital world. The study measures international differences in students' computer and information literacy (CIL): their abili...
This revised, updated textbook presents a systems approach to the planning, management, and operation of water resources infrastructure in the environment. Previously published in 2005 by UNESCO and Deltares (Delft Hydraulics at the time), this new edition, written again with contributions from Jery R. Stedinger, Jozef P. M. Dijkman, and Monique T...
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 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 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 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 focuses on the concepts, tools and techniques needed to successfully model ever-changing time-series data. It emphasizes the need for general models to account for the complexities of the modern world and how these can be applied to a range of issues facing Earth, from modelling volcanic eruptions, carbon dioxide emissions and global temp...
Technical Systems-of-Systems (SoS) – in the form of networked, independent constituent computing systems temporarily collaborating to achieve a well-defined objective – form the backbone of most of today's infrastructure. The energy grid, most transportation systems, the global banking industry, the water-supply system, the military equipm...
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...
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...
This book offers something for everyone working with market segmentation: practical guidance for users of market segmentation solutions; organisational guidance on implementation issues; guidance for market researchers in charge of collecting suitable data; and guidance for data analysts with respect to the technical and statistical aspects of mark...
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...
This book presents the results from the second cycle of the IEA International Civic and Citizenship Education Study (ICCS 2016). Using data from 24 countries in Asia, Europe and Latin America, the study 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 2...
This book is an open access publication.Forest ecosystems in Central Europe are changing as a result of anthropogenic influences and changing climate conditions. As such, a large-scale monitoring programme was undertaken in order to understand the influence of site modification, deposition of air pollutants, and climate.
This book presents the sci...
This book provides insight on current patterns of migration in Switzerland, which fall along a continuum from long-term and permanent to more temporary and fluid. These patterns are shaped by the interplay of legal norms, economic drivers and societal factors. The various dimensions of this Migration-Mobility Nexus are investigated by means of new...
This book examines health trajectories and health transitions at different stages of the life course, including childhood, adulthood and later life. It provides findings that assess the role of biological and social transitions on health status over time.The essays examine a wide range of health issues, including the consequences of military servic...
This open access volume provides evidence-based knowledge on European solidarity and citizen responses in times of crisis. Does the crisis of European integration translate into a crisis of European solidarity, and if yes, what are the manifestations at the level of individual citizens? How strongly is solidarity rooted at the individual level, bot...
This book explores the collision between the sustainable energy transition and the Internet of Things (IoT). In that regard, this book's arrival is timely. Not only is the Internet of Things for energy applications, herein called the energy Internet of Things (eIoT), rapidly developing but also the transition towards sustainable energy to abat...
This book is based on selected presentations from Topic Study Group 21: Mathematical Applications and Modelling in the Teaching and Learning of Mathematics at the 13th International Congress on Mathematical Education (ICME 13), held in Hamburg, Germany on July 24–31, 2016. It contributes to the theory, research and teaching practice concerning th...
Machine learning techniques provide cost-effective alternatives to traditional methods for extracting underlying relationships between information and data and for predicting future events by processing existing information to train models. Efficient Learning Machines explores the major topics of machine learning, including knowledge discovery, cla...
The overarching aim of this book is to present self-contained theory and algorithms for investigation and prediction of electric demand peaks. A cross-section of popular demand forecasting algorithms from statistics, machine learning and mathematics is presented, followed by extreme value theory techniques with examples.In order to achieve carbon t...
Unannounced and unmarked, blocks turn up all over Ruby programs. Their use ranges from some of Ruby's most basic structures, such as loops, to some of its most sophisticated tricks. Similar to closures or lambdas in other languages, blocks enable some of Ruby's vaunted efficiency. Blocks even allow other people to write some of the code y...
Modeling and Simulation in Python is an introduction to physical modeling using a computational approach. It is organized in three parts:
- The first part presents discrete models, including a bikeshare system and world population growth.
- The second part introduces first-order systems, including models of infectious disease, thermal systems, an...
This book presents computer programming as a key method for solving mathematical problems. This second edition of the well-received book has been extensively revised: All code is now written in Python version 3.6 (no longer version 2.7). In addition, the two first chapters of the previous edition have been extended and split up into five new chapte...
This free book collects the major discussions in divorce research in Europe. It starts with an understanding of divorce trends. Why was divorce increasing so rapidly throughout the US and Europe and do we see signs of a turn? Do cohabitation breakups influence divorce trends or is there a renewed stability on the partner market?In terms of divorce...
Asia's recent demographic transitions and rural - urban structural transformations are extraordinary and involve complexities that require in-depth study.The chapters within this volume examine those complexities using a range of traditional and nontraditional measures - such as multidimensional poverty, gaps, and polarization - to arrive at t...
This volume offers insights from modeling relations between teacher quality, instructional quality and student outcomes in mathematics across countries. The relations explored take the educational context, such as school climate, into account. The International Association for the Evaluation of Educational Achievement's Trends in Mathematics a...
This open access book is based on "Spationomy – Spatial Exploration of Economic Data", an interdisciplinary and international project in the frame of ERASMUS+ funded by the European Union. The project aims to exchange interdisciplinary knowledge in the fields of economics and geomatics. For the newly introduced courses, interdisciplinar...
This book looks at the major policy challenges facing developing Asia and how the region sustains rapid economic growth to reduce multidimensional poverty through socially inclusive and environmentally sustainable measures. Asia is facing many challenges arising from population growth, rapid urbanization, provision of services, climate change and t...
The papers presented in this open access book address diverse challenges in decarbonizing energy systems, ranging from operational to investment planning problems, from market economics to technical and environmental considerations, from distribution grids to transmission grids, and from theoretical considerations to data provision concerns and app...