News tagged with control behaviors

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

dateMar 19, 2013 in Computer Sciences
shares0 comments 8

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.

dateJan 04, 2013 in Internet
shares0 comments 27

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

dateNov 16, 2011 in Engineering
shares0 comments 1

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.

dateJun 06, 2011 in Health
shares0 comments 0