Design And Modeling for Computer Experiments

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 v

Complex communicating computer systems -- computers connected by data networks and inconstant communication with their environments -- do not always behave as expected. This bookintroduces behavioral

Over the last fifty years, the process of community building has been lost in theprocess of city building. City and suburban design divides us from others in our communities,destroys natural habitats,

Category theory is a branch of pure mathematics that is becoming an increasingly important tool in theoretical computer science, especially in programming language semantics, domain theory, and concu

An introduction to computational modeling for cognitive neuroscientists, covering both foundational work and recent developments. Cognitive neuroscientists need sophisticated conceptual tools to make sense of their field’s proliferation of novel theories, methods, and data. Computational modeling is such a tool, enabling researchers to turn theories into precise formulations. This book offers a mathematically gentle and theoretically unified introduction to modeling cognitive processes. Theoretical exercises of varying degrees of difficulty throughout help readers develop their modeling skills. After a general introduction to cognitive modeling and optimization, the book covers models of decision making; supervised learning algorithms, including Hebbian learning, delta rule, and backpropagation; the statistical model analysis methods of model parameter estimation and model evaluation; the three recent cognitive modeling approaches of reinforcement learning, unsupervised learning, and

A new version of the classic and widely used text adapted for the JavaScript programming language.Since the publication of its first edition in 1984 and its second edition in 1996, Structure and Interpretation of Computer Programs (SICP) has influenced computer science curricula around the world. Widely adopted as a textbook, the book has its origins in a popular entry-level computer science course taught by Harold Abelson and Gerald Jay Sussman at MIT. SICP introduces the reader to central ideas of computation by establishing a series of mental models for computation. Earlier editions used the programming language Scheme in their program examples. This new version of the second edition has been adapted for JavaScript. The first three chapters of SICP cover programming concepts that are common to all modern high-level programming languages. Chapters four and five, which used Scheme to formulate language processors for Scheme, required significant revision. Chapter four offers new mat

How organizations--including Google, StubHub, Airbnb, and Facebook--learn from experiments in a data-driven world.Have you logged into Facebook recently? Searched for something on Google? Chosen a mov

Exploring how design can be used for good—prompting self-reflection, igniting the imagination, and affecting positive social change.Good design provides solutions to problems. It improves our building

Principles for designing educational games that integrate content and play and create learning experiences connecting to many areas of learners' lives.Too often educational videogames are narrowly foc

Graphic design has been an academic discipline since the post-World War II era, but it has yet to develop a coherent theoretical foundation. Instead, it proceeds through styles, genres, and imitation,

Design structure matrix (DSM) is a straightforward and flexible modeling technique that can be used for designing, developing, and managing complex systems. DSM offers network modeling tools that repr

Financial Modeling is now the standard text for explaining theimplementation of financial models in Excel. This long-awaited fourth edition maintains the"cookbook" features and Excel dependence that h

Theoretical neuroscience provides a quantitative basis for describing what nervous systems do, determining how they function, and uncovering the general principles by which they operate. This text in

A richly illustrated overview of the work of Neri Oxman whose design redefines computer science, digital fabrication, material science, and synthetic biology. Mediated Matter is the first comprehensive overview of Neri Oxman's groundbreaking design work. Oxman has forged a singular career across design, science, and technology over the past twenty years that includes, notably, founding the field of material ecology. Trained as both a medical doctor and an architect, she brings to design a spirit of inquiry and experimentation that includes a future-forward approach to materials--from silkworm thread to automated microrobots to a water-based fabrication platform that prints structures made from biopolymers. In her work at the MIT Media Lab, she designed products and buildings as interactive entities that are environmentally informed, biologically augmented, computationally grown, and digitally manufactured. Through richly detailed diagrams, explanatory texts, process documents, and brea

Contributions by urban planners, sociologists, anthropologists, architects, and landscape architects on the role and scope of urban design in creating more just and inclusive cities.Scholars who write about justice and the city rarely consider the practices and processes of urban design, while discourses on urban design often neglect concerns about justice. The editors of Just Urban Design take the position that urban design interventions have direct and important implications for justice in the city. The contributions in this volume contextualize the state of knowledge about urban design for justice, stress inclusivity as the key to justice in the city, affirm community participation and organizing as cornerstones of greater equity, and assert that a just urban design must center and privilege our most marginalized individuals and communities. Approaching spatial and social justice in the city through the lens of urban design, the contributors explore the possibility of envisioning an

How ecological design emerged in Scandinavia during the 1960s and 1970s, building on both Scandinavia’s design culture and its environmental movement.Scandinavia is famous for its design culture, and for its pioneering efforts toward a sustainable future. In Ecological by Design, Kjetil Fallan shows how these two forces came together in the late 1960s and early 1970s, when Scandinavian designers began to question the endless cycle in which designed objects are produced, consumed, discarded, and replaced in quick succession. The emergence of ecological design in Scandinavia at the height of the popular environmental movement, Fallan suggests, illuminates a little-known reciprocity between environmentalism and design: not only did design play a role in the rise of modern environmentalism, but ecological thinking influenced the transformation in design culture in Scandinavia and beyond that began as the modernist faith in progress and prosperity waned. Fallan describes the efforts of Scan

Rethinking design through the lens of embodied cognition provides a novel way of understanding human interaction with technology. In this book, Christopher Baber uses embodied cognition as a lens through which to view both how designers engage in creative practices and how people use designed artifacts. This view of cognition as enactive, embedded, situated, or distributed, without recourse to internal representations, provides a theoretical grounding that makes possible a richer account of human interaction with technology. This understanding of everyday interactions with things in the world reveals opportunities for design to intervene. Moreover, Baber argues, design is an embodied activity in which the continual engagement between designers and their materials is at the heart of design practice. Baber proposes that design and creativity should be considered in dynamic, rather than discrete, terms and explores “task ecologies”―the concept of environment as it relates to embodied

How design can transcend the logics, structures, and subjectivities of capitalism: a framework, theoretical grounding, and practical principles.The designed things, experiences, and symbols that we use to perceive, understand, and perform our everyday lives are much more than just props. They directly shape how we live. In Design after Capitalism, Matthew Wizinsky argues that the world of industrial capitalism that gave birth to modern design has been dramatically transformed. Design today needs to reorient itself toward deliberate transitions of everyday politics, social relations, and economies. Looking at design through the lens of political economy, Wizinsky calls for the field to transcend the logics, structures, and subjectivities of capitalism―to combine design entrepreneurship with social empowerment in order to facilitate new ways of producing those things, symbols, and experiences that make up everyday life. After analyzing the parallel histories of capitalism and design, W

Through practices of collaborative imagination and making, or "doing design otherwise,” design experiments can contribute to keeping local democracies vibrant.In this counterpoint to the grand narratives of design punditry, Carl DiSalvo presents what he calls “doing design otherwise.” Arguing that democracy requires constant renewal and care, he shows how designers can supply novel contributions to local democracy by drawing together theory and practice, making and reflection. The relentless pursuit of innovation, uncritical embrace of the new and novel, and treatment of all things as design problems, says DiSalvo, can lead to cultural imperialism. In Design as Democratic Inquiry, he recounts a series of projects that exemplify engaged design in practice. These experiments in practice-based research are grounded in collaborations with communities and institutions. The projects DiSalvo describes took place from 2014 to 2019 in Atlanta. Rather than presume that government, industry―or

How amateur programmers in 1980s Czechoslovakia discovered games as a medium, using them not only for entertainment but also as a means of self-expression.Aside from the exceptional history of Tetris,

Tools for navigating today's hyper-connected, rapidly changing, and radically contingent white water world.Design Unbound presents a new tool set for having agency in the twenty-first century, in what

For many of our interactions with digital media, we do not sit at a keyboard but hold a mobile device in our hands. We turn and tilt and stroke and tap, and through these physical interactions with an

Countless people around the world harness the affordances of digital media to enable democratic participation, coordinate disaster relief, campaign for policy change, and strengthen local advocacy gro

Modern, complex digital systems invariably include hardware-implemented finite statemachines. The correct design of such parts is crucial for attaining proper system performance. Thisbook offers detai

Mid-twentieth-century California offered fertile ground for design innovations. The state's reputation as a land of unlimited opportunity, its many institutions of higher learning, and its perpetually

Coding for a purpose: helping young people combine journalism, data, design, and code to make media that makes a difference.Educators are urged to teach “code for all”―to make a specialized field accessible for students usually excluded from it. In Code for What? Clifford Lee and Elisabeth Soep instead ask the question, “code for what?” What if coding were a justice-driven medium for storytelling rather than a narrow technical skill? What if “democratizing” computer science went beyond the usual one-off workshop and empowered youth to create digital products for social impact? Lee and Soep answer these questions with stories of a diverse group of young people in Oakland, California, who combine journalism, data, design, and code to create media that make a difference. These teenage and young adult producers created interactive projects that explored gendered and racialized dress code policies in schools; designed tools for LBGTQ+ youth experiencing discrimination; investigated facial r

A graduate textbook on microeconomics, covering decision theory, game theory, and the foundations of contract theory, with a unique focus on the empirical.This graduate-level text on microeconomics, covering such topics as decision theory, game theory, bargaining theory, contract theory, trade under asymmetric information, and relational contract theory, is unique in its emphasis on the interplay between theory and evidence. It reviews the microeconomic theory of exchange “from the ground up,” aiming to produce a set of models and hypotheses amenable to empirical exploration, with particular focus on models that are useful for the study of contracts, institutions, and organizations. It explores research that extends price theory to the exchange of commodities when markets are incomplete, discussing recent developments in the field. Topics covered include the relationship between theory and evidence; decision theory as it is used in contract theory and institutional design;

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 sec

A comprehensive introduction to the field of autonomous robotics aimed at upper-level undergraduates and offering additional online resources.Textbooks that provide a broad algorithmic perspective on the mechanics and dynamics of robots almost unfailingly serve students at the graduate level. Introduction to Autonomous Robots offers a much-needed resource for teaching third- and fourth-year undergraduates the computational fundamentals behind the design and control of autonomous robots. The authors use a class-tested and accessible approach to present progressive, step-by-step development concepts, alongside a wide range of real-world examples and fundamental concepts in mechanisms, sensing and actuation, computation, and uncertainty. Throughout, the authors balance the impact of hardware (mechanism, sensor, actuator) and software (algorithms) in teaching robot autonomy. Features:Rigorous and tested in the classroomWritten for engineering and computer science undergraduates with a soph

A proposal for a new media design to balance the contributions of humans and materials in the world they share.How can media design support a balance between our needs for self-expression and the material needs of the world we are part of? What criteria define a sustainable media ecology? In Vital Media, Michael Nitsche argues that the current human-centric view is not sustainable and that media are best viewed as dynamic networks where cognitive and noncognitive participants co-create. What we need, according to Nitsche, is a media design that balances the needs of all partners involved: vital media. Tracing this ideal through two domains of expression and making, performance and craft, Nitsche calls on us to embrace material co-existence and to design for self-expression as well as material evolution. We must recognize that the living body and its dependencies on the world around it are at the heart of what media are about. Vital media exist to not only help individuals fulfill their

How hacking cultures drive contemporary capitalism and the future of innovation.In Resistance to the Current, Johan Söderberg and Maxigas examine four historical case studies of hacker movements and their role in shaping the twenty-first-century’s network society. Based on decades of field work and analysis, this intervention into current debates situates an exploding variety of hacking practices within the contradictions of capitalism. Depoliticized accounts of computing cultures and collaborative production miss their core driver, write Söderberg and Maxigas: the articulation of critique and its recuperation into innovations. Drawing on accounts of building, developing, and running community wireless networks, 3D printers, hackerspaces, and chat protocols, the authors develop a theoretical framework of critique and recuperation to examine how hackers―who have long held a reputation for being underground rebels―transform their outputs from communal, underground experiments to commerci

A cognitive ethnography of how bioengineering scientists create innovative modeling methods.In this first full-scale, long-term cognitive ethnography by a philosopher of science, Nancy J. Nersessian offers an account of how scientists at the interdisciplinary frontiers of bioengineering create novel problem-solving methods. Bioengineering scientists model complex dynamical biological systems using concepts, methods, materials, and other resources drawn primarily from engineering. They aim to understand these systems sufficiently to control or intervene in them. What Nersessian examines here is how cutting-edge bioengineering scientists integrate the cognitive, social, material, and cultural dimensions of practice. Her findings and conclusions have broad implications for researchers in philosophy, science studies, cognitive science, and interdisciplinary studies, as well as scientists, educators, policy makers, and funding agencies. In studying the epistemic practices of scientists, Ner

An introduction to neurorobotics that presents approaches and design principles for developing intelligent autonomous systems grounded in biology and neuroscience.Neurorobotics is an interdisciplinary field that draws on artificial intelligence, cognitive sciences, computer science, engineering, psychology, neuroscience, and robotics. Because the brain is closely coupled to the body and situated in the environment, neurorobots―autonomous systems modeled after some aspect of the brain―offer a powerful tool for studying neural function and may also be a means for developing autonomous systems with intelligence that rivals that of biological organisms. This textbook introduces approaches and design principles for developing intelligent autonomous systems grounded in biology and neuroscience. It is written for anyone interested in learning about this topic and can be used in cognitive robotics courses for students in psychology, cognitive science, and computer science.Neurorobotics covers

Visual calculating in shape grammars aligns with art and design, bridging the gap between seeing (Coleridge’s “imagination”) and combinatoric play (Coleridge’s “fancy”).In Shapes of Imagination, George Stiny runs visual calculating in shape grammars through art and design―incorporating Samuel Taylor Coleridge’s poetic imagination and Oscar Wilde’s challenging corollary to see things as in themselves they really are not. Many assume that calculating limits art and design to suit computers, but shape grammars rely on seeing to prove otherwise. Rules that change what they see extend calculating to overtake what computers can do, in logic and with data and learning. Shape grammars bridge the categorical divide between seeing (Coleridge’s “imagination, or esemplastic power”) and combinatoric play (Coleridge’s “fancy”). Stiny shows that calculating without seeing excludes art and design. Seeing is key for calculating to augment creative activity with aesthetic insight and value. Shape gramma

An expert offers a guide to where we should use artificial intelligence―and where we should not.Before we know it, artificial intelligence (AI) will work its way into every corner of our lives, making decisions about, with, and for us. Is this a good thing? There’s a tendency to think that machines can be more “objective” than humans―can make better decisions about job applicants, for example, or risk assessments. In Awkward Intelligence, AI expert Katharina Zweig offers readers the inside story, explaining how many levers computer and data scientists must pull for AI’s supposedly objective decision making. She presents the good and the bad: AI is good at processing vast quantities of data that humans cannot―but it’s bad at making judgments about people. AI is accurate at sifting through billions of websites to offer up the best results for our search queries and it has beaten reigning champions in games of chess and Go. But, drawing on her own research, Zweig shows how inac

Discover the hidden electrical world inside your nervous system using DIY, hands-on experiments, for all ages. No MD or PhD required!The workings of the brain are mysterious: What are neural signals? What do they mean? How do our senses really sense? How does our brain control our movements? What happens when we meditate? Techniques to record signals from living brains were once thought to be the realm of advanced university labs . . . but not anymore! This book allows anyone to participate in the discovery of neuroscience through hands-on experiments that record the hidden electrical world beneath our skin and skulls. In How Your Brain Works, neuroscientists Greg Gage and Tim Marzullo offer a practical guide―accessible and useful to readers from middle schoolers to college undergraduates to curious adults―for learning about the brain through hands-on experiments. Armed with some DIY electrodes, readers will get to see what brain activity really looks like through simple neuroscience e

More than sixty speculative art and design projects explore how art, food, and creative thinking can prepare us for future catastrophes.In the Age of the Anthropocene―a era characterized by human-caused climate disaster―catastrophes and dystopias loom. The Anthropocene Cookbook takes our planetary state of emergency as an opportunity to seize the moment to imagine constructive change and new ideas. How can we survive in an age of constant environmental crises? How can we thrive? The Anthropocene Cookbook answers these questions by presenting a series of investigative art and design projects that explore how art, food, and creative thinking can prepare us for future catastrophes. This cookbook of ideas rethinks our eating habits and traditions, challenges our food taboos, and proposes new recipes for humanity’s survival. These more than sixty projects propose new ways to think and make food, offering tools for creative action rather than traditional recipes. They imagine modifying the h

How companies can gain strategic advantage by developing blockchain capabilities.Blockchain is far more than cryptocurrency. Regarded for a decade as complex and with limited application, blockchain has now matured to be on the verge of fully realizing its disruptive potential. In Enterprise Strategy for Blockchain, business strategy expert Ravi Sarathy shows how companies can gain competitive advantage by developing and deploying blockchain capabilities. Sarathy explains what makes blockchain unique, including its capacities to eliminate intermediaries, guard against hackers, decentralize, and protect privacy. Presenting examples drawn from such sectors as finance, supply chains, computer services, consumer products, and entertainment, he describes how executives can strategically assess blockchain’s applicability to their business. After outlining blockchain’s technological features―and its technological obstacles―Sarathy describes disruptive technologies already happening in the fin