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...
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 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...
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...
This proceedings is a collection of 46 selected papers that were presented at the 12th International Wheat Genetics Symposium (IWGS). Since the launch of the wheat genome sequencing project in 2005, the arrival of draft genome sequences has marked a new era in wheat genetics and genomics, catalyzing rapid advancement in the field. This book provide...
This edited volume presents a comprehensive and coherent interdisciplinary analysis of challenges and possibilities for sustainable governance of the Baltic Sea ecosystem by combining knowledge and approaches from natural and social sciences. Focusing on the Ecosystem Approach to Management (EAM) and associated multi-level, multi-sector and multi-a...
This book analyses the strategies of migration intermediaries from the public and private sectors in Switzerland to select, attract, and retain highly skilled migrants who represent value to them. It reveals how state and economic actors define "wanted immigrants" and provide them with privileged access to the Swiss territory and labour m...
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 aims to provide case studies and a general view of the main processes involved in the ecosystem shifts occurring in the high mountains, and to analyse the implications for nature conservation. Although case studies from the Pyrenees are preponderant, conclusions are aimed at any mountain range surrounded by highly populated lowland areas....
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 highly informative book provides precisely analysed situations highlighting migration's crucial role for emancipatory change and hence socio-political innovation. A so far hidden perspective is being made visible and contributes a highly compelling piece for rewriting Switzerland's history."—Julia Nentwich, Research Inst...
This book is an original contribution to the knowledge on fishing and research associated with one of the most enigmatic fish of our seas: bluefin tuna, Thunnus thynnus (L.). Based on available evidence, it reconstructs the possible methods used to catch large spawners in the Strait of Gibraltar thousands of years ago and describes the much more re...
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...
First IFIP International Cross-Domain Conference, IFIPIoT 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-19, 2018, Revised Selected Papers...
This book addresses the practice of social innovation, which is currently very much in the public eye. New ideas and approaches are needed to tackle the severe and wicked problems with which contemporary societies are struggling. Especially in times of economic crisis, social innovation is regarded as one of the crucial elements needed to move forw...
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...
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...
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 summarizes work being undertaken within the collaborative MODAClouds research project, which aims to facilitate interoperability between heterogeneous Cloud platforms and remove the constraints of deployment, portability, and reversibility for end users of Cloud services. Experts involved in the project provide a clear overview of the MOD...
This book describes and explains the educational method of Case-Based Clinical Reasoning (CBCR) used successfully in medical schools to prepare students to think like doctors before they enter the clinical arena and become engaged in patient care. Although this approach poses the paradoxical problem of a lack of clinical experience that is so essen...
This edited volume is concerned with the evolution and achievements of cooperation in research and innovation between Africa and Europe, and points to the need for more diversified funding and finance mechanisms, and for novel models of collaboration to attract new actors and innovative ideas. It reflects on the political, economic, diplomatic and ...
This book brings out the state of the art on how informatics-based tools are used and expected to be used in nanomaterials research. There has been great progress in the area in which "big-data" generated by experiments or computations are fully utilized to accelerate discovery of new materials, key factors, and design rules. Data-intensi...
This book surveys the frontier of scientific river research and provides examples to guide management towards a sustainable future of riverine ecosystems. Principal structures and functions of the biogeosphere of rivers are explained; key threats are identified, and effective solutions for restoration and mitigation are provided. Rivers are among ...
This book deals with imaging of the abdomen and pelvis, an area that has seen considerable advances over the past several years, driven by clinical as well as technological developments. The respective chapters, written by internationally respected experts in their fields, focus on imaging diagnosis and interventional therapies in abdominal and pel...
This book breaks new ground by situating animals and their diseases at the very heart of modern medicine. In demonstrating their historical significance as subjects and shapers of medicine, it offers important insights into past animal lives, and reveals that what we think of as 'human' medicine was in fact deeply zoological.Each chapter ...
This open access, interdisciplinary book presents innovative strategies in the use of civil drones in the cultural and creative industry. Specially aimed at small and medium-sized enterprises (SMEs), the book offers valuable insights from the fields of marketing, engineering, arts and management. With contributions from experts representing varied ...
This volume starts with an elementary introduction covering stem cell methodologies used to produce specific types of neurons, possibilities for their therapeutic use, and warnings of technical problems. In addition the authors report successes in achieving the derivation of a specific type of neuron. The dopamine neuron offers an important example...
The book presents the Proceedings of the 13th International Congress on Mathematical Education (ICME-13) and is based on the presentations given at the 13th International Congress on Mathematical Education (ICME-13). ICME-13 took place from 24th- 31st July 2016 at the University of Hamburg in Hamburg (Germany). The congress was hosted by the Societ...