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...
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...
Why should people - and economies - save? This book on the savings problem in Latin America and the Caribbean suggests that, while saving to survive the bad times is important, saving to thrive in the good times is what really counts. People must save to invest in health and education, live productive and fulfilling lives, and make the most of thei...
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...
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 investigates why, despite more and more resources devoted to safety training, expectations are not entirely met, particularly in the industrial sectors that have already achieved a high safety level. It not only reflects the most precious viewpoints of experts from different disciplines, different countries, with experiences in various in...
It argues that the main purpose of educational research is to improve student learning, and that international comparative studies are no exception....
This book bridges the gap between playing with robots in school and studying robotics at the upper undergraduate and graduate levels to prepare for careers in industry and research. Robotic algorithms are presented formally, but using only mathematics known by high-school and first-year college students, such as calculus, matrices and probability. ...
The open access book discusses human health and wellbeing within the context of built environments. It provides a comprehensive overview of relevant sources of literature and user complaints that clearly demonstrate the consequences of lack of attention to health in current building design and planning. Current designing of energy-efficient buildin...
This open access textbook is the first to provide Business and Economics Ph.D. students with a precise and intuitive introduction to the formal backgrounds of modern financial theory. It explains Brownian motion, random processes, measures, and Lebesgue integrals intuitively, but without sacrificing the necessary mathematical formalism, making them...
This book utilizes new data to thoroughly analyze the main factors currently shaping the African housing market. Some of these factors include the supply and demand for housing finance, land tenure security issues, construction cost conundrum, infrastructure provision, and low-cost housing alternatives. Through detailed analysis, the authors invest...
This volume seeks to further the use of formal methods in clarifying one of the central problems of philosophy: that of our free human agency and its place in our indeterministic world. It celebrates the important contributions made in this area by Nuel Belnap, American logician and philosopher.Philosophically, indeterminism and free action can see...
Welcome to InnerSource, the powerful movement for developing open source software within the walls of a single organization, where the "openness" of a project extends across teams inside the company. In this report, O'Reilly editor and author Andy Oram takes you inside InnerSource, first by reviewing the principles that make open sou...
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...
Consciousness is widely perceived as one of the most fundamental, interesting and difficult problems of our time. However, we still know next to nothing about the relationship between consciousness and the brain and we can only speculate about the consciousness of animals and machines.
Human and Machine Consciousness presents a new foundation fo...
This open access edited collection explores obstacles that impede, and potential pathways toward improving, the material and psychological well-being of youth in and from West Africa. Contributors range from researchers to practitioners, offering a transatlantic, transcontinental set of perspectives on the mounting evidence that, whether they resid...
This free book explores questions such as why and how did the first biological cells appear? And then complex organisms, brains, societies and –now– connected human societies? Physicists have good models for describing the evolution of the universe since the Big Bang, but can we apply the same concepts to the evolution of aggregated matter –l...
This free book explores how digital tools and social media technologies can contribute to better participation and involvement of EU citizens in European politics. By analyzing selected representative e-participation projects at the local, national and European governmental levels, it identifies the preconditions, best practices and shortcomings of...
This book about the Zadeh Project demonstrates and explores a core question in clinical ethics: how can ethics consultants be accountable in the face of a robust plurality of ethical standpoints, especially those that underwrite practices and methods for doing ethics consultation as well as those viewpoints and values encountered in daily clinical ...
This open access book presents the key aspects of statistics in Wasserstein spaces, i.e. statistics in the space of probability measures when endowed with the geometry of optimal transportation. Further to reviewing state-of-the-art aspects, it also provides an accessible introduction to the fundamentals of this current topic, as well as an overvie...
This book presents a synopsis of six emerging themes in adult mathematics/numeracy and a critical discussion of recent developments in terms of policies, provisions, and the emerging challenges, paradoxes and tensions. It also offers an extensive review of the literature adult mathematics education. Why do adults want to learn mathematics? Did they...
This book provides a practical philosophy for promoting students' sophisticated thinking from Early Childhood to PhD in ways that explicitly interconnect across the years of education. It will help teachers, academics and the broader learning and teaching community to understand and implement these connections by introducing a conceptual frame...
This book features various studies on democratization, transformation, political and economic development, and security issues in the Organization for Security and Cooperation in Europe (OSCE) geographical region and beyond. Written by experts and academics in the fields of human rights, security, transformation and development, particularly in pos...
The book offers a compact but comprehensive introductory overview of the crucial components of argumentation theory. In presenting this overview, argumentation is consistently approached from a pragma-dialectical perspective by viewing it pragmatically as a goal-directed communicative activity and dialectically as part of a regulated critical excha...
This book was written to serve as an introduction to logic, with in each chapter – if applicable – special emphasis on the interplay between logic and philosophy, mathematics, language and (theoretical) computer science. The reader will not only be provided with an introduction to classical logic, but to philosophical (modal, epistemic, deontic...
This book develops the essential tools of linear algebra, with the goal of imparting technique alongside contextual understanding. Applications go hand-in-hand with theory, each reinforcing and explaining the other. This approach encourages students to develop not only the technical proficiency needed to go on to further study, but an appreciation ...
This insightful collection of essays explores the ways in which open education can democratise access to education for all. It is a rich resource that offers both research and case studies to relate the application of open technologies and approaches in education settings around the world.
Global in perspective, this book argues strongly for the...
Most contemporary digital studies are interested in distant-reading paradigms for large-scale literary history. This book asks what happens when such telescopic techniques function as a microscope instead. The first monograph to bring a range of computational methods to bear on a single novel in a sustained fashion, it focuses on the award-winning ...
Since the growth of social media, human communication has become much more visual. This book presents a scholarly analysis of the images people post on a regular basis to Facebook. By including hundreds of examples, readers can see for themselves the differences between postings from a village north of London, and those from a small town in Trinida...
Inclusive language remains a hot topic. Despite decades of empirical evidence and revisions of formal language use, many inclusive adaptations of English and German continue to be ignored or contested. But how to convince speakers of the importance of inclusive language? Rewriting Language provides one possible answer: by engaging readers with the ...
Games are increasingly becoming the focus for research due to their cultural and economic impact on modern society. However, there are many different types of approaches and methods than can be applied to understanding games or those that play games. This book provides an introduction to various game research methods that are useful to students in ...