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 ...
Wikipedia losing editors, study says
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.
Holiday shopping madness: When do consumers seek to punish fellow shoppers for behaving badly?
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.
Ohioans love their lakes, but are concerned for their future
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 ...
Sleep deprivation can influence professional behavior
(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.
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 ...
Controlling monkey brains and behavior with light
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 fi ...
Tracking dragonflies on the wing
(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 ...
Not tonight deer: A new birth control vaccine helps reduce urban deer damage
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. ...
CDC study: Gay, bisexual teens do riskier things
(AP) -- Gay and bisexual high school students are more likely than their heterosexual classmates to smoke, drink alcohol or do other risky things, according to a government study released Monday.
Nearly one 1 in 12 in US have asthma: study
Asthma cases in the United States have risen 12.3 percent since 2001, and nearly one in 12, or almost 25 million Americans, are stricken with the chronic respiratory disease, the government said Tuesday.
Partner controlling behaviors appear to be associated with relationship violence
Having a significant other who exhibits controlling behaviors appears to be associated with increased physical and sexual relationship violence, according to a report in the April issue of Archives of Pediatrics & Adolescent Me ...
US teens, young adults 'doing it' less, study says
Fewer teens and young adults are having sex, a government survey shows, and theories abound for why they're doing it less. Experts say this generation may be more cautious than their predecessors, more aware of sexually spread ...
Recipe for family mealtimes calls for 3 ingredients in the right amounts
A University of Illinois scientist reports that family mealtimes that contain three ingredients in the right amounts can improve the quality of life in children who have chronic asthma.