Computer ScienceScience & MathematicsEconomics & FinanceBusiness & ManagementPolitics & GovernmentHistoryPhilosophy
Drawing Futures
Drawing Futures brings together international designers and artists for speculations in contemporary drawing for art and architecture. Despite numerous developments in technological manufacture and computational design that provide new grounds for designers, the act of drawing still plays a central role as a vehicle for speculation. There is a r...
Certified Programming with Dependent Types
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 ...
B C, Before Computers
The idea that the digital age has revolutionized our day-to-day experience of the world is nothing new, and has been amply recognized by cultural historians. In contrast, Stephen Robertson's BC: Before Computers is a work which questions the idea that the mid-twentieth century saw a single moment of rupture. It is about all the things that we ...
Introducing Vigilant Audiences
This ground-breaking collection of essays examines the scope and consequences of digital vigilantism - a phenomenon emerging on a global scale, which sees digital audiences using social platforms to shape social and political life. Longstanding forms of moral scrutiny and justice seeking are disseminated through our contemporary media landscape, an...
Mathematics Education in East Africa
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...
Psychiatry and the Legacies of Eugenics
From 1928 to 1972, the Alberta Sexual Sterilization Act, Canada's lengthiest eugenic policy, shaped social discourses and medical practice in the province. Sterilization programs - particularly involuntary sterilization programs - were responding both nationally and internationally to social anxieties produced by the perceived connection betwe...
The Big Data Agenda
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 ...
Transforming Trauma
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...
Illiberal Trends and Anti-EU Politics in East Central Europe
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...
Machine Learning for Cyber Physical Systems
This open proceedings presents new approaches to Machine Learning for Cyber Physical Systems, experiences and visions. It contains selected papers from the fifth international Conference ML4CPS - Machine Learning for Cyber Physical Systems, which was held in Berlin, March 12-13, 2020. Cyber Physical Systems are characterized by their ability to ada...
Future Space-Transport-System Components under High Thermal and Mechanical Loads
This open book presents the findings of Collaborative Research Center Transregio 40 (TRR40), initiated in July 2008 and funded by the German Research Foundation (DFG). Gathering innovative design concepts for thrust chambers and nozzles, as well as cutting-edge methods of aft-body flow control and propulsion-component cooling, it brings together fu...
Digital Entrepreneurship
This open book explores the global challenges and experiences related to digital entrepreneurial activities, using carefully selected examples from leading companies and economies that shape world business today and tomorrow. Digital entrepreneurship and the companies steering it have an enormous global impact; they promise to transform the busines...
NL ARMS Netherlands Annual Review of Military Studies 2020
This open volume surveys the state of the field to examine whether a fifth wave of deterrence theory is emerging. Bringing together insights from world-leading experts from three continents, the volume identifies the most pressing strategic challenges, frames theoretical concepts, and describes new strategies. The use and utility of deterrence in...
The Evolutionary Dynamics of Discursive Knowledge
This open book have three themes have been central to Leydesdorff's research: (1) the dynamics of science, technology, and innovation; (2) the scientometric operationalization of these concept; and (3) the elaboration in terms of a Triple Helix of university-industry-government relations. In this study, I discuss the relations among these them...
Organic Waste Composting through Nexus Thinking
Organic waste composting is another excellent example to demonstrate the power and the benefits of nexus thinking. Even though organic waste composting itself is not a new topic, those who want to start a new project or align an ongoing project with nexus thinking, find it difficult to gather the necessary information. With nine case studies from f...
Governing Social Protection in the Long Term
This open book examines the comparative evolution of social protection in Australia and New Zealand from 1890 to the present day, focusing on the relationship between employment relations and social policy. Utilising longstanding and more recent developments in historical institutionalist methodology, Ramia investigates the relationship between the...
Towards Interoperable Research Infrastructures for Environmental and Earth Sciences
This open access book summarises the latest developments on data management in the EU H2020 ENVRIplus project, which brought together more than 20 environmental and Earth science research infrastructures into a single community. It provides readers with a systematic overview of the common challenges faced by research infrastructures and how a '...
Historical and Multidisciplinary Perspectives on Hope
This open volume makes an important contribution to the ongoing research on hope theory by combining insights from both its long history and its increasing multi-disciplinarity. In the first part, it recognizes the importance of the centuries-old reflection on hope by offering historical perspectives and tracing it back to ancient Greek philosophy....
Digital Transformation in Semiconductor Manufacturing
This open book reports on cutting-edge electrical engineering and microelectronics solutions to foster and support digitalization in the semiconductor industry. Based on the outcomes of the European project iDev40, which were presented at the two first conference editions of the European Advances in Digital Transformation Conference (EADCT 2018 and...
Warez
When most people think of piracy, they think of Bittorrent and The Pirate Bay. These public manifestations of piracy, though, conceal an elite worldwide, underground, organized network of pirate groups who specialize in obtaining media - music, videos, games, and software - before their official sale date and then racing against one another to rele...
Greedy Algorithms
Each chapter comprises a separate study on some optimization problem giving both an introductory look into the theory the problem comes from and some new developments invented by author(s). Usually some elementary knowledge is assumed, yet all the required facts are quoted mostly in examples, remarks or theorems....
Evaluating Environment in International Development
This book provides novel and in-depth perspectives on evaluating environment and sustainability issues in developing countries. Evaluating Environment in International Development focuses on the approaches and experiences of leading international organizations, not-for-profits, and multilateral and bilateral aid agencies to illustrate how systemati...
The Future of Financial Systems in the Digital Age
The increasing capacity of digital networks and computing power, together with the resulting connectivity and availability of "big data", are impacting financial systems worldwide with rapidly advancing deep-learning algorithms and distributed ledger technologies. They transform the structure and performance of financial markets, the serv...
Building Information Modeling using Revit for Architects and Engineers
This book is geared towards users who have no Revit background. It starts with Revit basics such as how to create walls, floors, roof, but it also covers more advanced topics such as creating a complex object, preparing construction documents, and modeling mechanical and structural systems. This book is an open education platform for Architectur...

1 2 3 4