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 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 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 ...
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...
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 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 addresses the physical phenomenon of events that seem to occur spontaneously and without any known cause. These are to be contrasted with events that happen in a (pre-)determined, predictable, lawful, and causal way. All our knowledge is based on self-reflexive theorizing, as well as on operational means of empirical perception. Some of ...
This book contains a collection of rare geologic maps and figures made by Chinese geologists in the last century. Preserved in National Geological Archives of China, these artworks demonstrate the development and innovation of geological mapping technology in China in the past 100 years. The collections are highly scientific and artistic, with most...
This book describes the extensive contributions made toward the advancement of human assessment by scientists from one of the world's leading research institutions, Educational Testing Service. The book's four major sections detail research and development in measurement and statistics, education policy analysis and evaluation, scienti...
How does technology impact research practices in the humanities? How does digitisation shape scholarly identity? How do we negotiate trust in the digital realm? What is scholarship, what forms can it take, and how does it acquire authority?
This diverse set of essays demonstrate the importance of asking such questions, bringing together establis...
How do we evaluate ambiguous concepts such as wellbeing, freedom, and social justice? How do we develop policies that offer everyone the best chance to achieve what they want from life? The capability approach, a theoretical framework pioneered by the philosopher and economist Amartya Sen in the 1980s, has become an increasingly influential way to ...
This book summarizes peer-reviewed articles and the abstracts of oral and poster presentations given during the YOUMARES 9 conference which took place in Oldenburg, Germany, in September 2018. The aims of this book are to summarize state-of-the-art knowledge in marine sciences and to inspire scientists of all career stages in the development of fur...
This book constitutes the refereed proceedings of the 16th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2020, held in Innopolis, Russia, in May 2020.*
The 12 revised full papers and 8 short papers presented were carefully reviewed and selected from 42 submissions. The papers cover a wide range of topics in the field of free/l...
This timely and applied textbook brings together leading scientists to illustrate how key theories and concepts in social psychology help to predict and explain behavior, and can be successfully applied to benefit social and practical problems. It focuses on robust theories and models known for their successful applications and covers a diverse ran...
The Public Domain Song Anthology by David Berger and Chuck Israels is a collection of 348 popular songs with modern and traditional harmonization for both study and performance. This open educational resource was curated by two leading jazz repertory experts and consists of songs in the US public domain. This anthology is the first of its kind and ...
In this practical guide to the law for young people of Canada, Ned Lecic and Marvin Zuker provide an all-encompassing manual meant to empower and educate children and youth and those that serve them. The authors address questions about how rights and laws affect the lives of young people at home, at school, at work, and in their relationships as th...
In this fascinating collection of essays, an international group of scholars explores the sonic consequences of transcultural contact in the early modern period. They examine how cultural configurations of sound impacted communication, comprehension, and the categorisation of people. Addressing questions of identity, difference, sound, and subjecti...
This unique open book features a selection of Living Cases on Corporate Governance, which were developed and compiled by chairpersons, members of the board of directors, and CEOs in various countries, working in close collaboration with prominent researchers. Each Living Case addresses a current issue that a given company or institution needs to re...
This open book focuses on theoretical and empirical intersections between governance, knowledge and space from an interdisciplinary perspective. The contributions elucidate how knowledge is a prerequisite as well as a driver of governance efficacy, and conversely, how governance affects the creation and use of knowledge and innovation in geographic...
This open access State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing on those that have emerged during COST Action IC1405 "Reversible Computation - Extending Horizons of Computing", a European research network that operated from May 2015 to April 2019.Reversible computation ...
This open book assembles landmark studies on divorce and separation in European countries, and how this affects the life of parents and children. It focuses on four major areas of post-separation lives, namely (1) economic conditions, (2) parent-child relationships, (3) parent and child well-being, and (4) health. Through studies from several Europ...
Simplified Signs presents a system of manual sign communication intended for special populations who have had limited success mastering spoken or full sign languages. It is the culmination of over twenty years of research and development by the authors. The Simplified Sign System has been developed and tested for ease of sign comprehension, memoriz...
There is virtually nowhere on Earth today that remains untouched by plastic and ecosystems are evolving to adapt to this new context. While plastics have revolutionized our modern world, new and often unforeseen effects of plastic and its production are continually being discovered. Plastics are entangled in multiple ecological and social crises, f...
For healthcare professionals, clinical education is foundational to the learning process. However, balancing safe patient care with supportive learning opportunities for students can be challenging for instructors and the complex social context of clinical learning environments makes intentional teaching approaches essential. Clinical instructors r...
Building on her earlier work, The Power of Music: A Research Synthesis of the Impact of Actively Making Music on the Intellectual, Social and Personal Development of Children and Young People, this volume by Susan Hallam and Evangelos Himonides is an important new resource in the field of music education, practice, and psychology. A well signposted...
Since the revival of maggot therapy in Western wound care approximately thirty years ago, there has been no comprehensive synthesis of what is known about its clinical practice, supply chain management, and social dimensions. This edited volume fills the information vacuum and, importantly, makes the current state of knowledge freely accessible. It...