Tracking gunfire with a smartphone

(Phys.org) —You are walking down the street with a friend. A shot is fired. The two of you duck behind the nearest cover and you pull out your smartphone. A map of the neighborhood pops up on its screen with a large red ...

Can control theory make software better?

"Formal verification" is a set of methods for mathematically proving that a computer program does what it's supposed to do. It's universal in hardware design and in the development of critical control software that can't ...

Eye-tracking Umoove parks in closed-beta zone

(Phys.org) —A small company called Umoove, which specializes in eye- and head-tracking technology, will offer software development kits so that developers can grow the Umoove platform for mobile users everywhere. The company ...

page 5 from 36