Engineering

Solving the ventilator shortage with windshield wiper parts

Researchers at The University of Texas at Austin are building a new type of ventilator made of cheap, widely available materials to help fill the demand created by the spread of COVID-19 for these critical devices that help ...

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 ...

Hi Tech & Innovation

GlassOuse headset allows hands-free mouse control

(Tech Xplore)—A team led by designer Mehmet Nemo Turker has posted an Indiegogo project for a head-mounted device called GlassOuse (Glass Mouse)—it is meant to allow disabled people to use a computer or handheld device ...

page 2 from 3