March 19, 2013
“Formal verification” is a set of methods for mathematically proving that a computer program does what it’s supposed to do.
February 7, 2013
Devavrat Shah arrived at Stanford University as a graduate student in computer science in 1999, just a few months after a couple of other students in the department, Sergey Brin and Larry Page, received $25 million in financing for a company that they’d started in a friend’s garage, which they
January 20, 2012
The northern goshawk is one of nature’s diehard thrill-seekers. The formidable raptor preys on birds and small mammals, speeding through tree canopies and underbrush to catch its quarry.
September 21, 2011
Ask someone with her hands in her lap to pick up a coffee mug on the table she’s sitting at, and she’ll extract her hand from under the table and stretch her arm out toward the mug.
August 3, 2011
In the last few years, electrical utilities have begun equipping their customers’ homes with new meters that have Internet connections and increased computational capacity.
July 8, 2011
Recommendation algorithms are a vital part of today’s Web, the basis of the targeted advertisements that account for most commercial sites’ revenues and of services such as Pandora, the Internet radio site that tailors song selections to listeners’ declared preferences.
