Logic in computer science

All men are mortal. Socrates is a man. Therefore, Socrates is mortal. Logical arguments like this one have been studied since antiquity. In the last few decades, however, logic research has changed considerably: the computer ...

Who are the aggressive stars of CCTV?

A computer program can analyze CCTV images and spot aggressive human behaviour nine times out of ten, according to research published in the International Journal of Computational Vision and Robotics. The research is an important ...

Airline industry swooping in to prevent cyberattacks

Worried that computer hackers attacking banks and media companies could easily shift targets, the airline industry is taking preemptive steps to ensure it doesn't become the next victim.

How to program unreliable chips

As transistors get smaller, they also become less reliable. So far, computer-chip designers have been able to work around that problem, but in the future, it could mean that computers stop improving at the rate we've come ...

page 11 from 32