This work introduces a new specification and verification approach for dynamic systems. The introduced approach is able to provide type II error free results by definition, i.e. there are no hidden faults in the verification result. The approach is based on Kaucher interval arithmetic to enclose the measurement in a bounded error sense. The develop...
'This is an exciting, groundbreaking book. With an astonishing array of examples and a brilliant eye for the essential, Øyvind Kvalnes takes the Socratic motto of knowing yourself to our everyday lives in the workplace. Applied philosophy at its best, the book will affect the way you do your work and live your life.'—Professor Esa Saar...
This book is an essential guide to the medical treatment of thrombosis and presents core principles of anticoagulant therapeutics as well as drug recommendations. Written by recognized experts in the field, this concise, accessible handbook provides a unique and valuable resource in the cardiovascular field, both for those currently in training, an...
This book overviews environmental issues 4 years after the Fukushima nuclear accident, covering a wide range of areas related to radiation and radioactivity. The topics discussed are necessary to make clear the relationship between the results of research and Fukushima's revitalized future. The chapters are divided into four parts: Part 1 pres...
This book discusses the risks and opportunities that arise in Emerging Asia given the context of a new environment in global liquidity and capital flows. It elaborates on the need to ensure financial and overall economic stability in the region through improved financial regulation and other policy measures to minimize the emergent risks. "Man...
This quick-reference handbook offers a concise and practical review of key aspects of the treatment of ST-segment elevation myocardial infarction (STEMI) in the era of primary percutaneous coronary intervention (PPCI). In the context of STEMI, PPCI is the preferred mode of emergency revascularization. Access to PPCI is rapidly increasing and is now...
This book constitutes the proceedings of the 19th International Conference on Agile Software Development, XP 2018, held in Porto, Portugal, in May 2018.
XP is the premier agile software development conference combining research and practice, and XP 2018 provided a playful and informal environment to learn and trigger discussions around its main th...
This book constitutes the proceedings of the 18th International Conference on Agile Software Development, XP 2017, held in Cologne, Germany, in May 2017.
The 14 full and 6 short papers presented in this volume were carefully reviewed and selected from 46 submissions. They were organized in topical sections named: improving agile processes; agile i...
This book focuses on nuclear engineering education in the post-Fukushima era. It was edited by the organizers of the summer school held in August 2011 in University of California, Berkeley, as part of a collaborative program between the University of Tokyo and UC Berkeley. Motivated by the particular relevance and importance of social-scientific ap...
This book provides a comprehensive overview of volcanic crisis research, the goal being to establish ways of successfully applying volcanology in practice and to identify areas that need to be addressed for future progress. It shows how volcano crises are managed in practice, and helps to establish best practices. Consequently the book brings toge...
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...
This book contains the research report of the Collaborative Research Center "Micro Cold Forming" (SFB 747) of the University of Bremen, Germany. The topical research focus lies on new methods and processes for a mastered mass production of micro parts which are smaller than 1mm (by forming in batch size higher than one million). The targe...
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...
This book provides original, up-to-date case studies of "ethics dumping" that were largely facilitated by loopholes in the ethics governance of low and middle-income countries. It is instructive even to experienced researchers since it provides a voice to vulnerable populations from the forementioned countries. Ensuring the ethical conduc...
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 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 offers updated and revised information on vessel health and preservation (VHP), a model concept first published in poster form in 2008 and in JVA in 2012, which has received a great deal of attention, especially in the US, UK and Australia. The book presents a model and a new way of thinking applied to vascular access and administration o...
This book provides an in-depth study of the management of standards and regulation in sustainable and radical innovation development. It considers the case of micro Combined Heat and Power (mCHP) technology. The developers of this radical innovation in the European heating sector encountered major conflicts when attempting to create or adapt stand...
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 consolidates experiences from across Europe on the design, development, implementation and evolution of inter-organisational information infrastructures for healthcare. It provides insights with practical relevance for those involved or interested in the planning and implementation of such infrastructures and includes 11 empirical cases o...
'This book… brings together high quality research, real world pragmatism and an understanding of the politics of Indian food systems.' – Lawrence Haddad, Executive Director, GAIN and 2018 World Food Prize Laureate'[The authors] have done a masterful job of [demonstrating] paradoxes of India's rapid economic growth concurrent...
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 book outlines key terms of China's school leadership in Chinese political and legal, financial, administrative, and cultural contexts. It reveals and interprets the real meaning of these practical terms based on existing laws, government documents, school policy texts as well as the latest empirical findings from school leaders and teache...
Technology has made human lives incomparably better. Civilization as we know it would utterly collapse without it. However, if not properly managed, technology can and will be systematically abused and misuse and thereby become one of the biggest threats to humankind. This open access book applies proactive crisis management to the management of te...
This book summarizes work being pursued in the context of the CIPRNet (Critical Infrastructure Preparedness and Resilience Research Network) research project, co-funded by the European Union under the Seventh Framework Programme (FP7). The project is intended to provide concrete and on-going support to the Critical Infrastructure Protection (CIP) r...
This free book explores the concept of Industry 4.0, which presents a considerable challenge for the production and service sectors. While digitization initiatives are usually integrated into the central corporate strategy of larger companies, smaller firms often have problems putting Industry 4.0 paradigms into practice. Small and medium-sized ent...
This book collects 5 keynote and 15 theme lectures presented at the 2nd European Conference on Earthquake Engineering and Seismology (2ECEES), held in Istanbul, Turkey, from August 24 to 29, 2014. The conference was organized by the Turkish Earthquake Foundation - Earthquake Engineering Committee and Prime Ministry, Disaster and Emergency Managemen...
This book presents theoretical and practical research relating to the vast, publicly financed program for the construction of new schools and the reorganization of existing educational buildings in Italy. This transformative process aims to give old buildings a fresh identity, to ensure that facilities are compliant with the new educational and tea...
This open book focuses on investigating predicting precursor information and key points of rockburst in mining engineering through laboratory experiment, theoretical analysis, numerical simulation and case studies. Understanding the evolution patterns for the microstructure instability of rock is a prerequisite for rockburst prediction. The book pr...
This book presents work collected through the Liquefaction Experiments and Analysis Projects (LEAP) in 2017. It addresses the repeatability, variability, and sensitivity of lateral spreading observed in twenty-four centrifuge model tests on mildly sloping liquefiable sand. The centrifuge tests were conducted at nine different centrifuge facilitie...
This book analyses intellectual property and innovation governance in the development of six key industries in India and China. These industries are reflective of the innovation and economic development of the two economies, or of vital importance to them: the IT Industry, the film industry, the pharmaceutical industry, plant varieties and food sec...
Are humans violent or peaceful by nature? We are both.
In this ambitious and wide-ranging book, Agner Fog presents a ground-breaking new argument that explains the existence of differently organised societies using evolutionary theory. It combines natural sciences and social sciences in a way that is rarely seen.
According to a concept called...