This book discusses political, economic, social, and humanitarian challenges that influence both how people deal with their past and how they build their identities in contemporary Europe. Ongoing debates on migration, on local, national, inter- and transnational levels, prove that it is a divisive issue with regards to understanding European integ...
This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability...
When considering "the Internet of Things," it's easy to miss the bigger pattern: we are no longer just building software for individual devices, but creating networks of intelligence and action that make it possible to completely rethink how we organize work, play, and society itself. This report provides the complete text of Tim O&#...
This book offers a comprehensive guide, covering every important aspect of computational thinking education. It provides an in-depth discussion of computational thinking, including the notion of perceiving computational thinking practices as ways of mapping models from the abstraction of data and process structures to natural phenomena. Further, it...
This book presents an ethnographic study of how grassroots activism in Venezuela during the Chávez presidency can be understood in relation to the country's history as a petro-state. Taking the contested relationship between the popular sectors and the Venezuelan state as a point of departure, Iselin Åsedotter Strønen explores how notions s...
This book assesses the profound impact of Japan's aspirations to become a great power on Japanese security, democracy and foreign relations. Rather than viewing the process of normalization and rejuvenation as two decades of remilitarization in face of rapidly changing strategic environment and domestic political circumstances, this volume co...
Arguing that neo-Victorian fiction enacts and celebrates cultural memory, this book uses memory discourse to position these novels as dynamic participants in the contemporary historical imaginary....
Ability to use information and communication technologies (ICT) is an imperative for effective participation in today's digital age. Schools worldwide are responding to the need to provide young people with that ability. But how effective are they in this regard? The IEA International Computer and Information Literacy Study (ICILS) responded t...
This book constitutes the proceedings of the 15th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 2012, which took place in Tallinn, Estonia, in March/April 2012.
The 29 papers presented in this book toget...
This volume discusses the prospects and evolution of informatics (or computer science), which has become the operating system of our world, and is today seen as the science of the information society. Its artifacts change the world and its methods have an impact on how we think about and perceive the world. Classical computer science is built on th...
This book chronicles the rise of a new scientific paradigm offering novel insights into the age-old enigmas of existence. Over 300 years ago, the human mind discovered the machine code of reality: mathematics. By utilizing abstract thought systems, humans began to decode the workings of the cosmos. From this understanding, the current scientific pa...
This book draws on award-winning cross-generational research comparing the complex and life-changing processes of settlement among Albanian migrants and their adolescent children in three European cities: London (UK), Thessaloniki (Greece), and Florence (Italy). Building on key concepts from the social sciences and migration studies, such as identi...
This book provides insight into what it takes to actively involve teachers in the curriculum design process. It examines different aspects of teacher involvement in collaborative curriculum design, with specific attention to its implications for sustainable curriculum innovation and teacher learning. Divided into six sections, the book starts out b...
This survey focuses on the main trends in the field of calculus education. Despite their variety, the findings reveal a cornerstone issue that is strongly linked to the formalism of calculus concepts and to the difficulties it generates in the learning and teaching process. As a complement to the main text, an extended bibliography with some of the...
This book is the final publication of the COST Action IC1303 "Algorithms, Architectures and Platforms for Enhanced Living Environments (AAPELE)" project.Ambient Assisted Living (AAL) is an area of research based on Information and Communication Technologies (ICT), medical research, and sociological research. AAL is based on the notion tha...
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 edited volume examines the policies and practices of rising powers on peacebuilding. It analyzes how and why their approaches differ from those of traditional donors and multilateral institutions. The policies of the rising powers towards peacebuilding may significantly influence how the UN and others undertake peacebuilding in the future. Thi...
This book is the first comparative study of public, voluntary and private asylums in nineteenth-century Ireland. Examining nine institutions, it explores whether concepts of social class and status and the emergence of a strong middle class informed interactions between gender, religion, identity and insanity. It questions whether medical and lay e...
This survey provides a brief and selective overview of research in the philosophy of mathematics education. It asks what makes up the philosophy of mathematics education, what it means, what questions it asks and answers, and what is its overall importance and use? It provides overviews of critical mathematics education, and the most relevant mode...
This book examines the current thinking on five critical social and political areas in mathematics education. It focuses on material conditions in teaching and learning, and details features of social life and their influence on mathematics teaching, learning and achievement. Following an introduction, the first section addresses equitable access a...
This book discusses a variety of important but unprecedented ways in which psychology can be useful to philosophy. The early chapters illustrate this theme via comparisons between Chinese and Western philosophy. It is argued that the Chinese notion of a heart-mind is superior to the Western concept of mind, but then, more even-handedly, the relativ...
This book presents a multidisciplinary perspective on chance, with contributions from distinguished researchers in the areas of biology, cognitive neuroscience, economics, genetics, general history, law, linguistics, logic, mathematical physics, statistics, theology and philosophy. The individual chapters are bound together by a general introductio...
This book is a multidisciplinary work that investigates the notion of posthumous harm over time. The question what is and when is death, affects how we understand the possibility of posthumous harm and redemption. Whilst it is impossible to hurt the dead, it is possible to harm the wishes, beliefs and memories of persons that once lived. In this wa...
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...
Conviviality has lately become a catchword not only in academia but also among political activists. This open access book discusses conviviality in relation to the adjoining concepts cosmopolitanism and creolisation. The urgency of today's global predicament is not only an argument for the revival of all three concepts, but also a reason to br...
Tensor network is a fundamental mathematical tool with a huge range of applications in physics, such as condensed matter physics, statistic physics, high energy physics, and quantum information sciences. This open access book aims to explain the tensor network contraction approaches in a systematic way, from the basic definitions to the important a...
This book explores how the notion of the responsible university manifests itself at various levels within Nordic higher education. As the impetus of the knowledge society has catapulted the higher education sector to the forefront of policy agendas, universities and other types of higher education institutions face increasing scrutiny, assessment a...
This Open Access Brief analyzes the dynamics in which children's selves emerge through their everyday activities of meaning construction, both in their relationships with family and within school education. It begins with a discussion of new psychological inquiries into children's selves and builds upon the innovative theoretical notion o...
The idea of etnos came into being over a hundred years ago as a way of understanding the collective identities of people with a common language and shared traditions. In the twentieth century, the concept came to be associated with Soviet state-building, and it fell sharply out of favour. Yet outside the academy, etnos-style arguments not only pers...
The notion of a superior 'Germanic' or 'Nordic' race was a central theme in Nazi ideology. But it was also a commonly accepted idea in the early twentieth century, an actual scientific concept originating from anthropological research on the physical characteristics of Europeans. The Scandinavian Peninsula was considered to be t...
This book is about digital games, the people who play digital games, and how they play them. This poses a large problem: even when discussing one game, each instance of play is different. Combine this with the thousands of digital games, and the millions of players, and it is apparent that the number of individual instances of game play is unfathom...
China and Russia are rising economic and political powers that share thousands of miles of border. Yet, despite their proximity, their practical, local interactions with each other - and with their third neighbour Mongolia - are rarely discussed. The three countries share a boundary, but their traditions, languages and worldviews are remarkably dif...