Computer Sciences

New method ensures complex programs are bug-free without testing

A team of researchers have devised a way to verify that a class of complex programs is bug-free without the need for traditional software testing. Called Armada, the system makes use of a technique called formal verification ...

Computer Sciences

The first intuitive programming language for quantum computers

Programming quantum computers is becoming easier: computer scientists at ETH Zurich have designed the first programming language that can be used to program quantum computers as simply, reliably and safely as classical computers. ...

Computer Sciences

Light bulb vibrations yield eavesdropping data

In an era of digital eavesdropping where hackers employ a variety of means to take over built-in video cameras, peruse personal digital data and snoop on cellular conversations, researchers have finally seen the light.

Computer Sciences

OpenAI releases powerful text generator

Artificial intelligence laboratory OpenAI announced it is making a powerful new neural network for natural language processing available for limited release to the public.

Computer Sciences

AI creates realistic faces from crude sketches

Back in the Sixties, one of the hottest toys in history swept America. It was called Etch-A-Sketch, and its popularity was based on a now-laughably simple feature. It was a handheld small-laptop-sized device that allowed ...

page 1 from 7