News tagged with computer scientists

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

Models move from brain to rain

(Phys.org)—One of climate scientists' key ambitions is to predict future climate change more accurately. They create incredibly detailed computer models, but even these cannot calculate all the infinite ...

Feb 07, 2013
3 / 5 (5) 4 | with audio podcast

Explained: Graphs

When most people hear the word "graph," an image springs to mind: a pair of perpendicular lines overlaid with a line, a curve, or bars of different heights.

Dec 17, 2012
3.8 / 5 (6) 0 | with audio podcast