News tagged with computing power

Boosting heat transfer with nanoglue

(Phys.org)—A team of interdisciplinary researchers at Rensselaer Polytechnic Institute has developed a new method for significantly increasing the heat transfer rate across two different materials. Results ...

Dec 04, 2012
5 / 5 (7) 0 | with audio podcast

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

Mar 19, 2013
5 / 5 (6) 8 | with audio podcast