This book constitutes the proceedings of the 27th European Symposium on Programming, ESOP 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.
The 36 papers presented in this volume were carefully reviewed and selected from 114 submissions. The ...
This book asks why and how some of the developing countries have "emerged" under a set of similar global conditions, what led individual countries to choose the particular paths that led to their "emergence," and what challenges confront them. If we are to understand the nature of major risks and uncertainties in the world, we m...
This book provides comprehensive research findings related to the environmental monitoring of radiation, levels of radioactive nuclides in various environments, and dose estimation in residents after the Fukushima nuclear power plant accident caused severe environmental contamination with radioactive nuclides. At the beginning of the book, a techni...
This book summarizes results of longstanding research and scientific contributions from many projects and relevant working groups. It collects and evaluates wind and wave climate projections under changing climate having design needs and marine safety in focus. Potential impact of projected climate change in met-ocean conditions on ships and offsho...
This book is the first comprehensive guideline for the beryllium-7 (Be-7) technique that can be applied to evaluate short-term patterns and budgets of soil redistribution in agricultural landscapes. While covering the fundamental and basic concepts of the approach, this book distinguishes itself from other publications by offering step-by-step inst...
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 book describes the coming about and first results of the AiREAS "healthy city" cooperative in the city of Eindhoven and Province of North Brabant in the Netherlands. AiREAS is an initiative focused on the multidisciplinary co-creation of healthy cities using the core human value of human health and air quality as guiding principle fo...
This book provides an exhaustive picture of the role that annulment conflicts play in the EU multilevel system. Based on a rich dataset of annulment actions since the 1960s and a number of in-depth case studies, it explores the political dimension of annulment litigation, which has become an increasingly relevant judicial tool in the struggle over ...
Legal studies and consequently legal history focus on constitutional documents, believing in a nominalist autonomy of constitutional semantics.Reconsidering Constitutional Formation in the late 18th and 19th century, kept historic constitutions from being simply log-books for political experts through a functional approach to the interdependencies ...
This open access book provides innovative methods and original applications of sequence analysis (SA) and related methods for analysing longitudinal data describing life trajectories such as professional careers, family paths, the succession of health statuses, or the time use. The applications as well as the methodological contributions propo...
This book looks at the migration of Southern European EU citizens (from Portugal, Spain, Italy, Greece) who move to Northern European Member States (Belgium, France, Germany, United Kingdom) in response to the global economic crisis.Its objective is twofold. First, it identifies the scale and nature of this new Southern European emigration and exam...
This book provides answers to key open questions concerning competition policy in emerging economies, with a focus on South Eastern Europe. The contributions address two major issues. One is the design of competition policy and the national competition authorities that enforce it, including the topics of competition advocacy and state aid control; ...
This book constitutes the proceedings of the 20th International Conference on Agile Software Development, XP 2019, held in Montreal, QC, Canada, in May 2019.
XP is the premier agile software development conference combining research and practice. It is a hybrid forum where agile researchers, academics, practitioners, thought leaders, coaches, and...
This volume shares and discusses significant new trends and developments in research and practices related to various aspects of preparing prospective secondary mathematics teachers from 2005–2015. It provides both an overview of the current state-of-the-art and outstanding recent research reports from an international perspective. The authors co...
This edited volume contains the selected papers presented at the scientific board meeting of the German Cluster of Excellence on "Integrative Production Technology for High-Wage Countries", held in November 2014. The topical structure of the book is clustered in six sessions: Integrative Production Technology, Individualised Production, ...
Quantitative models are omnipresent - but often controversially discussed - in todays risk management practice. New regulations, innovative financial products, and advances in valuation techniques provide a continuous flow of challenging problems for financial engineers and risk managers alike. Designing a sound stochastic model requires findin...
At a time when contemporary challenges seem to many to be insurmountable, this book offers an optimistic view of the future and provides a road map for societies to get there. Drawing upon extensive research and many years as a thought leader in environmental and sustainability issues in Japan and internationally, Hiroshi Komiyama analyzes the most...
This book provides an overview of Felix Klein's ideas, highlighting developments in university teaching and school mathematics related to Klein's thoughts, stemming from the last century. It discusses the meaning, importance and the legacy of Klein's ideas today and in the future, within an international, global context. Presenting e...
This stimulating open access volume details the innovative work of the Pan Institution Network for Global Health in creating collaborative research-based answers to large-scale health issues. Equitable partnerships among member universities representing North America, Africa, Asia, and Europe reverse standard cross-national dynamics to develop loca...
This book investigates the nature of aesthetic experience and aesthetic objects. Written by leading philosophers, psychologists, literary scholars and semioticians, the book addresses two intertwined issues. The first is related to the phenomenology of aesthetic experience: The understanding of how human beings respond to artworks, how we process l...
This book builds on the European Union's (EU) Horizon 2020 project 'Financial and Institutional Reforms for an Entrepreneurial Society' (FIRES). The authors outline how Europe can move towards more inclusive, innovative and sustainable growth through reforms that will rekindle its entrepreneurial spirit. Based on decades of research ...
This book constitutes the refereed proceedings of the 13th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2017, held in Buenos Aires, Argentina, in May 2017.
The 16 revised full papers and 3 short papers presented were carefully reviewed and selected from 32 submissions. The papers cover a wide range of topics related to free, l...
This book brings together narratives of inbound and outbound expatriate entrepreneurship in Japan to provide a comprehensive overview of international entrepreneurship in the region. Through in-depth interviews with expatriate entrepreneurs, policymakers, and additional stakeholders it provides the reader with a solid understanding of the current l...
This book addresses the issue of how a country, which was incorporated into the world economy as a periphery, could make a transition to the emerging state, capable of undertaking the task of economic development and industrialization. It offers historical and contemporary case studies of transition, as well as the international background under wh...
This book examines the kinds of transitions that have been studied in mathematics education research. It defines transition as a process of change, and describes learning in an educational context as a transition process. The book focuses on research in the area of mathematics education, and starts out with a literature review, describing the epist...
This work contains updated and clinically relevant information about tuberculosis. It is aimed at providing a succinct overview of history and disease epidemiology, clinical presentation and the most recent scientific developments in the field of tuberculosis research, with an emphasis on diagnosis and treatment. It may serve as a practical resour...
This book presents a person-centered exploration of student profiles, using variables related to motivation to do school mathematics derived from the IEA's Trends in International Mathematics and Science Study (TIMSS) data. Statistical cluster analysis is used to identify groups of students with similar motivational profiles, across grades and...
This free book was prepared as a Final Publication of the COST Action IC1304 "Autonomous Control for a Reliable Internet of Services (ACROSS)". The book contains 14 chapters and constitutes a show-case of the main outcome of the Action in line with its scientific goals. It will serve as a valuable reference for undergraduate and post-grad...
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...
This book is the final publication of the COST Action IC1303 "Algorithms, Architectures and Platforms for Enhanced Living Environments (AAPELE)" project.Ambient Assisted Living (AAL) is an area of research based on Information and Communication Technologies (ICT), medical research, and sociological research. AAL is based on the notion tha...
This free book represents one of the key milestones of DESIGNSCAPES, an H2020 CSA (Coordination and Support Action) research project funded by the European Commission under the Call "User-driven innovation: value creation through design-enabled innovation". The book demonstrates that adopting design allows us to embed innovation within th...