News tagged with computational power

Quantum mechanics to charge your laptop?

Top scientists from UC Berkeley and MIT found the expertise they lacked at FIU. They invited Sakhrat Khizroev, a professor with appointments in both medicine and engineering, to help them conduct research as part of their ...

dateSep 18, 2014 in Quantum Physics
shares0 comments 1

Student devises novel way to detect hackers

Patricia Moat gets a thrill from protecting people. As a youngster, she trained in martial arts. Later, she ran into burning buildings as a volunteer firefighter. Now she's finding new ways to protect American computer networks.

dateApr 08, 2014 in Security
shares0 comments 0

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

dateMar 19, 2013 in Computer Sciences
shares0 comments 8

New power source discovered

(PhysOrg.com) -- Researchers at the Massachusetts Institute of Technology (MIT) and RMIT University have made a breakthrough in energy storage and power generation.

dateFeb 10, 2012 in Energy & Green Tech
shares0 comments 59