This book establishes the foundations needed to realize the ultimate goals for artificial intelligence, such as autonomy and trustworthiness. Aimed at scientists, researchers, technologists, practitioners, and students, it brings together contributions offering the basics, the challenges and the state-of-the-art on trusted autonomous systems in a s...
This text offers a comprehensive and nuanced view of the economic development of Spain since 1850. It provides a new set of historical GDP estimates for Spain from the demand and supply sides, and presents a reconstruction of production and expenditure series for the century prior to the introduction of modern national accounts. The author spl...
This open access book, inspired by the ICME 13 Thematic Afternoon on "European Didactic Traditions", consists of 17 chapters, in which educators from the Netherlands reflect on the teaching and learning of mathematics in their country and the role of the Dutch domain-specific instruction theory of Realistic Mathematics Education.Written b...
This casebook provides a set of cases that reveal the current complexity of medical decision-making, ethical reasoning, and communication at the end of life for hospitalized patients and those who care for and about them. End-of-life issues are a controversial part of medical practice and of everyday life. Working through these cases illuminates bo...
This textbook examines the extent to which moral values play a role as productive forces for the economy, and explores the effect of ethical and unethical Behavior on the economy. It shows how ethics improves productivity in the economy, and provides specific ethics tools for practical application for students and managers. Stemming from an overall...
Inferring and Explaining is a book in practical epistemology. It examines the notion of evidence and assumes that good evidence is the essence of rational thinking. Evidence is the cornerstone of the natural, social, and behavioral sciences. But it is equally central to almost all academic pursuits and, perhaps most importantly, to the basic need t...
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 groundbreaking, open volume analyses and compares data practices across several fields through the analysis of specific cases of data journeys. It brings together leading scholars in the philosophy, history and social studies of science to achieve two goals: tracking the travel of data across different spaces, times and domains of research pra...
Writing Guide with Handbook aligns to the goals, topics, and objectives of many first-year writing and composition courses. It is organized according to relevant genres, and focuses on the writing process, effective writing practices or strategies - including graphic organizers, writing frames, and word banks to support visual learning - and conven...
In Performing Deception, Brian Rappert reconstructs the practice of entertainment magic by analysing it through the lens of perception, deception and learning, as he goes about studying conjuring himself.
Through this novel meditation on reasoning and skill, Rappert elevates magic from the undertaking of mere trickery to an art that offers the b...
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...