Skip navigation

Computer Science and Intelligent Systems

Computer Science and Intelligent Systems

  •  
  • Page 1 of 85

All design is situated—carried out from an embedded position. Design involves many participants and encompasses a range of interactions and interdependencies among designers, designs, design methods, and users. Design is also multidisciplinary, extending beyond the traditional design professions into such domains as health, culture, education, and transportation.

Proceedings of the Fourteenth International Conference on the Synthesis and Simulation of Living Systems

ALIFE 14, the Fourteenth International Conference on the Synthesis and Simulation of Living Systems, presents the current state of the art of Artificial Life—the highly interdisciplinary research area on artificially constructed living systems, including mathematical, computational, robotic, and biochemical ones. The understanding and application of such generalized forms of life, or “life as it could be,” have been producing significant contributions to various fields of science and engineering.

Designs for Living Online

Computers were first conceived as “thinking machines,” but in the twenty-first century they have become social machines, online places where people meet friends, play games, and collaborate on projects. In this book, Judith Donath argues persuasively that for social media to become truly sociable media, we must design interfaces that reflect how we understand and respond to the social world.

Mixing Human-Computer Interactions with Human-Food Interactions

Our contemporary concerns about food range from food security to agricultural sustainability to getting dinner on the table for family and friends. This book investigates food issues as they intersect with participatory Internet culture—blogs, wikis, online photo- and video-sharing platforms, and social networks—in efforts to bring about a healthy, socially inclusive, and sustainable food future.

Music in video games is often a sophisticated, complex composition that serves to engage the player, set the pace of play, and aid interactivity. Composers of video game music must master an array of specialized skills not taught in the conservatory, including the creation of linear loops, music chunks for horizontal resequencing, and compositional fragments for use within a generative framework.

This book offers the definitive guide to the theory and practice of disaster robotics. It can serve as an introduction for researchers and technologists, a reference for emergency managers, and a textbook in field robotics. Written by a pioneering researcher in the field who has herself participated in fifteen deployments of robots in disaster response and recovery, the book covers theory and practice, the history of the field, and specific missions.

Design, Fiction, and Social Dreaming

Today designers often focus on making technology easy to use, sexy, and consumable. In Speculative Everything, Anthony Dunne and Fiona Raby propose a kind of design that is used as a tool to create not only things but ideas. For them, design is a means of speculating about how things could be—to imagine possible futures. This is not the usual sort of predicting or forecasting, spotting trends and extrapolating; these kinds of predictions have been proven wrong, again and again.

An Intuitive Approach
This book offers students and researchers a guide to distributed algorithms that emphasizes examples and exercises rather than the intricacies of mathematical models. It avoids mathematical argumentation, often a stumbling block for students, teaching algorithmic thought rather than proofs and logic. This approach allows the student to learn a large number of algorithms within a relatively short span of time. Algorithms are explained through brief, informal descriptions, illuminating examples, and practical exercises.
A Pragmatic Introduction to the Coq Proof Assistant

The technology of mechanized program verification can play a supporting role in many kinds of research projects in computer science, and related tools for formal proof-checking are seeing increasing adoption in mathematics and engineering. This book provides an introduction to the Coq software for writing and checking mathematical proofs. It takes a practical engineering focus throughout, emphasizing techniques that will help users to build, understand, and maintain large Coq developments and minimize the cost of code change over time.

Neuromechanics and Motor Control

This book proposes a transdisciplinary approach to investigating human motor control that synthesizes musculoskeletal biomechanics and neural control. The authors argue that this integrated approach—which uses the framework of robotics to understand sensorimotor control problems—offers a more complete and accurate description than either a purely neural computational approach or a purely biomechanical one.

  •  
  • Page 1 of 85