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 open access monograph argues established democratic norms for freedom of expression should be implemented on the internet. Moderating policies of tech companies as Facebook, Twitter and Google have resulted in posts being removed on an industrial scale. While this moderation is often encouraged by governments - on the pretext that terrorism, b...
This book deals with one the most interesting aspects of human life - the search for meaning. It discusses how the science of semiotics is equipped to provide insight on what meaning is and how we produce it. Why is it that certain people routinely put their survival at risk by smoking? Why is it that some women make locomotion difficult for themse...
This book is about those who dislike, protest, and try to abstain from media, both new and old. It explains why media resistance persists and answers two questions: What is at stake for resisters and how does media resistance inspire organized action? Yet, despite the interest in media scepticism and dislike, there seems to be no book on the market...
This interdisciplinary book contains 22 essays and interventions on rest and restlessness, silence and noise, relaxation and work. It draws together approaches from artists, literary scholars, psychologists, activists, historians, geographers and sociologists who challenge assumptions about how rest operates across mind, bodies, and practices. Rest...
This book analyses the development problems of sub-Sahara Africa (SSA) from the eyes of a Korean diplomat with knowledge of the economic growth Korea has experienced in recent decades. The author argues that Africa's development challenges are not due to a lack of resources but a lack of management, presenting an alternative to the traditional...
A PDF version of this book is available for free in open access via the OAPEN Library platform, www.oapen.org. This book presents a new model of accountability which ensures that public-private partnerships don't erode public accountability. It defines concrete accountability standards for different types of partnerships....
This book develops a new philosophy of Israel education. "Person-centered" Israel education is concerned with developing in individual learners the ability to understand and make rational, emotional, and ethical decisions about Israel, and about the challenges Israel regularly faces, whether they be existential, spiritual, democratic, hum...
In the current crisis of the capitalist world system, elites promote fear of crime and terrorism to keep and expand their privileges and control the masses. This book offers an analysis of the crisis and strategies for rebellion....
Across the country, our children are beginning life from very different starting points. Some have aspirations and believe they can be achieved. For too many others, aspirations are tempered, if not dashed, by the sobering realities of everyday life. These different starting points place children on distinctly different trajectories of growth and d...
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....
Utilizing a mixed-methods approach, this book uncovers the historical trajectory of U.S. independent hip-hop in the post-golden era, seeking to understand its complex relationship to mainstream hip-hop culture and U.S. culture more generally. Christopher Vito analyzes the lyrics of indie hip-hop albums from 2000-2013 to uncover the dominant ideolog...
This book reveals exciting early Christian evidence that Mary was remembered as a powerful role model for women leaders - women apostles, baptizers, and presiders at the ritual meal. Early Christian art portrays Mary and other women clergy serving as deacon, presbyter/priest, and bishop. In addition, the two oldest surviving artifacts to depict pe...
This volume discusses semiotics in mathematics education as an activity with a formal sign system, in which each sign represents something else. Theories presented by Saussure, Peirce, Vygotsky and other writers on semiotics are summarized in their relevance to the teaching and learning of mathematics. The significance of signs for mathematics educ...
This book considers the potential setup for a future Multilateral Investment Court (MIC). The option of an MIC was first discussed by the EU Commission in 2016 and has since been made an official element of the EU Common Commercial Policy. In 2017, UNCITRAL also decided to discuss the possibility of an MIC, and on 20 March 2018, the Council of the ...
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...
It is common for us today to associate the practice of science primarily with the act of seeing—with staring at computer screens, analyzing graphs, and presenting images. We may notice that physicians use stethoscopes to listen for disease, that biologists tune into sound recordings to understand birds, or that engineers have created Geiger telle...
This book presents a strong philosophical, theoretical and practical argument for the mainstreaming of indigenous knowledge in curricula development, and in teaching and learning across the African continent. Since the dawn of political independence in Africa, there has been an ongoing search for the kind of education that will create a class of pr...
This book brings together works by specialists from different disciplines and continents to reflect on the nexus between leadership, spirituality and discernment, particularly with regard to a world that is increasingly volatile, uncertain, complex, and ambiguous (VUCA). The book spells out, first of all, what our VUCA world entails, and how it aff...
This work examines the main directions of research conducted on the history of mathematics education. It devotes substantial attention to research methodologies and the connections between this field and other scholarly fields. The results of a survey about academic literature on this subject are accompanied by a discussion of what has yet to be do...
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 stimulating open access volume details the innovative work of the Pan Institution Network for Global Health in creating collaborative research-based answers to large-scale health issues. Equitable partnerships among member universities representing North America, Africa, Asia, and Europe reverse standard cross-national dynamics to develop loca...
This book examines the kinds of transitions that have been studied in mathematics education research. It defines transition as a process of change, and describes learning in an educational context as a transition process. The book focuses on research in the area of mathematics education, and starts out with a literature review, describing the epist...
This open access volume explores how UN peace operations are adapting to four trends in the changing global order: (1) the rebalancing of relations between states of the global North and the global South; (2) the rise of regional organisations as providers of peace; (3) the rise of violent extremism and fundamentalist non-state actors; and (4) incr...
The book provides a critical and constructive assessment of the many contributions to social science and politics made by Professor R. J. Rummel. Rummel was a prolific writer and an important teacher and mentor to a number of people who in turn have made their mark on the profession. His work has always been controversial. But after the end of the ...
This survey book reviews four interrelated areas: (i) the relevance of heuristics in problem-solving approaches – why they are important and what research tells us about their use; (ii) the need to characterize and foster creative problem-solving approaches – what type of heuristics helps learners devise and practice creative solutions; (iii) t...
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 summarizes the vast amount of research related to teaching and learning probability that has been conducted for more than 50 years in a variety of disciplines. It begins with a synthesis of the most important probability interpretations throughout history: intuitive, classical, frequentist, subjective, logical propensity and axiomatic vie...
This book presents the first detailed study of one of the most important masterpieces of Renaissance cartography, Martin Waldseemüller's Carta marina of 1516. By transcribing, translating into English, and detailing the sources of all of the descriptive texts on the map, as well as the sources of many of the images, the book makes the map ava...
This book shows how to use sensitivity analysis in demography. It presents new methods for individuals, cohorts, and populations, with applications to humans, other animals, and plants. The analyses are based on matrix formulations of age-classified, stage-classified, and multistate population models. Methods are presented for linear and nonlinear,...
This open access volume is about how to research the influence of our changing media environment. Today, there is not one single medium that is the driving force of change. With the spreading of various technical communication media such as mobile phone and internet platforms, we are confronted with a media manifold of deep mediatization. But how c...