Computer Sciences

Probabilistic AI that knows how well it's working

Despite their enormous size and power, today's artificial intelligence systems routinely fail to distinguish between hallucination and reality. Autonomous driving systems can fail to perceive pedestrians and emergency vehicles ...

Electronics & Semiconductors

New technique protects data on solid-state drives from radiation

A new method of radiation-resistant computer data storage called watermark storage that's been developed by a University of Alabama in Huntsville (UAH) professor leading a student team has direct applications in the nuclear ...

Robotics

Why can't robots outrun animals?

Robotics engineers have worked for decades and invested many millions of research dollars in attempts to create a robot that can walk or run as well as an animal. And yet, it remains the case that many animals are capable ...

Software

New tool automates the formal verification of systems software

Formal systems verification, which mathematically proves that code is secure in all circumstances, is a relatively new technology. Software is getting more complex and harder to get right using traditional software testing ...

page 11 from 16