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

dateApr 01, 2013 in Biochemistry
shares0 comments 0

Designing a better satellite

( —If you have ever plugged your digital camera into your desktop to download photos, then you have used what is known in computing circles as a "plug and play" interface. Basically, plug and play refers to any ...

dateMar 29, 2013 in Space Exploration
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