News tagged with computational scientists

Designing a better satellite

(Phys.org) —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 ...

Mar 29, 2013
5 / 5 (1) 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 ...

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

Students develop secure new procedure for online banking

Researchers and students from the University of Tübingen, working with GFT Technologies AG, have developed a new process to make online banking more secure. Their software is being presented this week at the CeBIT computer ...

Mar 06, 2013
not rated yet 0