How to make computers faster and climate friendly

Your smartphone is far more powerful than the NASA computers that put Neil Armstrong and Buzz Aldrin on the moon in 1969, but it is also an energy hog. In computing, energy use is often considered a secondary problem to speed ...

Solving real-world problems

Tools developed by Håvard Rue have transformed data analysis, interpretation and communication, and are applied broadly: from modeling the spread of infectious diseases to mapping fish stocks.

'Approximate computing' improves efficiency, saves energy

(Phys.org) —Researchers are developing computers capable of "approximate computing" to perform calculations good enough for certain tasks that don't require perfect accuracy, potentially doubling efficiency and reducing ...

Is mathematics an effective way to describe the world?

Mathematics has been called the language of the universe. Scientists and engineers often speak of the elegance of mathematics when describing physical reality, citing examples such as π, E=mc2, and even something as simple ...

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

page 1 from 2