Computer generated math proof is too large for humans to check
Engineers build Raspberry Pi supercomputer
(Phys.org)—Computational Engineers at the University of Southampton have built a supercomputer from 64 Raspberry Pi computers and Lego.
How to program unreliable chips
As transistors get smaller, they also become less reliable. So far, computer-chip designers have been able to work around that problem, but in the future, it could mean that computers stop improving at the ...
Researchers build most complex synthetic biology circuit yet
Using genes as interchangeable parts, synthetic biologists design cellular circuits that can perform new functions, such as sensing environmental conditions. However, the complexity that can be achieved in ...
Time for a change? Scholars say calendar needs serious overhaul
Researchers at The Johns Hopkins University have discovered a way to make time stand still -- at least when it comes to the yearly calendar.
NVIDIA dresses up CUDA parallel computing platform
Israeli inventor has backers for cardboard bicycle
Calculating art: Meet e-David, the painting machine (w/ Video)
Writing programs using ordinary language
In a pair of recent papers, researchers at MIT's Computer Science and Artificial Intelligence Laboratory have demonstrated that, for a few specific tasks, it's possible to write computer programs using ordinary ...
How computers can learn better
Reinforcement learning is a technique, common in computer science, in which a computer system learns how best to solve some problem through trial-and-error. Classic applications of reinforcement learning ...
Paper uncovers power of Foldit gamers' strategies
Researchers studying the nature of crowds playing Foldit called some strategies "shocking" in how well they mimicked some of the methods already used by protein scientists.
Computer learns language by playing games
Computers are great at treating words as data: Word-processing programs let you rearrange and format text however you like, and search engines can quickly find a word anywhere on the Web. But what would it ...
Tool detects patterns hidden in vast data sets
Researchers from the Broad Institute and Harvard University have developed a tool that can tackle large data sets in a way that no other software program can. Part of a suite of statistical tools called MINE, ...
Code green: Energy-efficient programming to curb computers' power use
Soaring energy consumption by ever more powerful computers, data centers and mobile devices has many experts looking to reduce the energy use of these devices. Most projects so far focus on more efficient cooling systems ...