When a robot is moving one of its limbs through free space, its behavior is well-described by a few simple equations. But as soon as it strikes something solid—when a walking robot's foot hits the ground, or a grasping ...
Robotics
Mar 21, 2013
1
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
(Phys.org) —Keat Ghee Ong envisions a new generation of implantable biosensors. Not only could they signal if all is well (or not) after surgery, they would do it with no batteries and no computer chips. Plus, they could ...
Engineering
Mar 18, 2013
0
0
Carbon nanotubes and magnetic molecules are considered building blocks of future nanoelectronic systems. Their electric and mechanical properties play an important role. Researchers of Karlsruhe Institute of Technology and ...
Nanophysics
Mar 15, 2013
0
0
(Phys.org) —A team of physicists in Israel has used the scattering of a photon when it strikes an atom to better understand the process of decoherence. In a paper the team has published in the journal Science, the group ...
NJIT researchers received a top honor for their ideas on better ways to ensure the integrity and long-term reliability of data stored at potentially untrusted cloud storage providers. "Towards Self-Repairing Replication-Based ...
Computer Sciences
Mar 4, 2013
3
0
Hewlett-Packard Co. is making a tablet computer that uses Google's Android operating system, steering clear of Microsoft's latest tablet-oriented version of Windows, the company said Sunday.
Consumer & Gadgets
Feb 24, 2013
0
0
(Phys.org)—Many areas of scientific research—Earth's weather, ocean currents, the outpouring of magnetic energy from the sun—require mapping out the large scale features of a complex system and its intricate details ...
General Physics
Feb 21, 2013
6
0
.jpg)
(Phys.org)—A quantum computer doesn't need to be a single large device but could be built from a network of small parts, new research from the University of Bristol has demonstrated. As a result, building such a computer ...
Quantum Physics
Feb 21, 2013
0
1
Take a walk through a human brain? Fly over the surface of Mars? Computer scientists at the University of Illinois at Chicago are pushing science fiction closer to reality with a wraparound virtual world where a researcher ...
Computer Sciences
Feb 20, 2013
4
0
