X Events

A necessary and thought-provoking read for the age of coronavirus, exploring eleven scenarios that may trigger the collapse of the modern world — from pandemics to nuclear apocalypse to robot uprisings — and what we can do to prevent and survive them. In the twenty first century, our world has become impossibly complicated, relying on ever more advanced technology that is developing at an exponential rate. Yet it is a fact of mathematical life that higher and higher levels of complexity lead to systems that are increasingly fragile and susceptible to sudden, spectacular collapse. In this highly provocative and grippingly readable book, John Casti brilliantly argues that today’s advanced, overly complex societies have grown highly vulnerable to extreme events that will ultimately topple civilization like a house of cards. Like Nassim Taleb’s The Black Swan meets Jared Diamond’s Collapse, Casti’s book provides a much-needed wake-up call, sounding a fascinating and frightening warning about civilized society’s inability to recover from a global catastrophe. An eye-opening and necessary read, X-Events is a shocking look at a world teetering on the brink of collapse, and a population under constant threat from pandemic viruses, worldwide communication breakdowns, nuclear winter, or any number of unforeseeable “X-Events.” Fascinating and chilling, X-Events provides a provocative tour of the catastrophic outlier scenarios that could quickly send us crashing back to the preindustrial age – and shows that they may not be as far-fetched as they seem.

This book constitutes the refereed conference proceedings of the 22nd International Conference on Principles and Practice of Constraint Programming, CP 2016, held in Toulouse, France, in September 2016. The 63 revised regular papers presented together with 4 short papers and the abstracts of 4 invited talks were carefully reviewed and selected from 157 submissions. The scope of CP 2016 includes all aspects of computing with constraints, including theory, algorithms, environments, languages, models, systems, and applications such as decision making, resource allocation, scheduling, configuration, and planning. The papers are grouped into the following tracks: technical track; application track; computational sustainability track; CP and biology track; music track; preference, social choice, and optimization track; testing and verification track; and journal-first and sister conferences track.

Concurrent systems are generally understood in terms of behavioral notions. Models for Concurrency analyzes the subject in terms of events and their temporal relationship rather than on global states. It presents a comprehensive analysis of model theory applied to concurrent protocols, and seeks to provide a theory of concurrency that is both intuitively appealing and rigorously based on mathematical foundations. The book is divided into three main sections. The first introduces the required concepts from model theory, details the structures that are used to model concurrency, gives an in-depth description and explanation of the semantics of a simple language that allows concurrent execution of sequential programs, and deals with the question of resolving executions into higher-level and lower-level granularities. The second and third sections apply the theory developed to practical examples, and an exposition of the producer/consumer problem with details of two solutions is given. The author also deals with message passing, as opposed to shared memory.

More Precisely provides a rigorous and engaging introduction to the mathematics necessary to do philosophy. It is impossible to fully understand much of the most important work in contemporary philosophy without a basic grasp of set theory, functions, probability, modality and infinity. Until now, this knowledge was difficult to acquire. Professors had to provide custom handouts to their classes, while students struggled through math texts searching for insight. More Precisely fills this key gap. Eric Steinhart provides lucid explanations of the basic mathematical concepts and sets out most commonly used notational conventions. Furthermore, he demonstrates how mathematics applies to many fundamental issues in branches of philosophy such as metaphysics, philosophy of language, epistemology, and ethics.

This book constitutes the refereed proceedings of the 7th International Conference on Principles and Practice of Constraint Programming, CP 2001, held in Paphos, Cyprus, in November/December 2001. The 37 revised full papers, 9 innovative applications presentations, and 14 short papers presented were carefully reviewed and selected from a total of 135 submissions. All current issues in constraint processing are addressed, ranging from theoretical and foundational issues to advanced and innovative applications in a variety of fields.

David Kellogg Lewis (1941-2001) was one of the most influential philosophers of the twentieth century. He made significant contributions to almost every area of analytic philosophy including metaphysics, philosophy of language, philosophy of mind, and philosophy of science, and set the agenda for various debates in these areas which carry on to this day. In several respects he remains a contemporary figure, yet enough time has now passed for historians of philosophy to begin to study his place in twentieth century thought. His philosophy was constructed and refined not just through his published writing, but also crucially through his life-long correspondence with fellow philosophers, including leading figures such as D.M. Armstrong, Saul Kripke, W.V. Quine, J.J.C. Smart, and Peter van Inwagen. His letters formed the undercurrent of his published work and became the medium through which he proposed many of his well-known theories and discussed a range of philosophical topics in depth. A selection of his vast correspondence over a 40-year period is presented here across two volumes. As metaphysics is arguably where Lewis made his greatest contribution, this forms the focus of Volume 1. Arranged under the broad areas of Causation, Modality, and Ontology, the letters offer an organic story of the origins, development, breadth, and depth of his metaphysics in its historical context, as well as a glimpse into the influence of his many interlocutors. This volume will be an indispensable resource for contemporary metaphysics and for those interested in the Lewisian perspective.

Data analysis has been a hot topic for a number of years, and many future data scientists have backgrounds that are relatively light in mathematics. This slim volume provides a very approachable guide to the techniques of the subject, designed with such people in mind. Formulae are kept to a minimum, but the book's scope is broad, introducing the basic ideas of probability and statistics and more advanced techniques such as generalised linear models, classification using logistic regression, and support-vector machines. An essential feature of the book is that it does not tie to any particular software. The methods introduced in this book could also be implemented using any other statistical software and applying any major statistical package. Academically, the book amounts to a first course, practical for those at the undergraduate level, either as part of a mathematics/statistics degree or as a data-oriented option for a non-mathematics degree. The book appeals to would-be data scientists who may be formula shy. However, it could also be a relevant purchase for statisticians and mathematicians, for whom data science is a new departure, overall appealing to any computer-literate reader with data to analyse.