Across the Western world, full membership of society is established through entitlements to space and formalized in the institutions of property and citizenship. Those without such entitlements are deemed less than fully human as they struggle to find a place where they can symbolically and physically exist. Written by an anthropologist who acciden...
The technology of mechanized program verification can play a supporting role in many kinds of research projects in computer science, and related tools for formal proof-checking are seeing increasing adoption in mathematics and engineering. This book provides an introduction to the Coq software for writing and checking mathematical proofs. It takes ...
This text is a practical guide for linguists, and programmers, who work with data in multilingual computational environments. We introduce the basic concepts needed to understand how writing systems and character encodings function, and how they work together at the intersection between the Unicode Standard and the International Phonetic Alphabet. ...
Previously, artificial neural networks have been used to capture only the informal properties of music. However, cognitive scientist Michael Dawson found that by training artificial neural networks to make basic judgments concerning tonal music, such as identifying the tonic of a scale or the quality of a musical chord, the networks revealed formal...
This book is a a discussion of the calculation of specific formulas in finance. The field of finance has seen a rapid development in recent years, with increasing mathematical sophistication. While the formalization of the field can be traced back to the work of Markowitz (1952) on investors mean-variance decisions and Modigliani and Miller (1958) ...
Asking and answering questions about what culture entails and examines the fundamental properties and intertwining nature of language and culture. This text explores linguistic relativity, lexical differences among languages and intercultural communication, including high and low contexts.
Changes to a variety of OER works were made by Manon Allar...
Have you ever looked deep into the eyes of an animal and felt entirely known? Often, the connections we share with non-human animals represent our safest and most reliable relationships, offering unique and profound opportunities for healing in periods of hardship. This book focuses on research developments, models, and practical applications of hu...
Collaboration is often seen as a palliative for the many wicked problems challenging our communities. These problems affect some of the most vulnerable and unempowered people in our community. They also carry significant implications for policy processes, programs of service and, ultimately, the budgets and resourcing of national and sub-national g...
This open volume provides insight into how organizations change through the adoption of digital technologies. Opportunities and challenges for individuals as well as the organization are addressed.
It features four major themes:
1. Current research exploring the theoretical underpinnings of digital transformation of organizations.
2. Insights into...
This open book features a selection of articles written by Erich Ch. Wittmann between 1984 to 2019, which shows how the "design science conception" has been continuously developed over a number of decades. The articles not only describe this conception in general terms, but also demonstrate various substantial learning environments that s...
This open handbook provides a multilevel view on family policies, combining insights on family policy outcomes at different levels of policymaking: supra-national organizations, national states, sub-national or regional levels, and finally smaller organizations and employers. At each of these levels, a multidisciplinary group of expert scholars ass...
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 explores the conceptual challenges posed by the presence of migrants with irregular immigration status in Europe and the evolving policy responses at European, national and municipal level. It addresses the conceptual and policy issues raised, post-entry, by this particular section of the migrant population. Drawing on evidence from ...
This open book explores ways to leverage information technology and machine learning to combat disease and promote health, especially in resource-constrained settings. It focuses on digital disease surveillance through the application of machine learning to non-traditional data sources. Developing countries are uniquely prone to large-scale emergin...
In this open book, our goal is to study the fundamental concepts in programming languages, as opposed to learning a range of specific languages. Languages are easy to learn, it is the concepts behind them that are difficult. The basic features we study in turn include higher-order functions, data structures in the form of records and variants, muta...
The purpose of this book is to help you program shared-memory parallel systems without risking your sanity. Nevertheless, you should think of the information in this book as a foundation on which to build, rather than as a completed cathedral. Your mission, if you choose to accept, is to help make further progress in the exciting field of parallel ...
This book looks at some of the central issues in the philosophy of computer science. It is not designed to answer all (or even any) of the philosophical questions that can be raised about the nature of computing, computers, and computer science. Rather, it is designed to "bring you up to speed" on a conversation about these issues - to gi...
The purpose of the book is to give a thorough introduction to the methods of model theory for first order logic. Model theory is the branch of logic that deals with mathematical structures and the formal languages they interpret. First order logic is the most important formal language and its model theory is a rich and interesting subject with sign...
Site reliability engineering (SRE) is more relevant than ever. Knowing how to keep systems reliable has become a critical skill. With this practical book, newcomers and old hats alike will explore a broad range of conversations happening in SRE. You'll get actionable advice on several topics, including how to adopt SRE, why SLOs matter, when y...
This book is a comprehensive, formal treatment of anonymous point collection. The proposed definition does not only provide a strong notion of security and privacy, but also covers features which are important for practical use. An efficient realization is presented and proven to fulfill the proposed definition. The resulting building block is the ...
This book provides an algorithmic perspective to autonomous robotics to students with a sophomore-level of linear algebra and probability theory. Robotics is an emerging field at the intersection of mechanical engineering, electrical engineering, and computer science. With computers becoming more powerful, making robots smart is getting more and mo...
This open textbook supports the learning outcomes of Fanshawe College's Advanced Professional Communications curriculum (COMM 6019). Organized in five major units - Foundational Principles of Business Messaging, The Principles of Business Style, Format, and Composition, The Principles of Social, Cultural and Employment Communication, The Princ...