News tagged with computer scientists

Sorting out structure of a Parkinson's protein

Clumps of proteins that accumulate in brain cells are a hallmark of neurological diseases such as dementia, Parkinson's disease and Alzheimer's disease. Over the past several years, there has been much controversy ...

Apr 01, 2013
5 / 5 (2) 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

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