Skip navigation

Computer Science and Intelligent Systems

Computer Science and Intelligent Systems

  •  
  • Page 1 of 91

Robots are entering the mainstream. Technologies have advanced to the point of mass commercialization—Roomba, for example—and adoption by governments—most notably, their use of drones. Meanwhile, these devices are being received by a public whose main sources of information about robots are the fantasies of popular culture. We know a lot about C-3PO and Robocop but not much about Atlas, Motoman, Kiva, or Beam--real-life robots that are reinventing warfare, the industrial workplace, and collaboration.

66 Ways Experts Think

What makes an expert software designer? It is more than experience or innate ability. Expert software designers have specific habits, learned practices, and observed principles that they apply deliberately during their design work. This book offers sixty-six insights, distilled from years of studying experts at work, that capture what successful software designers actually do to create great software.

Intelligent Cars and the Road Ahead

In the year 2014, Google fired a shot heard all the way to Detroit. Google’s newest driverless car had no steering wheel and no brakes. The message was clear: cars of the future will be born fully autonomous, with no human driver needed. In the coming decade, self-driving cars will hit the streets, rearranging established industries and reshaping cities, giving us new choices in where we live and how we work and play.

The New AI

Today, machine learning underlies a range of applications we use every day, from product recommendations to voice recognition—as well as some we don’t yet use everyday, including driverless cars. It is the basis of the new approach in computing where we do not write programs but collect data; the idea is to learn the algorithms for the tasks automatically from data.

Causality plays a central role in the way people structure the world; we constantly seek causal explanations for our observations. But what does it even mean that an event C “actually caused” event E? The problem of defining actual causation goes beyond mere philosophical speculation. For example, in many legal arguments, it is precisely what needs to be established in order to determine responsibility. The philosophy literature has been struggling with the problem of defining causality since Hume.

With Application to Understanding Data

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.

Biosensing Technologies in Everyday Life
Edited by Dawn Nafus

Today anyone can purchase technology that can track, quantify, and measure the body and its environment. Wearable or portable sensors detect heart rates, glucose levels, steps taken, water quality, genomes, and microbiomes, and turn them into electronic data. Is this phenomenon empowering, or a new form of social control? Who volunteers to enumerate bodily experiences, and who is forced to do so? Who interprets the resulting data? How does all this affect the relationship between medical practice and self care, between scientific and lay knowledge?

Elements of Artificial Neural Networks provides a clearly organized general introduction, focusing on a broad range of algorithms, for students and others who want to use neural networks rather than simply study them.

This mathematically oriented introduction to the theory of logic programming presents a systematic exposition of the resolution method for propositional, first-order, and Horn- clause logics, together with an analysis of the semantic aspects of the method. It is through the inference rule of resolution that both proofs and computations can be manipulated on computers, and this book contains elegant versions and proofs of the fundamental theorems and lemmas in the proof theory of logic programming.

Making and Remaking the Modern Computer

Conceived in 1943, completed in 1945, and decommissioned in 1955, ENIAC (the Electronic Numerical Integrator and Computer) was the first general-purpose programmable electronic computer. But ENIAC was more than just a milestone on the road to the modern computer.

  •  
  • Page 1 of 91