Books published by MIT Press Ltd

The different ways that social change happens, from unleashing to nudging to social cascades.

Fundamental topics in machine learning are presented along with theoretical and conceptual tools for the discussion and proof of algorithms.

Tracing two centuries of rise, fall, and rebirth in the heart of downtown Detroit.Downtown Detroit is in the midst of an astonishing rebirth. Its sidewalks have become a dreamland for an aspiring creative class, filled with shoppers, office workers, and restaurant-goers. Cranes dot the skyline, replacing the wrecking balls seen there only a few years ago. But venture a few blocks in any direction and this liveliness gives way to urban blight, a nightmare cityscape of crumbling concrete, barbed wire, and debris. In Dream City, urban designer Conrad Kickert examines the paradoxes of Detroit's landscape of extremes, arguing that the current reinvention of downtown is the expression of two centuries of Detroiters' conflicting hopes and dreams. Kickert demonstrates the materialization of these dreams with a series of detailed original morphological maps that trace downtown's rise, fall, and rebirth.Kickert writes that downtown Detroit has always been different from other neighborhoods; it grew faster than other parts of the city, and it declined differently, forced to reinvent itself again and again. Downtown has been in constant battle with its own offspring—the automobile and the suburbs the automobile enabled—and modernized itself though parking attrition and land consolidation. Dream City is populated by a varied cast of downtown power players, from a 1920s parking lot baron to the pizza tycoon family and mortgage billionaire who control downtown's fate today. Even the most renowned planners and designers have consistently yielded to those with power, land, and finances to shape downtown. Kickert thus finds rhyme and rhythm in downtown's contemporary cacophony. Kickert argues that Detroit's case is extreme but not unique; many other American cities have seen a similar decline—and many others may see a similar revitalization.

The daughter of French psychoanalyst Jacques Lacan tries to make sense of her relationship with her father."When I was born, my father was already no longer there.” Sibylle Lacan's memoir of her father, the influential French psychoanalyst Jacques Lacan, is told through fragmentary, elliptical episodes, and describes a figure who had defined himself to her as much by his absence as by his presence. Sibylle was the second daughter and unhappy last child of Lacan's first marriage: the fruit of despair ("some will say of desire, but I do not believe them”). Lacan abandoned his old family for a new one: a new partner, Sylvia Bataille (the wife of Georges Bataille), and another daughter, born a few months after Sibylle. For years, this daughter, Judith, was the only publicly recognized child of Lacan—even if, due to French law, she lacked his name. In one sense, then, A Father presents the voice of one who, while bearing his name, had been erased. If Jacques Lacan had described the word as a "presence made of absence,” Sibylle Lacan here turns to the language of the memoir as a means of piecing together the presence of a man who had entered her life in absence, and in his passing, finished in it. In its interplay of absence, naming, and the despair engendered by both, A Father ultimately poses an essential question: what is a father? This first-person account offers both a riposte and a complement to the concept (and the name) of the father as Lacan had defined him in his work, and raises difficult issues about the influence biography can have on theory—and vice versa—and the sometimes yawning divide that can open up between theory and the lives we lead.

An introduction to applying predicate logic to testing and verification of software and digital circuits that focuses on applications rather than theory.Computer scientists use logic for testing and verification of software and digital circuits, but many computer science students study logic only in the context of traditional mathematics, encountering the subject in a few lectures and a handful of problem sets in a discrete math course. This book offers a more substantive and rigorous approach to logic that focuses on applications in computer science. Topics covered include predicate logic, equation-based software, automated testing and theorem proving, and large-scale computation. Formalism is emphasized, and the book employs three formal notations: traditional algebraic formulas of propositional and predicate logic; digital circuit diagrams; and the widely used partially automated theorem prover, ACL2, which provides an accessible introduction to mechanized formalism. For readers who want to see formalization in action, the text presents examples using Proof Pad, a lightweight ACL2 environment. Readers will not become ALC2 experts, but will learn how mechanized logic can benefit software and hardware engineers. In addition, 180 exercises, some of them extremely challenging, offer opportunities for problem solving. There are no prerequisites beyond high school algebra. Programming experience is not required to understand the book's equation-based approach. The book can be used in undergraduate courses in logic for computer science and introduction to computer science and in math courses for computer science students.

A groundbreaking study of how emotions motivate attempts to counter species loss.

The story of citizenship as a tale not of liberation, dignity, and nationhood but of complacency, hypocrisy, and domination.The glorification of citizenship is a given in today's world, part of a civic narrative that invokes liberation, dignity, and nationhood. In reality, explains Dimitry Kochenov, citizenship is a story of complacency, hypocrisy, and domination, flattering to citizens and demeaning for noncitizens. In this volume in the MIT Press Essential Knowledge series, Kochenov explains the state of citizenship in the modern world. Kochenov offers a critical introduction to a subject most often regarded uncritically, describing what citizenship is, what it entails, how it came about, and how its role in the world has been changing. He examines four key elements of the concept: status, considering how and why the status of citizenship is extended, what function it serves, and who is left behind; rights, particularly the right to live and work in a state; duties, and what it means to be a "good citizen”; and politics, as enacted in the granting and enjoyment of citizenship. Citizenship promises to apply the attractive ideas of dignity, equality, and human worth—but to strictly separated groups of individuals. Those outside the separation aren't citizens as currently understood, and they do not belong. Citizenship, Kochenov warns, is too often a legal tool that justifies violence, humiliation, and exclusion.

The growth of the global meat industry and the implications for climate change, food insecurity, workers'' rights, the treatment of animals, and other issues.Global meat production and consumption have risen sharply and steadily over the past five decades, with per capita meat consumption almost doubling since 1960. The expanding global meat industry, meanwhile, driven by new trade policies and fueled by government subsidies, is dominated by just a few corporate giants. Industrial farming—the intensive production of animals and fish—has spread across the globe. Millions of acres of land are now used for pastures, feed crops, and animal waste reservoirs. Drawing on concrete examples, the contributors to Global Meat explore the implications of the rise of a global meat industry for a range of social and environmental issues, including climate change, clean water supplies, hunger, workers'' rights, and the treatment of animals.Three themes emerge from their discussions: the role of government and corporations in shaping the structure of the global meat industry; the paradox of simultaneous rising meat production and greater food insecurity; and the industry''s contribution to social and environmental injustice. Contributors address such specific topics as the dramatic increase in pork production and consumption in China; land management by small-scale cattle farmers in the Amazon; the effect on the climate of rising greenhouse gas emissions from cattle raised for meat; and the tensions between economic development and animal welfare.ContributorsConner Bailey, Robert M. Chiles, Celize Christy, Riva C. H. Denny, Carrie Freshour, Philip H. Howard, Elizabeth Ransom, Tom Rudel, Mindi Schneider, Nhuong Tran, Bill Winders

Artists, theorists, activists, and scholars propose concrete forms of non-fascist living as the rise of contemporary fascisms threatens the foundations of common life.Propositions for Non-Fascist Living begins from the urgent need to model a world decidedly void of fascisms during a time when the rise of contemporary fascisms threatens the very foundations of a possibility for common life. Borrowing from Michel Foucault's notion of "non-fascist living” as an "art of living counter to all forms of fascism,” including that "in us all... the fascism that causes us to love power, to desire the very thing that dominates and exploits us,” the book addresses the practice of living rather than the mere object of life.Artists, theorists, activists, and scholars offer texts and visual essays that engage varied perspectives on practicing life and articulate methods that support multiplicity and difference rather than vaunting power and hierarchy. Architectural theorist Eyal Weizman, for example, describes an "unlikely common” in gathering evidence against false narratives; art historian and critic Sven Lütticken develops a non-fascist proposition drawn from the intersection of art, technology, and law; philosopher Rosi Braidotti explores an ethics of affirmation and the practices of dying.Propositions for Non-Fascist Living is the first in a BASICS series of readers from BAK, basis voor actuele kunst, Utrecht, engaging some of the most urgent problems of our time through theoretically informed and politically driven artistic research and practice.Contributors includeRosi Braidotti, Denise Ferreira da Silva, Jota Mombaça, and Thiago de Paula Souza, Forensic Architecture, Stefano Harney and Fred Moten, Patricia Kaersenhout and Lukás Likavcan, Sven Lütticken, Jumana Manna, Dan McQuillan, Shela Sheikh, Eyal Weizman, Mick WilsonCopublished with BAK, basis voor actuele kunst

A leading economist and former central banker discusses the evolution of central bank communication from secretiveness to transparency and accountability.Central bank communication has evolved from secretiveness to transparency and accountability—from a reluctance to give out any information at all to the belief in communication as a panacea for effective policy. In this book, Otmar Issing, himself a former central banker, discusses the journey toward transparency in central bank communication. Issing traces the development of transparency, examining the Bank of England as an example of extreme reticence and European Central Bank's President Mario Draghi as a practitioner of effective communication. He argues that the ultimate goal of central bank communication is to make monetary policy more effective, and describes the practice and theory of communication as an evolutionary process. For a long time, the Federal Reserve never made its monetary policy decisions public; the European Central Bank, on the other hand, had to adopt a modern communication strategy from the outset. Issing discusses the importance of guiding expectations in central bank communication, and points to financial markets as the most important recipients of this communication. He discusses the obligations of accountability and transparency, although he notes that total transparency is a "mirage.” Issing argues that the central message to the public must always be that the stability of a nation's currency is the bank's priority.

Cutting through the hype, a practical guide to using artificial intelligence for business benefits and competitive advantage.In The AI Advantage, Thomas Davenport offers a guide to using artificial intelligence in business. He describes what technologies are available and how companies can use them for business benefits and competitive advantage. He cuts through the hype of the AI craze—remember when it seemed plausible that IBM's Watson could cure cancer?—to explain how businesses can put artificial intelligence to work now, in the real world. His key recommendation: don't go for the "moonshot” (curing cancer, or synthesizing all investment knowledge); look for the "low-hanging fruit” to make your company more efficient.Davenport explains that the business value AI offers is solid rather than sexy or splashy. AI will improve products and processes and make decisions better informed—important but largely invisible tasks. AI technologies won't replace human workers but augment their capabilities, with smart machines to work alongside smart people. AI can automate structured and repetitive work; provide extensive analysis of data through machine learning ("analytics on steroids”), and engage with customers and employees via chatbots and intelligent agents. Companies should experiment with these technologies and develop their own expertise.Davenport describes the major AI technologies and explains how they are being used, reports on the AI work done by large commercial enterprises like Amazon and Google, and outlines strategies and steps to becoming a cognitive corporation. This book provides an invaluable guide to the real-world future of business AI.A book in the Management on the Cutting Edge series, published in cooperation with MIT Sloan Management Review.

Everything you've always wanted to know about self-driving cars, Netflix recommendations, IBM's Watson, and video game-playing computer programs.The future is here: Self-driving cars are on the streets, an algorithm gives you movie and TV recommendations, IBM's Watson triumphed on Jeopardy over puny human brains, computer programs can be trained to play Atari games. But how do all these things work? In this book, Sean Gerrish offers an engaging and accessible overview of the breakthroughs in artificial intelligence and machine learning that have made today's machines so smart.Gerrish outlines some of the key ideas that enable intelligent machines to perceive and interact with the world. He describes the software architecture that allows self-driving cars to stay on the road and to navigate crowded urban environments; the million-dollar Netflix competition for a better recommendation engine (which had an unexpected ending); and how programmers trained computers to perform certain behaviors by offering them treats, as if they were training a dog. He explains how artificial neural networks enable computers to perceive the world—and to play Atari video games better than humans. He explains Watson's famous victory on Jeopardy, and he looks at how computers play games, describing AlphaGo and Deep Blue, which beat reigning world champions at the strategy games of Go and chess. Computers have not yet mastered everything, however; Gerrish outlines the difficulties in creating intelligent agents that can successfully play video games like StarCraft that have evaded solution—at least for now. Gerrish weaves the stories behind these breakthroughs into the narrative, introducing readers to many of the researchers involved, and keeping technical details to a minimum. Science and technology buffs will find this book an essential guide to a future in which machines can outsmart people.

Why the news about the global decline of infectious diseases is not all good.Plagues and parasites have played a central role in world affairs, shaping the evolution of the modern state, the growth of cities, and the disparate fortunes of national economies. This book tells that story, but it is not about the resurgence of pestilence. It is the story of its decline. For the first time in recorded history, virus, bacteria, and other infectious diseases are not the leading cause of death or disability in any region of the world. People are living longer, and fewer mothers are giving birth to many children in the hopes that some might survive. And yet, the news is not all good. Recent reductions in infectious disease have not been accompanied by the same improvements in income, job opportunities, and governance that occurred with these changes in wealthier countries decades ago. There have also been unintended consequences. In this book, Thomas Bollyky explores the paradox in our fight against infectious disease: the world is getting healthier in ways that should make us worry. Bollyky interweaves a grand historical narrative about the rise and fall of plagues in human societies with contemporary case studies of the consequences. Bollyky visits Dhaka—one of the most densely populated places on the planet—to show how low-cost health tools helped enable the phenomenon of poor world megacities. He visits China and Kenya to illustrate how dramatic declines in plagues have affected national economies. Bollyky traces the role of infectious disease in the migrations from Ireland before the potato famine and to Europe from Africa and elsewhere today. Historic health achievements are remaking a world that is both worrisome and full of opportunities. Whether the peril or promise of that progress prevails, Bollyky explains, depends on what we do next.A Council on Foreign Relations Book