SAT/SMT solvers can be viewed as solvers of huge systems of equations. The difference is that SMT solvers takes systems in arbitrary format, while SAT solvers are limited to boolean equations in CNF 1 form. A lot of real world problems can be represented as problems of solving system of equations....
Multilingualism is integral to the human condition. Hinging on the concept of Creative Multilingualism - the idea that language diversity and creativity are mutually enriching - this timely and thought-provoking volume shows how the concept provides a matrix for experimentation with ideas, approaches and methods.
The book presents four years of ...
Big Data collected by customer-facing organisations - such as smartphone logs, store loyalty card transactions, smart travel tickets, social media posts, or smart energy meter readings - account for most of the data collected about citizens today. As a result, they are transforming the practice of social science. Consumer Big Data are distinct from...
This is an introductory book on algorithmic graph theory. Theory and algorithms are illustrated using the Sage open source mathematics software....
Aural History is an anti-memoir memoir of encountering devastating grief that uses experimental storytelling to recreate the winding, fractured path of loss and transformation.
Written by a thirty-something psychotherapist and queer theorist, Aural History is structured as a sequence of three sections that each use different narrative styles to ...
The SQL Notes for Professionals book is compiled from Stack Overflow Documentation, the content is written by the beautiful people at Stack Overflow....
The book heavily leans on examples to present features of sed as well as regular expressions one by one. It is recommended that you manually type each example and experiment with them. Understanding both the nature of sample input string and the output produced is essential.
You should have prior experience working with command line and bash she...
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...
Small Canadian cities confront serious social issues as a result of the neoliberal economic restructuring practiced by both federal and provincial governments since the 1980s. Drastic spending reductions and ongoing restraint in social assistance, income supports, and the provision of affordable housing, combined with the offloading of social respo...
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...
This collection of essays from world-renowned scholar Hans Walter Gabler contains writings from a decade and a half of retirement spent exploring textual criticism, genetic criticism, and literary criticism. In these sixteen stimulating contributions, he develops theories of textual criticism and editing that are inflected by our advance into the d...
This open book attends to the co-creation of digital public services for ageing societies. Increasingly public services are provided in digital form; their uptake however remains well below expectations. In particular, amongst older adults the need for public services is high, while at the same time the uptake of digital services is lower than the ...
Many scholars have wondered if a non-Western theory of international politics founded on different premises, be it from Asia or from the "Global South," could release international relations from the grip of a Western, "Westphalian" model. This book argues that a Buddhist approach to international relations could provide a genui...
This open book explores how biometric data is increasingly flowing across borders in order to limit, control and contain the mobility of selected people, namely criminalized populations. It introduces the concept of bio-bordering, using it to capture reverse patterns of bordering and ordering practices linked to transnational biometric data exchang...
This open book explores the history of asylums and their civilian patients during the First World War, focusing on the effects of wartime austerity and deprivation on the provision of care. While a substantial body of literature on ‘shell shock’ exists, this study uncovers the mental wellbeing of civilians during the war. It provides the first ...
In this concise yet comprehensive open book, future inventors are introduced to the key concepts of Cyber-Physical Systems (CPS). Using modeling as a way to develop deeper understanding of the computational and physical components of these systems, one can express new designs in a way that facilitates their simulation, visualization, and analysis. ...
This open book coherently gathers well-founded information on the fundamentals of and formalisms for modelling cyber-physical systems (CPS). Highlighting the cross-disciplinary nature of CPS modelling, it also serves as a bridge for anyone entering CPS from related areas of computer science or engineering.Truly complex, engineered systems - known a...
A stark departure from traditional philology, What is Authorial Philology? is the first comprehensive treatment of authorial philology as a discipline in its own right. It provides readers with an excellent introduction to the theory and practice of editing 'authorial texts' alongside an exploration of authorial philology in its cultural ...
Through fifteen essays that work from a rich array of primary sources, this collection makes the novel claim that early modern European women, like men, had a youth. European culture recognised that, between childhood and full adulthood, early modern women experienced distinctive physiological, social, and psychological transformations. Drawing on ...
William Sharp (1855-1905) conducted one of the most audacious literary deceptions of his or any time. A Scottish poet, novelist, biographer, and editor, he began in 1893 to write critically and commercially successful books under the name Fiona Macleod who became far more than a pseudonym. Enlisting his sister to provide the Macleod handwriting, he...
As Python continues to grow in popularity, projects are becoming larger and more complex. Many Python developers are taking an interest in high-level software design patterns such as hexagonal/clean architecture, event-driven architecture, and the strategic patterns prescribed by domain-driven design (DDD). But translating those patterns into Pytho...
What does it mean to be a scientist working today; specifically, a scientist whose subject matter is human life? Scientists often overstate their claim to certainty, sorting the world into categorical distinctions that obstruct rather than clarify its complexities. In this book Daniel Nettle urges the reader to unpick such distinctions - biological...