Rats and mice have long been a model for researchers aiming to understand the complex impact of alcohol and other substances of abuse on behavior and the brain's reward systems. But now, a team at the Polytechnic Institute ...
Plants & Animals
Jun 6, 2013
0
0
"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 ...
Computer Sciences
Mar 19, 2013
8
0
Services like Google Maps use algorithms to determine the fastest route from point A to point B—even factoring in real-time traffic information as you travel to redirect you if, for example, a parade is blocking part of ...
Telecom
Mar 7, 2013
0
0
Mosquitos have the remarkable ability to fly in clear skies as well as in rain, shrugging off impacts from raindrops more than 50 times their body mass. But just like modern aircraft, mosquitos also are grounded when the ...
General Physics
Nov 19, 2012
0
0
(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 ...
Nanophysics
Aug 3, 2012
0
0
A new, open-access article in the Journal of Integrated Pest Management provides a review of cereal leaf beetle biology, past and present management practices, and current research being conducted.
Ecology
Oct 17, 2011
0
0
(PhysOrg.com) -- “The concept of matter waves is at the heart of quantum mechanics,” Oliver Morsch tells PhysOrg.com. “At the beginning of the last century, scientists discovered that solid particles could exhibit properties ...
(PhysOrg.com) -- Researchers have been puzzled in recent years by observations that drug-releasing stents (mesh-like tubes implanted to hold patients' coronary arteries open) can increase the likelihood of blood clots and ...
Mathematics
Jan 6, 2009
0
0
