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

New method knocks out stubborn electron problem

A newly published article in Physical Review Letters eliminates one of the top unsolved theoretical problems in chemical physics as ranked by the National Research Council in 1995. Scientists now can more accurately predict ...

Nanoparticles and their size may not be big issues

If you've ever eaten from silverware or worn copper jewelry, you've been in a perfect storm in which nanoparticles were dropped into the environment, say scientists at the University of Oregon.

Catching molecular motion at just the right time

University of Oregon researchers have devised a mathematically rich analytic approach to account for often-missing thermodynamic and molecular parameters in molecular dynamic simulations.

Neutron scattering provides window into surface interactions

To better understand the fundamental behavior of molecules at surfaces, researchers at the U.S. Department of Energy's Oak Ridge National Laboratory are combining the powers of neutron scattering with chemical analysis.

Researchers 3D-print with reactive materials

Reactive composite materials are everywhere, from the life-saving air bags in your car to the dazzling pyrotechnics in Fourth of July fireworks. But one of the main drawbacks to using these materials has been the unpredictability ...

Pedestrians keep a 75 cm comfort zone to prevent collisions

Pedestrians are constantly avoiding collisions with oncoming people. Meters in advance they unconsciously change their walkway to pass each other. Physicists at Eindhoven University of Technology in collaboration with American ...

page 2 from 4