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 that can't ...

Environmental policy often has undesirable side effects

"Good intentions" do not generally produce "good results." This wisdom also applies to establishing coherent environmental policies. Without proper oversight and planning, environmental policies can lead to unintended and ...

US cites Baidu, PirateBay, others in copyright piracy

The US Monday named leading Chinese search engine Baidu and Swedish torrent download site Pirate Bay in a list of the world's top online and physical markets for pirated and counterfeit goods.

A sustainable path to eliminate hunger in africa

To feed Africa's growing population, agricultural-food systems need to be modernized. In a new study, researchers analyzed how continental free trade and agricultural development could ensure sustainable food security for ...

Cuba's worker bees boost thriving honey business

In the floral valleys of Cuba's Matanzas province, old fashioned farming means bees can swarm without the threat of pesticides that have decimated populations across the world.

page 12 from 40