Given the increasing attention to managing, publishing, and preserving research datasets as scholarly assets, what competencies in working with research data will graduate students in STEM disciplines need to be successful in their fields? And what role can librarians play in helping students attain these competencies? In addressing these questions...
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 ...
The U.S. Defense Advanced Research Projects Agency (DARPA) has played a remarkable role in the creation new transformative technologies, revolutionizing defense with drones and precision-guided munitions, and transforming civilian life with portable GPS receivers, voice-recognition software, self-driving cars, unmanned aerial vehicles, and, most fa...
Innovation is the forgotten key to modern systems development - the element that defines the enterprising engineer, the thriving software firm and the cutting edge software application. Traditional forms of technical education pay little attention to creativity - often encouraging overly rationalistic ways of thinking which stifle the ability to in...
This open book present and discuss current issues and innovative solution approaches for land management in a European context. Manifold sustainability issues are closely interconnected with land use practices. Throughout the world, we face increasing conflict over the use of land as well as competition for land.
Drawing on experience in sustainab...
This book is an excellent synthesis of the initial and continuing preparation for Mathematics Teaching in Bolivia, Ecuador, Paraguay and Peru, from which comparative analyses can be made that show similarities and differences, and highlight various perspectives.
In February 2016, the 5th Capacity and Networking Project (CANP) workshop of the Inter...
This open book is an excellent synthesis of the initial and continuing preparation for Mathematics Teaching in Colombia, Costa Rica, Dominican Republic and Venezuela, from which comparative analyses can be made that show similarities and differences, and highlight various perspectives.
In August 2012, a workshop of the Capacity and Networking Proj...
This book is a valuable resource for policymakers and practitioners as it brings insights mainly from developing countries where relatively less research activity takes place. It is also a valuable resource for courses in mathematics education in the teacher education colleges, and departments of education in the sub-Saharan Africa region.
In th...
OpenIntro Statistics offers a traditional introduction to statistics at the college level. This textbook is widely used at the college level and offers an exceptional and accessible introduction for students from community colleges to the Ivy League. The textbook has been thoroughly vetted with an estimated 20,000 students using it annually.
Ext...
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...
Offered as an introduction to the field of data structures and algorithms, Open Data Structures covers the implementation and analysis of data structures for sequences (lists), queues, priority queues, unordered dictionaries, ordered dictionaries, and graphs. Focusing on a mathematically rigorous approach that is fast, practical, and efficient, Mor...
Introduction to the Modeling and Analysis of Complex Systems introduces students to mathematical/computational modeling and analysis developed in the emerging interdisciplinary field of Complex Systems Science. Complex systems are systems made of a large number of microscopic components interacting with each other in nontrivial ways. Many real-worl...
Applied Discrete Structures, is a two semester undergraduate text in discrete mathematics, focusing on the structural properties of mathematical objects. These include matrices, functions, graphs, trees, lattices and algebraic structures. The algebraic structures that are discussed are monoids, groups, rings, fields and vector spaces.
Applied D...
This book highlights that the capacity for gathering, analysing, and utilising vast amounts of digital (user) data raises significant ethical issues. Annika Richterich provides a systematic contemporary overview of the field of critical data studies that reflects on practices of digital data collection and analysis. The book assesses in detail one ...
In Molecular Feminisms, Roy investigates science as feminism at the lab bench, engaging in an interdisciplinary conversation between molecular biology, Deleuzian philosophies, posthumanism, and postcolonial and decolonial studies. She brings insights from feminist theory together with lessons learned from bacteria, subcloning, and synthetic biology...
Everything Flows explores the metaphysical thesis that the living world is not made up of substantial particles or things, as has often been supposed, but is rather constituted by processes. The biological domain is organised as an interdependent hierarchy of processes, which are stabilized and actively maintained at different timescales. Even enti...
You've mined for diamonds, crafted dozens of tools, and built all sorts of structures - but what if you could program robots to do all of that for you in a fraction of the time?
In Coding with Minecraft, you'll create a virtual robot army with Lua, a programming language used by professional game developers. Step-by-step coding project...
This lucid and comprehensive collection of essays by an international group of scholars constitutes a photo-historical survey of select photographers who embraced National Socialism during the Third Reich. These photographers developed and implemented physiognomic and ethnographic photography, and, through a Selbstgleichschaltung (a self-co-ordinat...
XcalableMP is a directive-based parallel programming language based on Fortran and C, supporting a Partitioned Global Address Space (PGAS) model for distributed memory parallel systems. This open book presents XcalableMP language from its programming model and basic concept to the experience and performance of applications described in XcalableMP.�...
This open handbook analyses the role of development cooperation in achieving the 2030 Agenda in a global context of 'contested cooperation'. Development actors, including governments providing aid or South-South Cooperation, developing countries, and non-governmental actors (civil society, philanthropy, and businesses) constantly challeng...
This open book highlights the complexities around making adaptation decisions and building resilience in the face of climate risk. It is based on experiences in sub-Saharan Africa through the Future Climate For Africa (FCFA) applied research programme. It begins by dealing with underlying principles and structures designed to facilitate effective e...
This open book provides an updated and fully revised 4th edition of this authoritative analysis of Swiss democracy. It particularly explains the institutions of federalism and consensus government through political power sharing. In this new edition, the authors also address several important changes and challenges that have affected Swiss democrac...
This open book develops a framework for advancing agroecology transformations focusing on power, politics and governance. It explores the potential of agroecology as a sustainable and socially just alternative to today's dominant food regime. Agroecology is an ecological approach to farming that addresses climate change and biodiversity loss w...
This open book provides an in-depth look into the background of rule of law problems and the open defiance of EU law in East Central European countries. Current illiberal trends and anti-EU politics have the potential to undermine mutual trust between member states and fundamentally change the EU. It is therefore crucial to understand their domesti...
This open book presents a topical, comprehensive and differentiated analysis of Germany's public administration and reforms. It provides an overview on key elements of German public administration at the federal, Länder and local levels of government as well as on current reform activities of the public sector. It examines the key institution...
This open collection is devoted to an in-depth, qualitative analysis of practices of cross-national solidarity in response to the current political and social crises, from citizens' initiatives to networks of cooperation among civil society actors.
The book analyses existing informal groups at the grassroots, furthering transnational solidar...
This open book focuses on processing, modeling, and visualization of anisotropy information, which are often addressed by employing sophisticated mathematical constructs such as tensors and other higher-order descriptors. It also discusses adaptations of such constructs to problems encountered in seemingly dissimilar areas of medical imaging, physi...
This open volume provides an understanding of the different aspects of success, school continuity and social mobility among European Roma, including the motives justifying the high rates of school dropout and failure among this group. It offers a critical and reflexive perspective about social reality from a multidisciplinary and transversal point ...
This open book presents the results of the "Collaborative Embedded Systems" (CrESt) project, aimed at adapting and complementing the methodology underlying modeling techniques developed to cope with the challenges of the dynamic structures of collaborative embedded systems (CESs) based on the SPES development methodology.
In order to ma...
This open book crosses disciplinary boundaries to connect theories of environmental justice with Indigenous people's experiences of freshwater management and governance. It traces the history of one freshwater crisis - the degradation of Aotearoa New Zealand's Waipā River - to the settler-colonial acts of ecological dispossession resulti...
This open book summarizes the first two decades of the NII Testbeds and Community for Information access Research (NTCIR). NTCIR is a series of evaluation forums run by a global team of researchers and hosted by the National Institute of Informatics (NII), Japan. The book is unique in that it discusses not just what was done at NTCIR, but also how ...
How long can humans live? This open access book documents, verifies and brings to life the advance of the frontier of human survival. It carefully validates data on supercentenarians, aged 110+, and semi-supercentenarians, aged 105-109, stored in the International Database on Longevity (IDL). The chapters in this book contribute substantial advance...