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

Machine learning & AI

Enigma code-breaking machine rebuilt at Cambridge

Cambridge Engineering alumnus Hal Evans has built a fully-functioning replica of a 1930s Polish cyclometer—an electromechanical cryptologic device that was designed to assist in the decryption of German Enigma ciphertext. ...

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

Energy & Green Tech

AI's carbon footprint problem

For all the advances enabled by artificial intelligence, from speech recognition to self-driving cars, AI systems consume a lot of power and can generate high volumes of climate-changing carbon emissions.

page 1 from 8