Böcker utgivna av MIT Press Ltd

A catalog of wonders, from walking fish to self-medicating chimpanzees.This Atlas of Poetic Zoology leads readers into a world of wonders where turtles fly under the sea, lizards walk on water, insects impersonate flowers, birds don't fly, frogs come back from the dead, and virgin sharks give birth. Animals, writes Emmanuelle Pouydebat, are lyric poets; they discover and shape the world when they sing, dance, explore, and reproduce. The animal kingdom has been evolving for millions of years, weathering many crises of extinction; this book allows us to draw inspiration from animals' enduring vitality.Pouydebat's text, accompanied by striking color illustrations by artist Julie Terrazzoni, offers a catalog of wondrous beings. Pouydebat describes the African bush elephant—the biggest land mammal of them all, but the evolutionary descendant of a tiny animal that stood less than fifty centimeters (nineteen inches) high sixty million years ago; the scaly, toothless pangolin, the world's most endangered mammal—and perhaps its most atypical; the red-lipped batfish, which walks, rather than swims, across the ocean floor; and the great black cockatoo, a gifted percussionist. Chimpanzees, she tells us, self-medicate with medicinal plants; the jellyfish, under stress, reverts to juvenile polyp-hood; and the sweetly named honey badger feeds on reptiles, termites, scorpions, and earthworms. Pouydebat, a researcher at the French Museum of Natural History, and Terrazzoni capture the astonishment promised by any excursion into nature—the happiness that comes from watching a dragonfly, spider, frog, lizard, elephant, parrot, mouse, orangutan, or ladybug. It's the joy of witnessing life itself. We need only open our eyes to see.

A graduate-level, mathematically rigorous introduction to strategic behavior in a networked world.This introductory graduate-level text uses tools from game theory and graph theory to examine the role of network structures and network effects in economic and information markets. The goal is for students to develop an intuitive and mathematically rigorous understanding of how strategic agents interact in a connected world. The text synthesizes some of the central results in the field while also simplifying their treatment to make them more accessible to nonexperts. Thus, students at the introductory level will gain an understanding of key ideas in the field that are usually only taught at the advanced graduate level.The book introduces basic concepts from game theory and graph theory as well as some fundamental algorithms for exploring graphs. These tools are then applied to analyze strategic interactions over social networks, to explore different types of markets and mechanisms for networks, and to study the role of beliefs and higher-level beliefs (beliefs about beliefs). Specific topics discussed include coordination and contagion on social networks, traffic networks, matchings and matching markets, exchange networks, auctions, voting, web search, models of belief and knowledge, and how beliefs affect auctions and markets. An appendix offers a "Primer on Probability.” Mathematically rigorous, the text assumes a level of mathematical maturity (comfort with definitions and proofs) in the reader.

An alternative history of software that places the liberal arts at the very center of software's evolution.In The Software Arts, Warren Sack offers an alternative history of computing that places the arts at the very center of software's evolution. Tracing the origins of software to eighteenth-century French encyclopedists' step-by-step descriptions of how things were made in the workshops of artists and artisans, Sack shows that programming languages are the offspring of an effort to describe the mechanical arts in the language of the liberal arts. Sack offers a reading of the texts of computing—code, algorithms, and technical papers—that emphasizes continuity between prose and programs. He translates concepts and categories from the liberal and mechanical arts—including logic, rhetoric, grammar, learning, algorithm, language, and simulation—into terms of computer science and then considers their further translation into popular culture, where they circulate as forms of digital life. He considers, among other topics, the "arithmetization” of knowledge that presaged digitization; today's multitude of logics; the history of demonstration, from deduction to newer forms of persuasion; and the post-Chomsky absence of meaning in grammar. With The Software Arts, Sack invites artists and humanists to see how their ideas are at the root of software and invites computer scientists to envision themselves as artists and humanists.

A project-based guide to the basics of deep learning.This concise, project-driven guide to deep learning takes readers through a series of program-writing tasks that introduce them to the use of deep learning in such areas of artificial intelligence as computer vision, natural-language processing, and reinforcement learning. The author, a longtime artificial intelligence researcher specializing in natural-language processing, covers feed-forward neural nets, convolutional neural nets, word embeddings, recurrent neural nets, sequence-to-sequence learning, deep reinforcement learning, unsupervised models, and other fundamental concepts and techniques. Students and practitioners learn the basics of deep learning by working through programs in Tensorflow, an open-source machine learning framework. "I find I learn computer science material best by sitting down and writing programs,” the author writes, and the book reflects this approach.Each chapter includes a programming project, exercises, and references for further reading. An early chapter is devoted to Tensorflow and its interface with Python, the widely used programming language. Familiarity with linear algebra, multivariate calculus, and probability and statistics is required, as is a rudimentary knowledge of programming in Python. The book can be used in both undergraduate and graduate courses; practitioners will find it an essential reference.

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.

The first textbook to present a comprehensive and detailed economic analysis of electricity markets, analyzing the tensions between microeconomics and political economy.The power industry is essential in our fight against climate change. This book is the first to examine in detail the microeconomics underlying power markets, stemming from peak-load pricing, by which prices are low when the installed generation capacity exceeds demand but can rise a hundred times higher when demand is equal to installed capacity. The outcome of peak-load pricing is often difficult to accept politically, and the book explores the tensions between microeconomics and political economy. Understanding peak-load pricing and its implications is essential for designing robust policies and making sound investment decisions. Thomas-Olivier Léautier presents the model in its simplest form, and introduces additional features as different issues are presented. The book covers all segments of electricity markets: electricity generation, under perfect and imperfect competition; retail competition and demand response; transmission pricing, transmission congestion management, and transmission constraints; and the current policy issues arising from the entry of renewables into the market and capacity mechanisms. Combining anecdotes and analysis of real situations with rigorous analytical modeling, each chapter analyzes one specific issue, first presenting findings in nontechnical terms accessible to policy practitioners and graduate students in management or public policy and then presenting a more mathematical analytical exposition for students and researchers specializing in the economics of electricity markets and for those who want to understand and apply the underlying models.

The transformative effect of technological change on households and culture, seen from a macroeconomic perspective through simple economic models.In Evolving Households, Jeremy Greenwood argues that technological progress has had as significant an effect on households as it had on industry. Taking a macroeconomic perspective, Greenwood develops simple economic models to study such phenomena as the rise in married female labor force participation, changes in fertility rates, the decline in marriage, and increased longevity. These trends represent a dramatic transformation in everyday life, and they were made possible by advancements in technology. Greenwood also addresses how technological progress can cause social change.Greenwood shows, for example, how electricity and labor-saving appliances freed women from full-time household drudgery and enabled them to enter the labor market. He explains that fertility dropped when higher wages increased the opportunity cost of having children; he attributes the post-World War II baby boom to a combination of labor-saving household technology and advances in obstetrics and pediatrics. Marriage rates declined when single households became more economically feasible; people could be more discriminating in their choice of a mate. Technological progress also affects social and cultural norms. Innovation in contraception ushered in a sexual revolution. Labor-saving technological progress at home, together with mechanization in industry that led to an increase in the value of brain relative to brawn for jobs, fostered the advancement of women's rights in the workplace. Finally, Greenwood attributes increased longevity to advances in medical technology and rising living standards, and he examines healthcare spending, the development of new drugs, and the growing portion of life now spent in retirement.

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.

An investigation of intelligence as an emergent phenomenon, integrating the perspectives of evolutionary biology, neuroscience, and artificial intelligence.

A review of the scientific evidence on the effects of cannabinoids on brain and behavioral functioning, with an emphasis on potential therapeutic use.

An exploration of how approaches that draw on evolutionary theory and complexity science can advance our understanding of economics.

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 hidden material histories of music.Music is seen as the most immaterial of the arts, and recorded music as a progress of dematerialization—an evolution from physical discs to invisible digits. In Decomposed, Kyle Devine offers another perspective. He shows that recorded music has always been a significant exploiter of both natural and human resources, and that its reliance on these resources is more problematic today than ever before. Devine uncovers the hidden history of recorded music—what recordings are made of and what happens to them when they are disposed of. Devine''s story focuses on three forms of materiality. Before 1950, 78 rpm records were made of shellac, a bug-based resin. Between 1950 and 2000, formats such as LPs, cassettes, and CDs were all made of petroleum-based plastic. Today, recordings exist as data-based audio files. Devine describes the people who harvest and process these materials, from women and children in the Global South to scientists and industrialists in the Global North. He reminds us that vinyl records are oil products, and that the so-called vinyl revival is part of petrocapitalism. The supposed immateriality of music as data is belied by the energy required to power the internet and the devices required to access music online. We tend to think of the recordings we buy as finished products. Devine offers an essential backstory. He reveals how a range of apparently peripheral people and processes are actually central to what music is, how it works, and why it matters.

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

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

A historical and ethnographic study of the conflict between global transportation and rural development as the two intersect at the Panama Canal.

The long-awaited new edition of a groundbreaking work on the impact of alternative concepts of space on modern art.

An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.A program's type describes its behavior. Dependent types are a first-class part of a language, and are much more powerful than other kinds of types; using just one language for types and programs allows program descriptions to be as powerful as the programs they describe. The Little Typer explains dependent types, beginning with a very small language that looks very much like Scheme and extending it to cover both programming with dependent types and using dependent types for mathematical reasoning. Readers should be familiar with the basics of a Lisp-like programming language, as presented in the first four chapters of The Little Schemer. The first five chapters of The Little Typer provide the needed tools to understand dependent types; the remaining chapters use these tools to build a bridge between mathematics and programming. Readers will learn that tools they know from programming—pairs, lists, functions, and recursion—can also capture patterns of reasoning. The Little Typer does not attempt to teach either practical programming skills or a fully rigorous approach to types. Instead, it demonstrates the most beautiful aspects as simply as possible, one step at a time.

A feminist media history of quantification, uncovering the stories behind the tools and technologies we use to count, measure, and weigh our lives and realities.Anglo-American culture has used media to measure and quantify lives for centuries. Historical journal entries map the details of everyday life, while death registers put numbers to life's endings. Today we count our daily steps with fitness trackers and quantify births and deaths with digitized data. How are these present-day methods for measuring ourselves similar to those used in the past? In this book, Jacqueline Wernimont presents a new media history of western quantification, uncovering the stories behind the tools and technologies we use to count, measure, and weigh our lives and realities.Numbered Lives is the first book of its kind, a feminist media history that maps connections not only between past and present-day "quantum media” but between media tracking and long-standing systemic inequalities. Wernimont explores the history of the pedometer, mortality statistics, and the census in England and the United States to illuminate the entanglement of Anglo-American quantification with religious, imperial, and patriarchal paradigms. In Anglo-American culture, Wernimont argues, counting life and counting death are sides of the same coin—one that has always been used to render statistics of life and death more valuable to corporate and state organizations. Numbered Lives enumerates our shared media history, helping us understand our digital culture and inheritance.

A foundational analysis of the co-evolution of the internet and international relations, examining resultant challenges for individuals, organizations, firms, and states.In our increasingly digital world, data flows define the international landscape as much as the flow of materials and people. How is cyberspace shaping international relations, and how are international relations shaping cyberspace? In this book, Nazli Choucri and David D. Clark offer a foundational analysis of the co-evolution of cyberspace (with the internet as its core) and international relations, examining resultant challenges for individuals, organizations, and states.The authors examine the pervasiveness of power and politics in the digital realm, finding that the internet is evolving much faster than the tools for regulating it. This creates a "co-evolution dilemma”—a new reality in which digital interactions have enabled weaker actors to influence or threaten stronger actors, including the traditional state powers. Choucri and Clark develop a new method for addressing control in the internet age, "control point analysis,” and apply it to a variety of situations, including major actors in the international and digital realms: the United States, China, and Google. In doing so they lay the groundwork for a new international relations theory that reflects the reality in which we live—one in which the international and digital realms are inextricably linked and evolving together.

The first book to present the common mathematical foundations of big data analysis across a range of applications and technologies.Today, the volume, velocity, and variety of data are increasing rapidly across a range of fields, including Internet search, healthcare, finance, social media, wireless devices, and cybersecurity. Indeed, these data are growing at a rate beyond our capacity to analyze them. The tools—including spreadsheets, databases, matrices, and graphs—developed to address this challenge all reflect the need to store and operate on data as whole sets rather than as individual elements. This book presents the common mathematical foundations of these data sets that apply across many applications and technologies. Associative arrays unify and simplify data, allowing readers to look past the differences among the various tools and leverage their mathematical similarities in order to solve the hardest big data challenges.The book first introduces the concept of the associative array in practical terms, presents the associative array manipulation system D4M (Dynamic Distributed Dimensional Data Model), and describes the application of associative arrays to graph analysis and machine learning. It provides a mathematically rigorous definition of associative arrays and describes the properties of associative arrays that arise from this definition. Finally, the book shows how concepts of linearity can be extended to encompass associative arrays. Mathematics of Big Data can be used as a textbook or reference by engineers, scientists, mathematicians, computer scientists, and software engineers who analyze big data.