This book covers essential aspects of transmutation technologies, highlighting especially the advances in Japan. The accident at the Fukushima Daiichi Nuclear Power Plant (NPP) has caused us to focus attention on a large amount of spent nuclear fuels stored in NPPs. In addition, public anxiety regarding the treatment and disposal of high-level radi...
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 book is a must-read for students of and beginners in soil science. In a well-organized and easy-to-follow manner, it provides basic outlines of soil minerals, new methods and recent developments in the field, with a special focus on visual aids. The chapters on primary minerals, secondary minerals, non-crystalline inorganic constituents and ...
This book provides a holistic, interdisciplinary overview of offshore wind energy, and is a must-read for advanced researchers. Topics, from the design and analysis of future turbines, to the decommissioning of wind farms, are covered. The scope of the work ranges from analytical, numerical and experimental advancements in structural and fluid mech...
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...
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 book provides insight into what it takes to actively involve teachers in the curriculum design process. It examines different aspects of teacher involvement in collaborative curriculum design, with specific attention to its implications for sustainable curriculum innovation and teacher learning. Divided into six sections, the book starts out b...
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...
Designed as an easy-to-use, practical guide to tumors of the eye, lids, and orbit, this book comprehensively addresses surgical treatment and management of diseases related to ophthalmic oncology. Surgical Ophthalmic Oncology: A Collaborative Open Access Reference is an ideal reference for general ophthalmologists, surgeons, fellows and trainees ar...
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...
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 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 book illustrates a new type of formative intervention for in-service teacher training in entrepreneurship education. The book describes a Change Laboratory and shows how teachers and workshop assistants develop the idea of a multidisciplinary project entailing the design of a self-service and parking lot in a dismissed area close to the city c...
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 twelve unique studies on mediation from researchers in Denmark, Finland, Norway and Sweden, respectively. Each study highlights important aspects of mediation, including the role of children in family mediation, the evolution and ambivalent application of restorative justice in the Nordic countries, the confusion of roles in cour...
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...
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...
A Practical Guide to TPM 2.0: Using the Trusted Platform Module in the New Age of Security is a straight-forward primer for developers. It shows security and TPM concepts, demonstrating their use in real applications that the reader can try out.
Simply put, this book is designed to empower and excite the programming community to go out and do co...
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...
With this graduate-level primer, the principles of the standard model of particle physics receive a particular skillful, personal and enduring exposition by one of the great contributors to the field. In 2013 the late Prof. Altarelli wrote: The discovery of the Higgs boson and the non-observation of new particles or exotic phenomena have made a big...
This book examines the current thinking on five critical social and political areas in mathematics education. It focuses on material conditions in teaching and learning, and details features of social life and their influence on mathematics teaching, learning and achievement. Following an introduction, the first section addresses equitable access a...
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...
Intel Galileo and Intel Galileo Gen 2: API Features and Arduino Projects for Linux Programmers provides detailed information about Intel Galileo and Intel Galileo Gen 2 boards for all software developers interested in Arduino and the Linux platform. The book covers the new Arduino APIs and is an introduction for developers on natively using Linux.
...
This book offers an analytical presentation of how Europe has created its own version of collective actions. In the last three decades, Europe has seen a remarkable proliferation of collective action legislation, making class actions the most successful export product of the American legal scholarship. While its spread has been surrounded by distru...
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 contains a collection of rare geologic maps and figures made by Chinese geologists in the last century. Preserved in National Geological Archives of China, these artworks demonstrate the development and innovation of geological mapping technology in China in the past 100 years. The collections are highly scientific and artistic, with most...
This book describes the extensive contributions made toward the advancement of human assessment by scientists from one of the world's leading research institutions, Educational Testing Service. The book's four major sections detail research and development in measurement and statistics, education policy analysis and evaluation, scienti...
and reports on research carried out as part of the European Union co-funded C.O.N.T.A.C.T. project which targeted hate speech and hate crime across a number of EU member states. It showcases the bearing that discourse analytic research can have on our understanding of this phenomenon that is a growing global cause for concern. Although 'ha...
This book presents an Empirical Model of Global Climate developed by the authors and uses that model to show that global warming will likely remain below 2ºC, relative to preindustrial, throughout this century provided: a) both the unconditional and conditional Paris INDC commitments are followed; b) the emission reductions needed to achieve the P...
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 provides an extensive treatment of Hardy inequalities and closely related topics from the point of view of Folland and Stein's homogeneous (Lie) groups. The place where Hardy inequalities and homogeneous groups meet is a beautiful area of mathematics with links to many other subjects. While describing the general theory of Hardy, Rel...
There is wide agreement on the need to change the prevalent agricultural models, given their negative impacts and their incompatibility with current societal issues. Agroecological transition has been promoted as a potential solution to the ecological, social and economic problems generated by these models. It however involves a systemic, multi-sca...