"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
Wikipedia, one of the world's biggest websites, is losing many of its English-language editors, crippling its ability to keep pace with its mission as a source of knowledge online, a study says.
Internet
Jan 4, 2013
27
0
Consumers seek to punish fellow consumers who violate social norms while shopping but also make exceptions depending on the situation, according to a new study in the Journal of Consumer Research.
Social Sciences
Dec 11, 2012
0
0
Almost 41 percent of Ohioans have visited a lake, pond, river or creek in the state in the past year, and of those, nearly one-half usually spend their water-related recreational time at Lake Erie, according to preliminary ...
Environment
Aug 16, 2012
0
0
(Phys.org) -- In a recent paper, Aleksander Ellis of the University of Arizona Eller College of Management and a colleague demonstrate that lack of sleep can cause deviant behavior at work.
Economics & Business
Aug 8, 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
Researchers reporting online on July 26 in Current Biology have for the first time shown that they can control the behavior of monkeys by using pulses of blue light to very specifically activate particular brain cells. The ...
Plants & Animals
Jul 26, 2012
0
0
(PhysOrg.com) -- Duke University electrical engineers have developed a wirelessly powered telemetry system that is light and powerful enough to allow scientists to study the intricate neurological activity of dragonflies ...
Engineering
Nov 16, 2011
1
0
A new birth control vaccine for white-tailed deer -- a growing nuisance in urban areas for gardens and landscaping -- eliminates the dangerous reproductive behavior behind the annual autumn surge in automobile-deer collisions. ...
Plants & Animals
Aug 31, 2011
0
0
(PhysOrg.com) -- New research conducted by the Cultural Cognition Project at Yale Law School concludes that people’s cultural values influence how risky they perceive the human papillomavirus (HPV) vaccine to be and thus, ...
Social Sciences
Jan 13, 2010
1
0
