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 ...
This book was inspired by the UNESCO UNITWIN Network for Underwater Archaeology International Workshop held at Flinders University, Adelaide, Australia in November 2016. Content is based on, but not limited to, the work presented at the workshop which was dedicated to 3D recording and interpretation for maritime archaeology. The volume consists of ...
As cities develop, more land is converted into impervious surfaces, which do not allow water to infiltrate. Careful urban planning is needed to ensure that the hydrologic cycle and water quality of the catchment areas are not affected. There are techniques that can attenuate peak flow during rain events and reduce the amount of metals, nutrients, a...
This book provides a unique study of the complexities and consequences of irregular legal status of Senegalese migrants in Europe. It employs sophisticated quantitative methods to analyze unique life-history data to produce policy-relevant conclusions. Using the MAFE dataset as empirical evidence, the book focuses on the legal paths of Senegalese ...
This book brings together works by specialists from different disciplines and continents to reflect on the nexus between leadership, spirituality and discernment, particularly with regard to a world that is increasingly volatile, uncertain, complex, and ambiguous (VUCA). The book spells out, first of all, what our VUCA world entails, and how it aff...
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 book presents the Invited Lectures given at 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 Society of Didactics of Mathematics (Gesellschaft für Didaktik der Mathematik - GDM) and took place under the...
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 book explores the complex relationship between schooling as a set of practices embedded in educational institutions and their specific spatial dimensions from different disciplinary perspectives. It presents innovative empirical and conceptual research by international scholars from the fields of social geography, pedagogy, educational and soc...
This book offers an original interdisciplinary overview of the role of haptic feedback in musical interaction. Divided into two parts, part I examines the tactile aspects of music performance and perception, discussing how they affect user experience and performance in terms of usability, functionality and perceived quality of musical instruments. ...
This book addresses the various disciplinary aspects of nature-based solutions in flood risk management on private land. In recent decades, water management has been moving towards nature-based solutions. These are assumed to be much more multi-purpose than traditional "grey infrastructures" and seem to be regarded as a panacea for many e...
This ICME-13 Topical Survey reviews the state-of-the-art by first exploring the roots and scope of design science. Second, it presents two examples of current design science projects that focus on substantial learning environments including a student and a teacher perspective. Subsequently, the book elaborates on how empirical research can be conce...
This edited collection focuses on theories, language and migration in relation to multiculturalism in Japan and the Asia-Pacific. Each chapter aims to provide alternative understandings to current conflicts that have arisen due to immigration and policies related to education, politics, language, work, citizenship and identity....
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...
This book presents the proceedings volume of the YOUMARES 8 conference, which took place in Kiel, Germany, in September 2017, supported by the German Association for Marine Sciences (DGM). The YOUMARES conference series is entirely bottom-up organized by and for YOUng MARine RESearchers. Qualified early career scientists moderated the scientific se...
This book is a methodical treatise on narration in different types of media. A theoretical rather than a historical study, Transmedial Narration is relevant for an understanding of narration in all times, including our own. By reconstructing the theoretical framework of transmedial narration, this book enables the inclusion of all kinds of communic...
This survey provides an overview of German meta-discourse on theories and mathematics education as a scientific discipline, from the 1970s to the 1990s. Two theory strands are offered: a semiotic view related to Peirce and Wittgenstein (presented by Willibald Dörfler), and the theory of learning activity by Joachim Lompscher (presented by Regina B...
This book compares the lessons learned from a wetland-perspective approach to the changing climate and the requirements of the Water Framework Directive (WFD) with regard to environmental conservation. Examples from Germany and Poland are discussed due to the efficiency of their respective implementations of water conservation policies. Although th...
This book presents the most current research results and knowledge from five multidisciplinary themes: Vulnerability of Arctic Environments, Vulnerability of Arctic Societies, Local and Traditional Knowledge, Building Long-term Human Capacity, New Markets for the Arctic, including tourism and safety. The themes are those discussed at the first ever...
This book asks just how climate-smart our food really is. It follows an average day's worth of food and drink to see where it comes from, how far it travels, and the carbon price we all pay for it. From our breakfast tea and toast, through breaktime chocolate bar, to take-away supper, Dave Reay explores the weather extremes the world's fa...
Late in a career of more than sixty years, Thomas Burch, an internationally known social demographer, undertook a wide-ranging methodological critique of demography. This open access volume contains a selection of resulting papers, some previously unpublished, some published but not readily accessible [from past meetings of The International Union...
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...
This book discusses Rotterdam as clear example of a superdiverse city that is only reluctantly coming to terms with this new reality. Rotterdam, as is true for many post-industrial cities, has seen a considerable backlash against migration and diversity: the populist party Leefbaar Rotterdam of the late Pim Fortuyn is already for many years the lar...
It overviews the poisoning which occurred in the 1950s and 1960s among the residents in Minamata who ate seafood contaminated with methylmercury discharged from the chemical factory, Chisso Corporation. It describes the history, symptoms pathogenesis and research on the causal agent, and discusses the responses of Chisso and the national and local ...
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...
Those convicted of homicide were hanged on the public gallows before being dissected under the Murder Act in Georgian England. Yet, from 1752, whether criminals actually died on the hanging tree or in the dissection room remained a medical mystery in early modern society. Dissecting the Criminal Corpse takes issue with the historical cliché of cor...
This book constitutes the proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering, FASE 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.The 19 papers presented in this volume were carefully reviewed ...
This book provides a compendium of material properties, demonstrates several successful examples of bio-based materials' application in building facades, and offers ideas for new designs and novel solutions. It features a state-of-the-art review, addresses the latest trends in material selection, assembling systems, and innovative functions of...
This book addresses the age-old problem of infinite regresses in epistemology. How can we ever come to know something if knowing requires having good reasons, and reasons can only be good if they are backed by good reasons in turn? The problem has puzzled philosophers ever since antiquity, giving rise to what is often called Agrippa's Trilemma...
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...