Skip navigation

Computer Science and Intelligent Systems

Computer Science and Intelligent Systems

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.

This book introduces students with little or no prior programming experience to the art of computational problem solving using Python and various Python libraries, including PyLab. It provides students with skills that will enable them to make productive use of computational techniques, including some of the tools and techniques of “data science” for using computation to model and interpret data.

Turing, Gödel, Church, and Beyond

In the 1930s a series of seminal works published by Alan Turing, Kurt G?del, Alonzo Church, and others established the theoretical basis for computability. This work, advancing precise characterizations of effective, algorithmic computability, was the culmination of intensive investigations into the foundations of mathematics. In the decades since, the theory of computability has moved to the center of discussions in philosophy, computer science, and cognitive science.

Economy and Cultural Form

A decade ago, the customizable ringtone was ubiquitous. Almost any crowd of cell phone owners could produce a carillon of tinkly, beeping, synthy, musicalized ringer signals. Ringtones quickly became a multi-billion-dollar global industry and almost as quickly faded away. In The Ringtone Dialectic, Sumanth Gopinath charts the rise and fall of the ringtone economy and assesses its effect on cultural production.

Science and Systems VIII

Robotics: Science and Systems VIII spans a wide spectrum of robotics, bringing together contributions from researchers working on the mathematical foundations of robotics, robotics applications, and analysis of robotics systems. This volume presents the proceedings of the eighth annual Robotics: Science and Systems (RSS) conference, held in July 2012 at the University of Sydney.

A Foundational Approach

Starting from the premise that understanding the foundations of concurrent programming is key to developing distributed computing systems, this book first presents the fundamental theories of concurrent computing and then introduces the programming languages that help develop distributed computing systems at a high level of abstraction. The major theories of concurrent computation—including the π-calculus, the actor model, the join calculus, and mobile ambients—are explained with a focus on how they help design and reason about distributed and mobile computing systems.

Attention in the Age of Embodied Information

The world is filling with ever more kinds of media, in ever more contexts and formats. Glowing rectangles have become part of the scene; screens, large and small, appear everywhere. Physical locations are increasingly tagged and digitally augmented. Sensors, processors, and memory are not found only in chic smart phones but also built into everyday objects. Amid this flood, your attention practices matter more than ever. You might not be able to tune this world out.

A Shadow History of the Internet

The vast majority of all email sent every day is spam, a variety of idiosyncratically spelled requests to provide account information, invitations to spend money on dubious products, and pleas to send cash overseas. Most of it is caught by filters before ever reaching an in-box. Where does it come from?

Edited by Gerhard Weiss

Multiagent systems are made up of multiple interacting intelligent agents—computational entities to some degree autonomous and able to cooperate, compete, communicate, act flexibly, and exercise control over their behavior within the frame of their objectives. They are the enabling technology for a wide range of advanced applications relying on distributed and parallel processing of data, information, and knowledge relevant in domains ranging from industrial manufacturing to e-commerce to health care.