This ICME-13 Topical Survey reviews the state-of-the-art by first exploring the roots and scope of design science. Second, it presents two examples of current design science projects that focus on substantial learning environments including a student and a teacher perspective. Subsequently, the book elaborates on how empirical research can be conce...
This book presents detailed pathways to achieve 100% renewable energy by 2050, globally and across ten geographical regions. Based on state-of-the-art scenario modelling, it provides the vital missing link between renewable energy targets and the measures needed to achieve them. Bringing together the latest research in climate science, renewable en...
This book provides a compendium of material properties, demonstrates several successful examples of bio-based materials' application in building facades, and offers ideas for new designs and novel solutions. It features a state-of-the-art review, addresses the latest trends in material selection, assembling systems, and innovative functions of...
This book is the first major publication on the topic of "Interdisciplinary Mathematics Education" and arose from the work of the first International Topic Study Group of the same name at the ICME-13 conference in Hamburg in 2016. It offers extensive theoretical insights, empirical research, and practitioner accounts of interdisciplinary ...
This book is a must-have for anyone serious about rendering in real time. With the announcement of new ray tracing APIs and hardware to support them, developers can easily create real-time applications with ray tracing as a core component. As ray tracing on the GPU becomes faster, it will play a more central role in real-time rendering. Ray Tracing...
This book presents recent advances in the pure sciences that are of significance in the quest for alternatives to the use of animals in research and describes a variety of practical applications of the three key guiding principles for the more ethical use of animals in experiments – replacement, reduction, and refinement, collectively known as th...
The book uses an economic lens to identify the main features of climate-smart agriculture (CSA), its likely impact, and the challenges associated with its implementation. Drawing upon theory and concepts from agricultural development, institutional, and resource economics, this book expands and formalizes the conceptual foundations of CSA. Focusing...
The objective of this book is to broadly illustrate the key aspects of water governance, mapping the spectrum of decision-making from techno-centric and eco-centric approaches, to hybrid concepts and people-centric approaches. Topics covered include the challenges for water-governance models, the polycentric model, the integration challenge, water ...
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 analyzes and seeks to consolidate the use of robust quantitative tools and qualitative methods for the design and assessment of energy and climate policies. In particular, it examines energy and climate policy performance and associated risks, as well as public acceptance and portfolio analysis in climate policy, and presents methods for ...
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...
Higher education has thrived in Europe for the last three decades supported by the powerful policy narratives of the European construction and knowledge society. The two together called for better-integrated societies with higher economic competitiveness, superior employment, and social cohesion. Extraordinary developments in higher education durin...
This book addresses the challenge of analyzing and understanding the evolutionary dynamics of complex biological systems at the genomic level, and elaborates on some promising strategies that would bring us closer to uncovering of the vital relationships between genotype and phenotype. After a few educational primers, the book continues with sectio...
Intel Xeon Phi Coprocessor Architecture and Tools: The Guide for Application Developers provides developers a comprehensive introduction and in-depth look at the Intel Xeon Phi coprocessor architecture and the corresponding parallel data structure tools and algorithms used in the various technical computing applications for which it is suitable. It...
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...
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 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...
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 open access volume explores how UN peace operations are adapting to four trends in the changing global order: (1) the rebalancing of relations between states of the global North and the global South; (2) the rise of regional organisations as providers of peace; (3) the rise of violent extremism and fundamentalist non-state actors; and (4) incr...
This book is a modern guide for all C++ programmers to learn Threading Building Blocks (TBB). Written by TBB and parallel programming experts, this book reflects their collective decades of experience in developing and teaching parallel programming with TBB, offering their insights in an approachable manner. Throughout the book the authors present ...
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 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 book presents the findings of a team of scientists and practitioners who have been working on the project "Benefits of Governance in Drought Adaptation" (in short: the DROP project), which is included in the European Union's INTERREG IVB NWE programme. The DROP governance team developed a Governance Assessment Tool (GAT), which ...
Phylogenetic diversity is now a key concept for biodiversity conservation due to its link to option value, evolutionary potential and to the possibility of guiding conservation across scales. Present facilities for obtaining molecular sequences and metagenomes are powering this research field, rendering available detailed information of phylogeneti...
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, inspired by the ICME 13 Thematic Afternoon on "European Didactic Traditions", takes readers on a journey with mathematics education researchers, developers and educators in eighteen countries, who reflect on their experiences with Realistic Mathematics Education (RME), the domain-specific instruction theory for mathematics educ...
This book deals with contestations "from below" of legal policies and implementation practices in asylum and deportation. Consequently, it covers three types of mobilization: solidarity protests against the deportation of refused asylum seekers, refugee activism campaigning for residence rights and inclusion, and restrictive protests agai...
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 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...
For cloud users and providers alike, security is an everyday concern, yet there are very few books covering cloud security as a main subject. This book will help address this information gap from an Information Technology solution and usage-centric view of cloud infrastructure security. The book highlights the fundamental technology components nece...
This book provides methods for the estimation of Biomass Water Equivalent (BEW), an essential step for improving the accuracy of area-wide soil moisture by cosmic-ray neutron sensors (CRNS). Three techniques are explained in detail: (i) traditional in-situ destructive sampling, (ii) satellite based remote sensing of plant surfaces, and (iii) biom...