Skip navigation

Computer Science and Intelligent Systems

Computer Science and Intelligent Systems

30% Discount Use Code MCOMPSCI30
  • Page 5 of 89

Evolutionary robotics (ER) aims to apply evolutionary computation techniques to the design of both real and simulated autonomous robots. The Horizons of Evolutionary Robotics offers an authoritative overview of this rapidly developing field, presenting state-of-the-art research by leading scholars. The result is a lively, expansive survey that will be of interest to computer scientists, robotics engineers, neuroscientists, and philosophers.

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.

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 draws on ideas from philosophical logic, computational logic, multi-agent systems, and game theory to offer a comprehensive account of logic and games viewed in two complementary ways. It examines the logic of games: the development of sophisticated modern dynamic logics that model information flow, communication, and interactive structures in games. It also examines logic as games: the idea that logical activities of reasoning and many related tasks can be viewed in the form of games.

The Ethical and Social Implications of Robotics

Robots today serve in many roles, from entertainer to educator to executioner. As robotics technology advances, ethical concerns become more pressing: Should robots be programmed to follow a code of ethics, if this is even possible? Are there risks in forming emotional bonds with robots? How might society—and ethics—change with robotics? This volume is the first book to bring together prominent scholars and experts from both science and the humanities to explore these and other questions in this emerging field.

Mess and Mythology in Ubiquitous Computing

Ubiquitous computing (or ubicomp) is the label for a “third wave” of computing technologies. Following the eras of the mainframe computer and the desktop PC, ubicomp is characterized by small and powerful computing devices that are worn, carried, or embedded in the world around us. The ubicomp research agenda originated at Xerox PARC in the late 1980s; these days, some form of that vision is a reality for the millions of users of Internet-enabled phones, GPS devices, wireless networks, and "smart" domestic appliances.

Theory and Design (with VHDL and SystemVerilog)

Modern, complex digital systems invariably include hardware-implemented finite state machines. The correct design of such parts is crucial for attaining proper system performance. This book offers detailed, comprehensive coverage of the theory and design for any category of hardware-implemented finite state machines. It describes crucial design problems that lead to incorrect or far from optimal implementation and provides examples of finite state machines developed in both VHDL and SystemVerilog (the successor of Verilog) hardware description languages.

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.

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.

  • Page 5 of 89