Böcker i The MIT Press-serien

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.

An examination of how artists have combined performance and moving image for decades, anticipating our changing relation to images in the internet era.In Performing Image, Isobel Harbison examines how artists have combined performance and moving image in their work since the 1960s, and how this work anticipates our changing relations to images since the advent of smart phones and the spread of online prosumerism. Over this period, artists have used a variety of DIY modes of self-imaging and circulation—from home video to social media—suggesting how and why Western subjects might seek alternative platforms for self-expression and self-representation. In the course of her argument, Harbison offers close analyses of works by such artists as Robert Rauschenberg, Yvonne Rainer, Mark Leckey, Wu Tsang, and Martine Syms.Harbison argues that while we produce images, images also produce us—those that we take and share, those that we see and assimilate through mass media and social media, those that we encounter in museums and galleries. Although all the artists she examines express their relation to images uniquely, they also offer a vantage point on today's productive-consumptive image circuits in which billions of us are caught. This unregulated, all-encompassing image performativity, Harbison writes, puts us to work, for free, in the service of global corporate expansion. Harbison offers a three-part interpretive framework for understanding this new proximity to images as it is negotiated by these artworks, a detailed outline of a set of connected practices—and a declaration of the value of art in an economy of attention and a crisis of representation.

A new approach to Hume's problem of induction that justifies the optimality of induction at the level of meta-induction.Hume's problem of justifying induction has been among epistemology's greatest challenges for centuries. In this book, Gerhard Schurz proposes a new approach to Hume's problem. Acknowledging the force of Hume's arguments against the possibility of a noncircular justification of the reliability of induction, Schurz demonstrates instead the possibility of a noncircular justification of the optimality of induction, or, more precisely, of meta-induction (the application of induction to competing prediction models). Drawing on discoveries in computational learning theory, Schurz demonstrates that a regret-based learning strategy, attractivity-weighted meta-induction, is predictively optimal in all possible worlds among all prediction methods accessible to the epistemic agent. Moreover, the a priori justification of meta-induction generates a noncircular a posteriori justification of object induction. Taken together, these two results provide a noncircular solution to Hume's problem.Schurz discusses the philosophical debate on the problem of induction, addressing all major attempts at a solution to Hume's problem and describing their shortcomings; presents a series of theorems, accompanied by a description of computer simulations illustrating the content of these theorems (with proofs presented in a mathematical appendix); and defends, refines, and applies core insights regarding the optimality of meta-induction, explaining applications in neighboring disciplines including forecasting sciences, cognitive science, social epistemology, and generalized evolution theory. Finally, Schurz generalizes the method of optimality-based justification to a new strategy of justification in epistemology, arguing that optimality justifications can avoid the problems of justificatory circularity and regress.

A comprehensive introduction to contract theory, emphasizing common themes and methodologies as well as applications in key areas.Despite the vast research literature on topics relating to contract theory, only a few of the field's core ideas are covered in microeconomics textbooks. This long-awaited book fills the need for a comprehensive textbook on contract theory suitable for use at the graduate and advanced undergraduate levels. It covers the areas of agency theory, information economics, and organization theory, highlighting common themes and methodologies and presenting the main ideas in an accessible way. It also presents many applications in all areas of economics, especially labor economics, industrial organization, and corporate finance. The book emphasizes applications rather than general theorems while providing self-contained, intuitive treatment of the simple models analyzed. In this way, it can also serve as a reference for researchers interested in building contract-theoretic models in applied contexts.The book covers all the major topics in contract theory taught in most graduate courses. It begins by discussing such basic ideas in incentive and information theory as screening, signaling, and moral hazard. Subsequent sections treat multilateral contracting with private information or hidden actions, covering auction theory, bilateral trade under private information, and the theory of the internal organization of firms; long-term contracts with private information or hidden actions; and incomplete contracts, the theory of ownership and control, and contracting with externalities. Each chapter ends with a guide to the relevant literature. Exercises appear in a separate chapter at the end of the book.

The authors of this ambitious book address a fundamental political question: why are leaders who produce peace and prosperity turned out of office while those who preside over corruption, war, and misery endure? Considering this political puzzle, they also answer the related economic question of why some countries experience successful economic development and others do not. The authors construct a provocative theory on the selection of leaders and present specific formal models from which their central claims can be deduced. They show how political leaders allocate resources and how institutions for selecting leaders create incentives for leaders to pursue good and bad public policy. They also extend the model to explain the consequences of war on political survival. Throughout the book, they provide illustrations from history, ranging from ancient Sparta to Vichy France, and test the model against statistics gathered from cross-national data. The authors explain the political intuition underlying their theory in nontechnical language, reserving formal proofs for chapter appendixes. They conclude by presenting policy prescriptions based on what has been demonstrated theoretically and empirically.

The present volume offers eloquent testimony that many of the master builders of this century have held passionate convictions regarding the philosophic and social basis of their art. Nearly every important development in the modern architectural movement began with the proclamation of these convictions in the form of a program or manifesto. The most influential of these are collected here in chronological order from 1903 to 1963. Taken together, they constitute a subjective history of modern architecture; compared with one another, their great diversity of style reveals in many cases the basic differences of attitude and temperament that produced a corresponding divergence in architectural style. In point of view, the book covers the aesthetic spectrum from right to left; from programs that rigidly generate designs down to the smallest detail to revolutionary manifestoes that call for anarchy in building form and town plan. The documents, placed in context by the editor, are also international in their range: among them are the seminal and prophetic statements of Henry van de Velde, Adolf Loos, and Bruno Taut from the early years of the century; Frank Lloyd Wright's 1910 annunciation of Organic Architecture; Gropius's original program for the Bauhaus, founded in Weimar in 1919; "Towards a New Architecture, Guiding Principles" by Le Corbusier; the formulation by Naum Gabo and Antoine Pevsner of the basic principles of Constructivism; and articles by R. Buckminster Fuller on universal architecture and the architect as world planner. Other pronouncements, some in flamboyant style, including those of Erich Mendelsohn, Hannes Meyer, Theo van Doesburg, Oskar Schlemmer, Ludwig Mies van der Rohe, El Lissitzky, and Louis I. Kahn. There are also a number of collective or group statements, issued in the name of movements such as CIAM, De Stijl, ABC, the Situationists, and GEAM.Since the dramatic effectiveness of the manifesto form is usually heightened by brevity and conciseness, it has been possible to reproduce most of the documents in their entirety; only a few have been excerpted.

How we experience space by listening: the concepts of aural architecture, with examples ranging from Gothic cathedrals to surround sound home theater.We experience spaces not only by seeing but also by listening. We can navigate a room in the dark, and "hear" the emptiness of a house without furniture. Our experience of music in a concert hall depends on whether we sit in the front row or under the balcony. The unique acoustics of religious spaces acquire symbolic meaning. Social relationships are strongly influenced by the way that space changes sound. In Spaces Speak, Are You Listening?, Barry Blesser and Linda-Ruth Salter examine auditory spatial awareness: experiencing space by attentive listening. Every environment has an aural architecture.The audible attributes of physical space have always contributed to the fabric of human culture, as demonstrated by prehistoric multimedia cave paintings, classical Greek open-air theaters, Gothic cathedrals, acoustic geography of French villages, modern music reproduction, and virtual spaces in home theaters. Auditory spatial awareness is a prism that reveals a culture's attitudes toward hearing and space. Some listeners can learn to "see" objects with their ears, but even without training, we can all hear spatial geometry such as an open door or low ceiling.Integrating contributions from a wide range of disciplines—including architecture, music, acoustics, evolution, anthropology, cognitive psychology, audio engineering, and many others—Spaces Speak, Are You Listening? establishes the concepts and language of aural architecture. These concepts provide an interdisciplinary guide for anyone interested in gaining a better understanding of how space enhances our well-being. Aural architecture is not the exclusive domain of specialists. Accidentally or intentionally, we all function as aural architects.

Memoir, clinical writings, and ethnography inform new perspectives on the experience of technology; personal stories illuminate how technology enters the inner life.

Autobiographical essays, framed by two interpretive essays by the editor, describe the power of an object to evoke emotion and provoke thought: reflections on a cello, a laptop computer, a 1964 Ford Falcon, an apple, a mummy in a museum, and other "things-to-think-with."For Sherry Turkle, "We think with the objects we love; we love the objects we think with." In Evocative Objects, Turkle collects writings by scientists, humanists, artists, and designers that trace the power of everyday things. These essays reveal objects as emotional and intellectual companions that anchor memory, sustain relationships, and provoke new ideas.These days, scholars show new interest in the importance of the concrete. This volume's special contribution is its focus on everyday riches: the simplest of objects—an apple, a datebook, a laptop computer—are shown to bring philosophy down to earth. The poet contends, "No ideas but in things." The notion of evocative objects goes further: objects carry both ideas and passions. In our relations to things, thought and feeling are inseparable.Whether it's a student's beloved 1964 Ford Falcon (left behind for a station wagon and motherhood), or a cello that inspires a meditation on fatherhood, the intimate objects in this collection are used to reflect on larger themes—the role of objects in design and play, discipline and desire, history and exchange, mourning and memory, transition and passage, meditation and new vision.In the interest of enriching these connections, Turkle pairs each autobiographical essay with a text from philosophy, history, literature, or theory, creating juxtapositions at once playful and profound. So we have Howard Gardner's keyboards and Lev Vygotsky's hobbyhorses; William Mitchell's Melbourne train and Roland Barthes' pleasures of text; Joseph Cevetello's glucometer and Donna Haraway's cyborgs. Each essay is framed by images that are themselves evocative. Essays by Turkle begin and end the collection, inviting us to look more closely at the everyday objects of our lives, the familiar objects that drive our routines, hold our affections, and open out our world in unexpected ways.

A visionary report on the revitalization of the liberal arts tradition in the electronically inflected, design-driven, multimedia language of the twenty-first century.

Market Volatility proposes an innovative theory, backed by substantial statistical evidence, on the causes of price fluctuations in speculative markets.

The original 1818 text of Mary Shelley's classic novel, with annotations and essays highlighting its scientific, ethical, and cautionary aspects.Mary Shelley's Frankenstein has endured in the popular imagination for two hundred years. Begun as a ghost story by an intellectually and socially precocious eighteen-year-old author during a cold and rainy summer on the shores of Lake Geneva, the dramatic tale of Victor Frankenstein and his stitched-together creature can be read as the ultimate parable of scientific hubris. Victor, "the modern Prometheus,” tried to do what he perhaps should have left to Nature: create life. Although the novel is most often discussed in literary-historical terms—as a seminal example of romanticism or as a groundbreaking early work of science fiction—Mary Shelley was keenly aware of contemporary scientific developments and incorporated them into her story. In our era of synthetic biology, artificial intelligence, robotics, and climate engineering, this edition of Frankenstein will resonate forcefully for readers with a background or interest in science and engineering, and anyone intrigued by the fundamental questions of creativity and responsibility. This edition of Frankenstein pairs the original 1818 version of the manuscript—meticulously line-edited and amended by Charles E. Robinson, one of the world's preeminent authorities on the text—with annotations and essays by leading scholars exploring the social and ethical aspects of scientific creativity raised by this remarkable story. The result is a unique and accessible edition of one of the most thought-provoking and influential novels ever written.Essays byElizabeth Bear, Cory Doctorow, Heather E. Douglas, Josephine Johnston, Kate MacCord, Jane Maienschein, Anne K. Mellor, Alfred Nordmann

An introduction to a popular programming language for neuroscience research, taking the reader from beginning to intermediate and advanced levels of MATLAB programming.MATLAB is one of the most popular programming languages for neuroscience and psychology research. Its balance of usability, visualization, and widespread use makes it one of the most powerful tools in a scientist's toolbox. In this book, Mike Cohen teaches brain scientists how to program in MATLAB, with a focus on applications most commonly used in neuroscience and psychology. Although most MATLAB tutorials will abandon users at the beginner's level, leaving them to sink or swim, MATLAB for Brain and Cognitive Scientists takes readers from beginning to intermediate and advanced levels of MATLAB programming, helping them gain real expertise in applications that they will use in their work.The book offers a mix of instructive text and rigorous explanations of MATLAB code along with programming tips and tricks. The goal is to teach the reader how to program data analyses in neuroscience and psychology. Readers will learn not only how to but also how not to program, with examples of bad code that they are invited to correct or improve. Chapters end with exercises that test and develop the skills taught in each chapter. Interviews with neuroscientists and cognitive scientists who have made significant contributions their field using MATLAB appear throughout the book. MATLAB for Brain and Cognitive Scientists is an essential resource for both students and instructors, in the classroom or for independent study.

An account of the significant though gradual, uneven, disconnected, ad hoc, and pragmatic innovations in global financial governance and developmental finance induced by the global financial crisis.

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.

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.

Using our moral and technical imaginations to create responsible innovations: theory, method, and applications for value sensitive design.Implantable medical devices and human dignity. Private and secure access to information. Engineering projects that transform the Earth. Multigenerational information systems for international justice. How should designers, engineers, architects, policy makers, and others design such technology? Who should be involved and what values are implicated? In Value Sensitive Design, Batya Friedman and David Hendry describe how both moral and technical imagination can be brought to bear on the design of technology. With value sensitive design, under development for more than two decades, Friedman and Hendry bring together theory, methods, and applications for a design process that engages human values at every stage.After presenting the theoretical foundations of value sensitive design, which lead to a deep rethinking of technical design, Friedman and Hendry explain seventeen methods, including stakeholder analysis, value scenarios, and multilifespan timelines. Following this, experts from ten application domains report on value sensitive design practice. Finally, Friedman and Hendry explore such open questions as the need for deeper investigation of indirect stakeholders and further method development.This definitive account of the state of the art in value sensitive design is an essential resource for designers and researchers working in academia and industry, students in design and computer science, and anyone working at the intersection of technology and society.

A comprehensive text and reference that covers all aspects of computer music, including digital audio, synthesis techniques, signal processing, musical input devices, performance software, editing systems, algorithmic composition, MIDI, synthesizer architecture, system interconnection, and psychoacoustics. The Computer Music Tutorial is a comprehensive text and reference that covers all aspects of computer music, including digital audio, synthesis techniques, signal processing, musical input devices, performance software, editing systems, algorithmic composition, MIDI, synthesizer architecture, system interconnection, and psychoacoustics. A special effort has been made to impart an appreciation for the rich history behind current activities in the field. Profusely illustrated and exhaustively referenced and cross-referenced, The Computer Music Tutorial provides a step-by-step introduction to the entire field of computer music techniques. Written for nontechnical as well as technical readers, it uses hundreds of charts, diagrams, screen images, and photographs as well as clear explanations to present basic concepts and terms. Mathematical notation and program code examples are used only when absolutely necessary. Explanations are not tied to any specific software or hardware.The material in this book was compiled and refined over a period of several years of teaching in classes at Harvard University, Oberlin Conservatory, the University of Naples, IRCAM, Les Ateliers UPIC, and in seminars and workshops in North America, Europe, and Asia.

This second volume continues the study of the relationships of the ideals of design and the realities of construction in modern architecture, beginning in the late 1920s and extending to the present day.

The author's purpose is to set out as simply and vividly as possible the exact grammatical workings of an architectural language.Classical architecture is a visual "language" and like any other language has its own grammatical rules. Classical buildings as widely spaced in time as a Roman temple, an Italian Renaissance palace and a Regency house all show an awareness of these rules even if they vary them, break them or poetically contradict them. Sir Christopher Wren described them as the "Latin" of architecture and the analogy is almost exact. There is the difference, however, that whereas the learning of Latin is a slow and difficult business, the language of classical architecture is relatively simple. It is still, to a great extent, the mode of expression of our urban surroundings, since classical architecture was the common language of the western world till comparatively recent times. Anybody to whom architecture makes a strong appeal has probably already discovered something of its grammar for himself. In this book, the author's purpose is to set out as simply and vividly as possible the exact grammatical workings of this architectural language. He is less concerned with its development in Greece and Rome than with its expansion and use in the centuries since the Renaissance. He explains the vigorous discipline of "the orders" and the scope of "rustication"; the dramatic deviations of the Baroque and, in the last chapter, the relationship between the classical tradition and the "modern" architecture of today. The book is intended for anybody who cares for architecture but more specifically for students beginning a course in the history of architecture, to whom a guide to the classical rules will be an essential companion.

An integrated overview of hearing and the interplay of physical, biological, and psychological processes underlying it.Every time we listen—to speech, to music, to footsteps approaching or retreating—our auditory perception is the result of a long chain of diverse and intricate processes that unfold within the source of the sound itself, in the air, in our ears, and, most of all, in our brains. Hearing is an "everyday miracle" that, despite its staggering complexity, seems effortless. This book offers an integrated account of hearing in terms of the neural processes that take place in different parts of the auditory system.Because hearing results from the interplay of so many physical, biological, and psychological processes, the book pulls together the different aspects of hearing—including acoustics, the mathematics of signal processing, the physiology of the ear and central auditory pathways, psychoacoustics, speech, and music—into a coherent whole.

Analysis of Latin America's economy focusing on development, covering the colonial roots of inequality, boom and bust cycles, labor markets, and fiscal and monetary policy.Latin America is richly endowed with natural resources, fertile land, and vibrant cultures. Yet the region remains much poorer than its neighbors to the north. Most Latin American countries have not achieved standards of living and stable institutions comparable to those found in developed countries, have experienced repeated boom-bust cycles, and remain heavily reliant on primary commodities. This book studies the historical roots of Latin America's contemporary economic and social development, focusing on poverty and income inequality dating back to colonial times. It addresses today's legacies of the market-friendly reforms that took hold in the 1980s and 1990s by examining successful stabilizations and homemade monetary and fiscal institutional reforms. It offers a detailed analysis of trade and financial liberalization, twenty-first century-growth, and the decline in poverty and income inequality. Finally, the book offers an overall analysis of inclusive growth policies for development—including gender issues and the informal sector—and the challenges that lie ahead for the region, with special attention to pressing demands by the vibrant and vocal middle class, youth unemployment, and indigenous populations.

An industry insider explains why there is so much bad software—and why academia doesn't teach programmers what industry wants them to know.Why is software so prone to bugs? So vulnerable to viruses? Why are software products so often delayed, or even canceled? Is software development really hard, or are software developers just not that good at it? In The Problem with Software, Adam Barr examines the proliferation of bad software, explains what causes it, and offers some suggestions on how to improve the situation.For one thing, Barr points out, academia doesn't teach programmers what they actually need to know to do their jobs: how to work in a team to create code that works reliably and can be maintained by somebody other than the original authors. As the size and complexity of commercial software have grown, the gap between academic computer science and industry has widened. It's an open secret that there is little engineering in software engineering, which continues to rely not on codified scientific knowledge but on intuition and experience. Barr, who worked as a programmer for more than twenty years, describes how the industry has evolved, from the era of mainframes and Fortran to today's embrace of the cloud. He explains bugs and why software has so many of them, and why today's interconnected computers offer fertile ground for viruses and worms. The difference between good and bad software can be a single line of code, and Barr includes code to illustrate the consequences of seemingly inconsequential choices by programmers. Looking to the future, Barr writes that the best prospect for improving software engineering is the move to the cloud. When software is a service and not a product, companies will have more incentive to make it good rather than "good enough to ship."

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.

A guide to understanding the inner workings and outer limits of technology and why we should never assume that computers always get it right.

An engaging and unabashedly opinionated examination of what translation is and isn't.

An argument for the centrality of the visual culture of waste—as seen in works by international contemporary artists—to the study of our ecological condition.Ecological crisis has driven contemporary artists to engage with waste in its most non-biodegradable forms: plastics, e-waste, toxic waste, garbage hermetically sealed in landfills. In this provocative and original book, Amanda Boetzkes links the increasing visualization of waste in contemporary art to the rise of the global oil economy and the emergence of ecological thinking. Often, when art is analyzed in relation to the political, scientific, or ecological climate, it is considered merely illustrative. Boetzkes argues that art is constitutive of an ecological consciousness, not simply an extension of it. The visual culture of waste is central to the study of the ecological condition. Boetzkes examines a series of works by an international roster of celebrated artists, including Thomas Hirschhorn, Francis Alÿs, Song Dong, Tara Donovan, Agnès Varda, Gabriel Orozco, and Mel Chin, among others, mapping waste art from its modernist origins to the development of a new waste imaginary generated by contemporary artists. Boetzkes argues that these artists do not offer a predictable or facile critique of consumer culture. Bearing this in mind, she explores the ambivalent relationship between waste (both aestheticized and reviled) and a global economic regime that curbs energy expenditure while promoting profitable forms of resource consumption.

A provocative and probing argument showing how human beings can for the first time in history take charge of their moral fate.Is tribalism—the political and cultural divisions between Us and Them—an inherent part of our basic moral psychology? Many scientists link tribalism and morality, arguing that the evolved "moral mind” is tribalistic. Any escape from tribalism, according to this thinking, would be partial and fragile, because it goes against the grain of our nature. In this book, Allen Buchanan offers a counterargument: the moral mind is highly flexible, capable of both tribalism and deeply inclusive moralities, depending on the social environment in which the moral mind operates.We can't be morally tribalistic by nature, Buchanan explains, because quite recently there has been a remarkable shift away from tribalism and toward inclusiveness, as growing numbers of people acknowledge that all human beings have equal moral status, and that at least some nonhumans also have moral standing. These are what Buchanan terms the Two Great Expansions of moral regard. And yet, he argues, moral progress is not inevitable but depends partly on whether we have the good fortune to develop as moral agents in a society that provides the right conditions for realizing our moral potential. But morality need not depend on luck. We can take charge of our moral fate by deliberately shaping our social environment—by engaging in scientifically informed "moral institutional design.” For the first time in human history, human beings can determine what sort of morality is predominant in their societies and what kinds of moral agents they are.

A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical exercises.Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twenty years is model checking, which systematically (and automatically) checks whether a model of a given system satisfies a desired property such as deadlock freedom, invariants, and request-response properties. This automated technique for verification and debugging has developed into a mature and widely used approach with many applications. Principles of Model Checking offers a comprehensive introduction to model checking that is not only a text suitable for classroom use but also a valuable reference for researchers and practitioners in the field.The book begins with the basic principles for modeling concurrent and communicating systems, introduces different classes of properties (including safety and liveness), presents the notion of fairness, and provides automata-based algorithms for these properties. It introduces the temporal logics LTL and CTL, compares them, and covers algorithms for verifying these logics, discussing real-time systems as well as systems subject to random phenomena. Separate chapters treat such efficiency-improving techniques as abstraction and symbolic manipulation. The book includes an extensive set of examples (most of which run through several chapters) and a complete set of basic results accompanied by detailed proofs. Each chapter concludes with a summary, bibliographic notes, and an extensive list of exercises of both practical and theoretical nature.