News tagged with approximation

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

Solving the phase problem in x-ray diffraction

(PhysOrg.com) -- Nearly 100 years ago, in 1912, a paper by Max von Laue made it possible to use x-rays to study the structure of different crystalline substances. He won a Nobel Prize in 1914 for his work, but, even so, the ...

Aug 26, 2009 feature
4.6 / 5 (15) 1