(Phys.org) —Researchers from North Carolina State University have developed a software algorithm that detects and isolates cyber-attacks on networked control systems – which are used to coordinate transportation, power ...
Computer Sciences
May 14, 2013
0
0
(Phys.org) —Your typical robot story tends to be about robotics teams finding clever ways to make their mechanical devices mimic real animals in shape and movement. A study coming out of South Korea has a twist. Researchers ...
"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
Computer networks at the Reserve Bank of Australia have been hacked, officials said Monday, with some reportedly infected by Chinese-developed malware searching for sensitive information.
Internet
Mar 11, 2013
1
0
Homicide moves through a city in a process similar to infectious disease, according to a new study that may give police a new tool in tracking and ultimately preventing murders.
Social Sciences
Nov 29, 2012
2
0
With new treatments for disease, test suites that safeguard computers, and even expertise to rescue miners trapped thousands of feet underground, federal laboratories have a wealth of technologies and know-how that can give ...
Other
Nov 28, 2012
0
0
(AP)—Sony Corp. is revamping its PlayStation Store as it prepares a common storefront across devices from its game console to its Web-connected TVs, Blu-ray players and phones.
Business
Oct 18, 2012
0
0
(Phys.org)—Forget the TV remote and the games controller, now you can control anything from your mobile phone to the television with just a wave of your hand.
Hi Tech & Innovation
Oct 9, 2012
2
0
(Phys.org)—At an airport, many people are essential for planes to take off. Gate staffs, refueling crews, flight attendants and pilots are in constant communication with each other as they perform required tasks. But it's ...
Computer Sciences
Sep 7, 2012
0
0
(Phys.org) -- The remotely piloted X-48C aircraft successfully flew for the first time Tuesday at Edwards Air Force Base in California's Mojave Desert.
Engineering
Aug 7, 2012
2
0
