Crash-tolerant data storage
Formally verified working file system could lead to computers guaranteed never to lose your data.
Formally verified working file system could lead to computers guaranteed never to lose your data.
Team from MIT's Computer Science and Artificial Intelligence Lab detects dementia using AI and a digital pen.
Bots from the MIT Computer Science and Artificial Intelligence Lab work together more effectively in the face of uncertainty.
Researchers mount successful attacks against popular anonymity network — and show how to prevent them.
Partnership of government, industry, and academia will pursue integration of optical devices with electronics.
Robots’ maps of their environments can make existing object-recognition algorithms more accurate.
New model predicts wind speeds more accurately with three months of data than others do with 12.
MIT professors’ choice-modeling software predicts customer preferences for retailers.
New network design exploits cheap, power-efficient flash memory without sacrificing speed.
Whether “backdoor” or “front-door,” government access imperils your data, report authors say.
New techniques could help identify students at risk for dropping out of online courses.
A high-school outreach program first brought Tamara Broderick to MIT in 2002. Now she's back, as an assistant professor in EECS.
System fixes bugs by importing functionality from other programs — without access to source code.
Engineers from iRobot provide workshop for students from the Boston area in the MIT STEM Mentoring Program.
Video-processing algorithm magnifies motions indiscernible to naked eye, even in moving objects.