PreliminaryThis book answers two central questions: firstly, is it at all possible to verify electronic equipment procured from untrusted vendors? Secondly, can I build trust into my products in such a way that I support verification by untrusting customers? In separate chapters the book takes readers through the state of the art in fields of comp...
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 brings together a range of ideas and theories to arrive at a deeper understanding of inequality in Latin America and its complex realities. To so, it addresses questions such as: What are the origins of inequality in Latin America? How can we create societies that are more equal in terms of income distribution, gender equality and opportu...
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...
In this book the cost and revenue overruns of Olympic Games from Sydney 2000 to PyeongChang 2018 from eight years before the Games to Games‐time are investigated to provide a base for future host cities. The authors evaluated the development of expenditure and revenues of the organizing committees to operate the event, and the investment of taxpa...
This book presents a 'state of the science' synthesis of knowledge on the biodiversity of Angola, based on sources in peer-reviewed journals, in books and where appropriate, unpublished official reports. The book identifies Angola as one of the most biologically diverse countries in Africa, but notes that its fauna, flora, habitats and th...
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...
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...
The Gulf of Mexico is an open and dynamic marine ecosystem rich in natural resources but heavily impacted by human activities, including agricultural, industrial, commercial and coastal development. Nutrients and pollutants from coastal communities and dozens of rivers flow into the Gulf, including material from the Mississippi River watershed, whi...
This book describes modern applications of computational human modeling with specific emphasis in the areas of neurology and neuroelectromagnetics, depression and cancer treatments, radio-frequency studies and wireless communications. Special consideration is also given to the use of human modeling to the computational assessment of relevant regula...
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...
Lone parenthood is an increasing reality in the 21st century, reinforced by the diffusion of divorce and separation. This volume provides a comprehensive portrait of lone parenthood at the beginning of the XXI century from a life course perspective. The contributions included in this volume examine the dynamics of lone parenthood in the life course...
This textbook, endorsed by the European Society for Blood and Marrow Transplantation (EBMT), provides adult and paediatric nurses with a full and informative guide covering all aspects of transplant nursing, from basic principles to advanced concepts. It takes the reader on a journey through the history of transplant nursing, including essential an...
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...
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 book is for scientists and experts who work on urban food policies. It provides a conceptual framework for understanding the urban food system sustainability and how it can be tackled by local governments. Written by a collective of researchers, this book describes the existing conceptual frameworks for an analysis of urban food policies, at ...
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 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 book presents a picture of the current energy challenges on the African continent (and the Sub-Saharan region in particular) and proposes pathways to an accelerated energy transition. Starting with an analysis of the status quo and the outlook for Africa's energy demand and energy access, it provides an account of the available resources,...
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 focuses on the Salween River, shared by China, Myanmar, and Thailand, that is increasingly at the heart of pressing regional development debates. The basin supports the livelihoods of over 10 million people, and within it there is great socio-economic, cultural and political diversity. The basin is witnessing intensifying dynamics of reso...
This book presents simple, robust pre-field screening protocols that allow plant breeders to screen for enhanced tolerance to heat stress in rice. Two critical heat-sensitive stages in the lifecycle of the rice crop are targeted – the seedling and flowering stages – with screening based on simple phenotypic responses. The protocols are based on...
This open access monograph provides sociological insight into governmental action on the administration of asylum in the European context. It offers an in-depth understanding of how decision-making officials encounter and respond to structural contradictions in the asylum procedure produced by diverging legal, political, and administrative objectiv...
The International Civic and Citizenship Education Study (ICCS) 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 21st century. ICCS 2016 is a continuation of a study initiated in 2009. This document outlines the framework and assessment design for the IC...
This book is the final compendium of case studies emanated from the 4-year COST Action IC1406 "High-Performance Modelling and Simulation for Big Data Applications" (cHiPSet). Funded by the European Commission from 2015, cHiPSet has created a sustainable reference network linking applied research in High Performance Computing (HPC) and Mod...
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...
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 ...