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

Chemical modules that mimic predator-prey and other behaviors

Scientists are reporting development of chemical modules that can reproduce, on an "unprecedented" molecular level, changes and interactions that occur in natural populations of plants and animals, including those of hunting ...

Researchers track nanoparticle dynamics in three dimensions

(Phys.org) -- Researchers from the NIST Center for Nanoscale Science and Technology have used three-dimensional single-particle tracking to measure the dynamic behavior of individual nanoparticles adsorbed at the surface ...

Solar corona revealed in super-high-definition

Today, astronomers are releasing the highest-resolution images ever taken of the Sun's corona, or million-degree outer atmosphere, in an extreme-ultraviolet wavelength of light. The 16-megapixel images were captured by NASA's ...

page 3 from 5