This book constitutes the refereed proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2001. The 36 revised full papers presented together with an invited contribution were carefully reviewed and selected from a total of 125 submissions. The papers are organized in sections on ...
Over the past decades, rapid developments in digital and sensing technologies, such as the Cloud, Web and Internet of Things, have dramatically changed the way we live and work. The digital transformation is revolutionizing our ability to monitor our planet and transforming the way we access, process and exploit Earth Observation data from satell...
The authors of this book advise the economies of the European Union to become more entrepreneurial in promoting innovation and economic growth. The authors propose a reform strategy with respect to several aspects to achieve this goal. Starting with the rule of law and the protection of property rights; the tax system; the authors deal with regulat...
This volume contains peer-reviewed papers from the Fourth World Landslide Forum organized by the International Consortium on Landslides (ICL), the Global Promotion Committee of the International Programme on Landslides (IPL), University of Ljubljana (UL) and Geological Survey of Slovenia in Ljubljana, Slovenia from May 29 to June 2, 2017. The compl...
This open access work presents selected results from the European research and innovation project IMPROVE which yielded novel data-based solutions to enhance machine reliability and efficiency in the fields of simulation and optimization, condition monitoring, alarm management, and quality prediction.
Prof. Dr. Oliver Niggemann is Professor for Ar...
The Internet of Things (IoT) is an emerging network superstructure that will connect physical resources and actual users. It will support an ecosystem of smart applications and services bringing hyper-connectivity to our society by using augmented and rich interfaces. Whereas in the beginning IoT referred to the advent of barcodes and Radio Freque...
Compartment syndrome is a complex physiologic process with significant potential harm, and though an important clinical problem, the basic science and research surrounding this entity remains poorly understood. This unique open access book fills the gap in the knowledge of compartment syndrome, re-evaluating the current state of the art on this con...
This book addresses a wide variety of events and technologies concerning the sago palm, ranging from its botanical characteristics, culture and use to social conditions in the places where it is grown, in order to provide a record of research findings and to benefit society. It discusses various subjects, including the sago palm and related species...
Interest in social innovation continues to rise, from governments setting up social innovation 'labs' to large corporations developing social innovation strategies. Yet theory lags behind practice, and this hampers our ability to understand social innovation and make the most of its potential. This collection brings together work by leadi...
This book offers comprehensive coverage on Ordered Fuzzy Numbers, providing readers with both the basic information and the necessary expertise to use them in a variety of real-world applications. The respective chapters, written by leading researchers, discuss the main techniques and applications, together with the advantages and shortcomings of t...
This book demystifies the models we use to simulate present and future climates, allowing readers to better understand how to use climate model results. In order to predict the future trajectory of the Earth's climate, climate-system simulation models are necessary. When and how do we trust climate model predictions? The book offers a framewor...
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 InfoSec Handbook offers the reader an organized layout of information that is easily read and understood. Allowing beginners to enter the field and understand the key concepts and ideas, while still keeping the experienced readers updated on topics and concepts.
It is intended mainly for beginners to the field of information security, writte...
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 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 British Nuclear Medicine Society celebrates its 50th Anniversary with this booklet, which reflects the research of many of the pioneers in the use of radionuclides for the diagnosis and therapy of human disease. Since 1949 there have been remarkable advances in radionuclide techniques and imaging equipment: from the first devices "home-mad...
Moral dilemmas are a pervasive feature of working life. Moral Reasoning at Work offers a fresh perspective on how to live with them using ethics and moral psychology research. It argues that decision-makers must go beyond compliance and traditional approaches to ethics to prepare for moral dilemmas.
The 2nd edition has been updated with a range of...
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...
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 summarizes presentations and discussions from the two-day international workshop held at UC Berkeley in March 2015, and derives questions to be addressed in multi-disciplinary research toward a new paradigm of nuclear safety. The consequences of the Fukushima Daiichi nuclear accident in March 2011 have fuelled the debate on nuclear safet...
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...
How can we design more sustainable industrial and urban systems that reduce environmental impacts while supporting a high quality of life for everyone? What progress has been made towards reducing resource use and waste, and what are the prospects for more resilient material-efficient economies? What are the environmental and social impacts of glob...
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 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 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...
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 ...
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...
Urban Heat Islands (UHIs) are a microclimatic phenomenon which manifests as a significant increase in the temperature of cities compared to their surrounding areas. Recently the phenomenon has been enforced by the tendency to climate change and in particular by extreme climate events. This book presents and analyzes the results of a project to deve...
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 bridges the disciplinary boundaries within the social sciences to explore the role of social institutions in shaping geographical contexts, and in creating new knowledge. It includes theorizations as well as original empirical case studies on the emergence, maintenance and change of institutions as well as on their constraining and enabli...
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...