Domain: mit.edu
Stories and comments across the archive that link to mit.edu.
Stories · 1,000
-
Scientists Force Computer To Binge On TV Shows and Predict What Humans Will Do (geekwire.com)
An anonymous reader quotes a report from GeekWire: Researchers have taught a computer to do a better-than-expected job of predicting what characters on TV shows will do, just by forcing the machine to study 600 hours' worth of YouTube videos. The researchers developed predictive-vision software that uses machine learning to anticipate what actions should follow a given set of video frames. They grabbed thousands of videos showing humans greeting each other, and fed those videos into the algorithm. To test how much the machine was learning about human behavior, the researchers presented the computer with single frames that showed meet-ups between characters on TV sitcoms it had never seen, including "The Big Bang Theory," "Desperate Housewives" and "The Office." Then they asked whether the characters would be hugging, kissing, shaking hands or exchanging high-fives one second afterward. The computer's success rate was 43 percent. That doesn't match a human's predictive ability (72 percent), but it's way better than random (25 percent) as well as the researchers' benchmark predictive-vision programs (30 to 36 percent). The point of the research is to create robots that do a better job of anticipating what humans will do. MIT's Carl Vondrick and his colleagues are due to present the results of their experiment next week at the International Conference on Computer Vision and Pattern Recognition in Las Vegas. "[The research] could help a robot move more fluidly through your living space," Vondrick told The Associated Press. "The robot won't want to start pouring milk if it thinks you're about to pull the glass away." You can watch their YouTube video to learn more about the experiment. -
Google Is A Serial Tracker (softpedia.com)
An anonymous reader writes: Two Princeton academics conducted a massive research into how websites track users using various techniques. The results of the study, which they claim to be the biggest to date, shows that Google, through multiple domains, is tracking users on around 80 percent of all Top 1 Million domains. Researchers say that Google-owned domains account for the top 5 most popular trackers and 12 of the top 20 tracker domains. Additionally, besides tracking scripts, HTML5 canvas fingerprinting and WebRTC local IP discover, researchers discovered a new user fingerprinting technique that uses the AudioContext API. Third-party trackers use it to send low-frequency sounds to a user's PC and measure how the PC processes the data, creating an unique fingerprint based on the user's hardware and software capabilities. A demo page for this technique is available. Of course, this sort of thing is nothing new and occurs all across the web and beyond. MIT and Oxford published a study this week that revealed that Twitter location tags on only a few tweets can reveal details about the account's owner, such as his/her real world address, hobbies and medical history. Another recently released study by Stanford shows that phone call metadata can also be used to infer personal details about a phone owner. -
Breathalyzer That Detects Lung Cancer Early From a Single Breath Wins $100K Entrepreneurship Competition (mit.edu)
Lung cancer "breathalyzer," developed by a team of MIT and Harvard University students, has won $100K Entrepreneurship Competition. The breathalyzer connects to a smartphone and is able to detect lung cancer early from a single breath, reports MIT News. From the report: Astraeus Technologies has developed a postage-stamp-sized device, called the L CARD, that detects certain gases indicative of lung cancer. When someone blows onto the device, a connected mobile app turns a smartphone screen red if those gases are present and green if they aren't. "The L CARD reacts and sends instantaneous information to the physician that further attention is required," Joseph Azzarelli, an MIT PhD student in chemistry said while a ripple of excitement spread through the crowd. Lung cancer is the deadliest type of cancer in the United States, causing more deaths than breast, colon, and prostate cancers combined, according to the World Health Organization. -
Scientists Develop 'Second Skin' To Smooth Wrinkles (cbsnews.com)
An anonymous reader writes a report from CBS News: MIT researchers have developed a "second skin" that could be used to smooth wrinkles, protect skin from damage, or administer medications to treat skin conditions, such as eczema. "It's an invisible layer that can provide a barrier, provide cosmetic improvement, and potentially deliver a drug locally to the area that's being treated," Daniel Anderson said in a university news release. "We started thinking about how we might be able to control the properties of skin by coating it with polymers that would impart beneficial effects," said Anderson. "We also wanted it to be invisible and comfortable." The scientists created a library of more than 100 potential polymers, and they tested each material in order to determine which one would most closely match the appearance and characteristics of healthy skin. The "second skin" is applied in two steps. Both layers are applied as creams or ointments. Once on the skin, XPL is nearly invisible. It can remain on the skin for up to 24 hours, the study authors said. Researchers found the polymer was able to reshape "eye bags" beneath the lower eyelids, and the effect lasted about 24 hours. It also treated dry skin and improved hydration. -
Scientists Discover Three Potentially Habitable Planets (mit.edu)
Scientists have discovered three Earth-sized planets that look ideally suited to search for signs of life beyond our solar system. A team of astronomers from MIT and the University of Liege detected three planets orbiting an ultracool dwarf star -- just 40 light years from Earth using a prototype telescope called TRAPPIST which is capable of looking at 60 nearby ultracool stars. NPR reports: The closest planet to the star orbits in about one and a half Earth days. From the planet's surface, the star would look like a reddish ball fixed to one spot in the sky. Scientists don't yet know the mass of the planets or what they're made of. Astronomers have discovered more than a thousand planets outside our solar system, but it's still rare to find ones that look promising in terms of habitability."These planets are Earth-sized, they are temperate -- we can't rule out the fact that they are habitable -- and they are well-suited for atmospheric studies," says Julien de Wit, a researcher at MIT. -
Can Quantum Entanglement Create Faster-Than-Light Communication? (mit.edu)
Slashdot reader StartsWithABang writes: If you were to send a space probe to a distant star system, gather information about it and send it back to Earth, you'd have to wait years for the information to arrive. But if you have an entangled quantum system -- say, two photons, one with spin +1 and one with spin -1 -- you could know the spin of the distant one instantly by measuring the spin of the one in your possession.
This "incredible idea to exploit quantum weirdness" for communication was the subject of a recent Forbes article [which blocks ad-blockers] as well as a NASA mission directorate. ("Entanglement-assisted Communication System for NASA's Deep-Space Missions: Feasibility Test and Conceptual Design".) And Friday MIT News reported a research team is now making progress toward capturing paired electron halves for quantum computing on gold film. "Our first goal is to look for the Majorana fermions, unambiguously detect them, and show this is it. "
This week even 85-year-old Star Trek actor William Shatner cited quantum entanglement in a discussion of Star Trek's transporter technology, arguing that "Although a lot of the concepts in science fiction are absurd to our Newtonian minds, anything is possible because of the new language of quantum physics." -
VC, Entrepreneur Says Basic Income Would Work Even If 90% People 'Smoked Pot' and Didn't Work (techinsider.io)
An anonymous reader cites a story on TI: The chief complaint people lodge at universal basic income -- a form of income distribution that gives people money to cover basic needs regardless of whether they work or not -- is that it'll make them lazy. Sam Altman doesn't buy it. In a recent episode of the Freakonomics podcast, entitled "Is the World Ready for a Guaranteed Basic Income?" Altman argued basic income could support huge amounts of productivity loss and still carry the economy on its shoulders. "Maybe 90% of people will go smoke pot and play video games, but if 10% of the people go create incredible new products and services and new wealth, that's still a huge net-win," Altman says. "And the American puritanical ideal that hard work for its own sake is valuable -- period -- and that you can't question that, I think that's just wrong." [...] The complaint Altman addressed on the Freakonomics podcast is a common one. Study after study, however, has shown that giving people extra money makes them feel financially secure. That security ends up leading to empowerment, not de-motivation. -
Refrigerator-Sized Machine Can Print Pills on Demand (dailymail.co.uk)
MIT Researchers have created a new "Pharmacy on Demand" prototype that can produce 1,000 doses of medication every 24 hours. Their new system "can be easily transported in case of outbreaks, supply shortage or if a manufacturing plant shuts down," notes the Daily Mail, and the on-demand technology can address many of the challenges in supplying medications, for example regions without facilities for storing pills. "The dosages don't have to have long-term stability," says the head of MIT's Chemistry department. "People line up, you make it, and they take it." The DARPA-funded researchers produced Valium, Prozac, Benadryl, and lidocaine, and demonstrated that "Within a few hours we could change from one compound to the other." The machine can also switch to a different drug type within a few hours, making it economical to produce drugs needed by only a small number of patients. -
MIT Study Shows Stop Lights Won't Be Necessary In The Future (computerworld.com)
Lucas123 writes: An MIT [Senseable City Lab] study based on mathematical modeling demonstrated a likely scenario in which high-tech vehicles, using sensors to remain at a safe distance from each other as they move through a four-way intersection, can eliminate the need for traffic lights in the future. By removing the waits caused by traffic lights, these so-called Slot-based Intersections speed-up traffic flow.The study claims this kind of traffic-light-free transportation design, if it ever arrives, could allow twice as much traffic to use existing roads. -
MIT Creates Algorithm That Speeds Up Page Load Time By 34% (softpedia.com)
An anonymous reader writes: MIT researchers have created an algorithm that analyzes web pages and creates dependency graphs for all network resources that need to be loaded (CSS, JS, images, etc.). The algorithm, called Polaris, will be presented this week at the USENIX Symposium on Networked Systems Design and Implementation conference, and is said to be able to cut down page load times by 34%, on average. The larger and more resources a web page contains, the better the algorithm's efficiency gets -- which should be useful on today's JavaScript-heavy sites. -
MIT's Eyebrowse To Rank and Review Internet Sites, While Retaining Privacy (thestack.com)
An anonymous reader writes: MIT has launched a new scheme whereby participating users can voluntarily share data on their website viewing habits, via the use of a Google Chrome extension and by signing up to an MIT website. The scheme, called Eyebrowse, began development in 2010 and has been in closed beta for the last 18 months. Cornell information science professor Mor Naaman says of the project: "Data has traditionally been used by anyone from corporations to the government...but the goal of this system is to make the data more useful for the individuals themselves, to give them more control, and to make it more useful to communities." -
MIT Develops Ultra Thin, Light Weight, Efficient Solar Cells (blastingnews.com)
MarkWhittington writes: Researchers at MIT have developed a gossamer thin solar cell that is made of layers of flexible polymers. The cell is so light that it can rest on a soap bubble without breaking it. As a bonus, the thin, light cells puts out 400 times more power than the standard, glass covered photovoltaic cells, at about six watts per gram. According to the researchers, this new development could help power the next generation of portable electronic devices. -
It's Official: LIGO Scientists Make First-Ever Observation of Gravity Waves (economist.com)
A few days ago, we posted reports that a major finding -- the discovery of the long-predicted gravity waves -- was expected to be formally announced today, and reader universe520 is the first to note this coverage in the Economist : It is 1.3 billion years after two black holes merged and sent out gravitational waves. On Earth in September 2015, the faintest slice of those waves was caught. That slice, called GW150914 and announced to the world on February 11th, is the first gravitational wave to be detected directly by human scientists. It is a triumph that has been a century in the making, opening a new window onto the universe and giving researchers a means to peer at hitherto inaccessible happenings, perhaps as far back in time as the Big Bang. Reader DudeTheMath adds: NPR has a nice write-up of the newly-published results: "[R]esearchers say they have detected rumblings from that cataclysmic collision as ripples in the very fabric of space-time itself. The discovery comes a century after Albert Einstein first predicted such ripples should exist. ... The signal in the detector matches well with what's predicted by Einstein's original theory, according to [Saul] Teukolsky [of Cornell], who was briefed on the results." Update: 02/11 18:08 GMT by T : Worth reading: this letter, inspirational and informative, from MIT president L. Rafael Reif, about the discovery. (Hat tip to Brian Kulak.) -
MIT Team Tops Hyperloop Design Competition (google.com)
The Dallas Morning News reports that a team from MIT has topped competitors from around 100 universities around the world at a competition held on the campus of Texas A&M by presenting a workable design vision for Elon Musk's dream of a hyperloop. The hyperloop concept, mentioned several times before on Slashdot, involves rapidly shuffling passenger pods through 12-foot-wide tubes evacuated of air, and would mean terrestrial transport at speeds topping those of commercial air travel. From the Morning News article: Delft University of Technology from The Netherlands finished second, the University of Wisconsin third, Virginia Tech fourth and the University of California, Irvine, fifth. The top teams will build their pods and test them at the world's first Hyperloop Test Track, being built adjacent to SpaceX's Hawthorne, Calif., headquarters. -
Scientists Struggle To Stay Grounded After Possible Gravitational Wave Signal (theguardian.com)
schwit1 writes with news that cosmologist Lawrence Krauss has set the scientific community abuzz by confirming a rumor floating around for the past several months that the LIGO experiment may have discovered gravitational waves. The excitement centers on a longstanding experiment known as the Advanced Laser Interferometer Gravitational-Wave Observatory (LIGO) which uses detectors in Hanford, Washington, and Livingston, Louisiana to look for ripples in the fabric of spacetime. According to the rumors, scientists on the team are in the process of writing up a paper that describes a gravitational wave signal. If such a signal exists and is verified, it would confirm one of the most dramatic predictions of Albert Einstein’s century-old theory of general relativity. Krauss said he was 60% confident that the rumor was true, but said he would have to see the scientists’ data before drawing any conclusions about whether the signal was genuine or not. But many scientists are trying to calm the hype. Krauss admits he hasn't spoken to anyone within the LIGO team. Further, to enhance the integrity of their work, the LIGO team will occasionally "purposefully inject false signals in to their data to test the sensitivity of their analysis techniques and to keep people honest." A LIGO spokesperson said, "We’ll certainly let you know when we have news to share." -
MIT Researchers Develop Triple Helix MicroRNA Cancer Treatment (mit.edu)
Eloking sends a report on new research from MIT, where scientists have developed a promising technique to shrink cancerous tumors. By "twisting RNA strands into a triple helix and embedding them in a biocompatible gel," they were able to efficiently deliver the RNA to tumor cells. "Using this technique, the researchers dramatically improved cancer survival rates by simultaneously turning on a tumor-suppressing microRNA and de-activating one that causes cancer. They believe their approach could also be used for delivering other types of RNA, as well as DNA and other therapeutic molecules. ... Once placed on the tumor, the gel slowly releases microRNA-dendrimer particles, which are absorbed into the tumor cells. After the particles enter the cells, enzymes cut each triple helix into three separate microRNA strands." -
'Shrinking Bull's-eye' Algorithm Speeds Up Complex Modeling From Days To Hours (mit.edu)
rtoz sends word of the discovery of a new algorithm that dramatically reduces the computation time for complex processes. Scientists from MIT say it conceptually resembles a shrinking bull's eye, incrementally narrowing down on its target. "With this method, the researchers were able to arrive at the same answer as a classic computational approaches, but 200 times faster." Their full academic paper is available at the arXiv. "The algorithm can be applied to any complex model to quickly determine the probability distribution, or the most likely values, for an unknown parameter. Like the MCMC analysis, the algorithm runs a given model with various inputs — though sparingly, as this process can be quite time-consuming. To speed the process up, the algorithm also uses relevant data to help narrow in on approximate values for unknown parameters." -
Lunar Scientist Proposes Dozens of Impact Probes To Map Moon's Water (examiner.com)
MarkWhittington writes: Water ice believed by scientists to reside at the lunar poles is the key to opening up the solar system to human activity. The water could help sustain a lunar settlement. It could also be refined into rocket fuel, not only to sustain travel to and from the moon but to make it a refueling stop for spacecraft headed deeper into the solar system. A recent MIT study suggested that lunar fuel would simplify NASA's Journey to Mars. Lunar scientist Paul Spudis, writing in Air and Space Magazine, pondered the next step in determining the extent and composition of the lunar ice. Spudis' idea is to deploy several dozen impact probes across one of the lunar polar regions. -
New Algorithm Provides Huge Speedups For Optimization Problems (mit.edu)
An anonymous reader writes: MIT graduate students have developed a new "cutting-plane" algorithm, a general-purpose algorithm for solving optimization problems. They've also developed a new way to apply their algorithm to specific problems, yielding orders-of-magnitude efficiency gains. Optimization problems look to find the best set of values for a group of disparate parameters. For example, the cost function around designing a new smartphone would reward battery life, speed, and durability while penalizing thickness, cost, and overheating. Finding the optimal arrangement of values is a difficult problem, but the new algorithm shaves a significant amount of operations (PDF) off those calculations. Satoru Iwata, professor of mathematical informatics at the University of Tokyo, said, "This is indeed an astonishing paper. For this problem, the running time bounds derived with the aid of discrete geometry and combinatorial techniques are by far better than what I could imagine." -
An Algorithm That Can Predict Human Behavior Better Than Humans (mit.edu)
Quartz describes an MIT study with the surprising conclusion that at least in some circumstances, an algorithm can not only sift numbers faster than humans (after all, that's what computers are best at), but also discern relevant factors within a complex data set more accurately and more quickly than can teams of humans. In a competition involving 905 human teams, a system called the Data Science Machine, designed by MIT master's student Max Kanter and his advisor, Kalyan Veeramachaneni, beat most of the humans for accuracy and speed in three tests of predictive power, including one about "whether a student would drop out during the next ten days, based on student interactions with resources on an online course." Teams might have looked at how late students turned in their problem sets, or whether they spent any time looking at lecture notes. But instead, MIT News reports, the two most important indicators turned out to be how far ahead of a deadline the student began working on their problem set, and how much time the student spent on the course website. ... The Data Science Machine performed well in this competition. It was also successful in two other competitions, one in which participants had to predict whether a crowd-funded project would be considered “exciting” and another if a customer would become a repeat buyer. -
An Algorithm That Can Predict Human Behavior Better Than Humans (mit.edu)
Quartz describes an MIT study with the surprising conclusion that at least in some circumstances, an algorithm can not only sift numbers faster than humans (after all, that's what computers are best at), but also discern relevant factors within a complex data set more accurately and more quickly than can teams of humans. In a competition involving 905 human teams, a system called the Data Science Machine, designed by MIT master's student Max Kanter and his advisor, Kalyan Veeramachaneni, beat most of the humans for accuracy and speed in three tests of predictive power, including one about "whether a student would drop out during the next ten days, based on student interactions with resources on an online course." Teams might have looked at how late students turned in their problem sets, or whether they spent any time looking at lecture notes. But instead, MIT News reports, the two most important indicators turned out to be how far ahead of a deadline the student began working on their problem set, and how much time the student spent on the course website. ... The Data Science Machine performed well in this competition. It was also successful in two other competitions, one in which participants had to predict whether a crowd-funded project would be considered “exciting” and another if a customer would become a repeat buyer. -
Going To Mars Via the Moon (mit.edu)
An anonymous reader writes: Getting anywhere in space is a difficult proposition — at least, if you want to get there in a timely manner. Rocket propulsion requires combustion mass. The more mass you take, the more you need. A team at MIT has found that establishing fuel-generating infrastructure on the Moon could reduce launch mass for missions to Mars by up to 68%. "They found the most mass-efficient path involves launching a crew from Earth with just enough fuel to get into orbit around the Earth. A fuel-producing plant on the surface of the moon would then launch tankers of fuel into space, where they would enter gravitational orbit. The tankers would eventually be picked up by the Mars-bound crew (PDF), which would then head to a nearby fueling station to gas up before ultimately heading to Mars." The technology to make this happen is not difficult to build; it just requires a lot of money. Once it's in place, it'll cut down on expensive launch costs. As the commercial space industry gets going and launches happen more often, such an investment starts to make more and more sense. -
Going To Mars Via the Moon (mit.edu)
An anonymous reader writes: Getting anywhere in space is a difficult proposition — at least, if you want to get there in a timely manner. Rocket propulsion requires combustion mass. The more mass you take, the more you need. A team at MIT has found that establishing fuel-generating infrastructure on the Moon could reduce launch mass for missions to Mars by up to 68%. "They found the most mass-efficient path involves launching a crew from Earth with just enough fuel to get into orbit around the Earth. A fuel-producing plant on the surface of the moon would then launch tankers of fuel into space, where they would enter gravitational orbit. The tankers would eventually be picked up by the Mars-bound crew (PDF), which would then head to a nearby fueling station to gas up before ultimately heading to Mars." The technology to make this happen is not difficult to build; it just requires a lot of money. Once it's in place, it'll cut down on expensive launch costs. As the commercial space industry gets going and launches happen more often, such an investment starts to make more and more sense. -
Why Many CSS Colors Have Goofy Names (arstechnica.com)
An anonymous reader writes: Take a look at the list of named colors within the CSS Color Module Level 4. The usual suspects are there, like 'red,' 'cyan,' and 'gold,' as well as some slightly more descriptive ones: 'lightgrey,' 'yellowgreen,' and 'darkslateblue.' But there are also some really odd names: 'burlywood,' 'dodgerblue,' 'blanchedalmond,' and more. An article at Ars walks through why these strange names became part of a CSS standard. Colors have been added to the standard piece by piece over the past 30 years — here's one anecdote: "The most substantial release, created by Paul Raveling, came in 1989 with X11R4. This update heralded a slew of light neutral tones, and it was a response to complaints from Raveling's coworkers about color fidelity. ... Raveling drew these names from an unsurprising source: the (now-defunct) paint company Sinclair Paints. It was an arbitrary move; after failing to receive sanctions from the American National Standards Institute (ANSI), which issued standards for Web color properties, Raveling decided to take matters into his own hands. He calibrated the colors for his own HP monitor. 'Nuts to ANSI & "ANSI standards,"' he complained." -
The Lessons Learned From Emergency Robot Deployments
aarondubrow writes: Robin Murphy, director of Center for Robot-Assisted Search and Rescue at Texas A&M University and one of the leading researchers in the field of disaster robotics, has used robots and UAVs for search-and-rescue missions and structural inspections during more than 20 disasters, from 9/11 to Katrina to Fukushima and the 2015 Texas floods. The Huffington Post carried a story where she describes five lessons she's learned from her robot deployments and research. -
MIT Simplifies Design Process For 3D Printing
An anonymous reader writes: New software out of MIT and the Interdisciplinary Center Herzliya in Israel takes CAD files and automatically builds visual models that users can alter with simple, visual sliders. It works by computing myriad design variations before a user asks for them. When the CAD file is loaded, the software runs through a host of size variations on various properties of the object, evaluating whether the changes would work in a 3D printer, and doing the necessary math to plan tool routes. When a user moves one of the sliders, it switches the design along these pre-computer values. "The system automatically weeds out all the parameter values that lead to unprintable or unstable designs, so the sliders are restricted to valid designs. Moving one of the sliders — changing the height of the shoe's heel, say, or the width of the mug's base — sweeps through visual depictions of the associated geometries."
There are two big drawbacks: first, it requires a lot of up-front processing power to compute the variations on an object. Second, resolution for changes is fixed if you want quick results — changing the design for a pair of 3D-printed shoes from size 8 to size 9 might be instantaneous, but asking for a shoe that's a quarter of a millimeter longer than a size 8 would take several minutes to process. But for scrolling through the pre-computed design changes, the software can present "in real time what would take hours to calculate with a CAD program," and without the requisite experience with CAD. -
MIT Develops Inkjet-Style 3D Printer That Uses 10 Different Materials At Once
Lucas123 writes: Researchers at MIT have been able to build a printer with uses 10 different photosensitive polymers to create a myriad of objects, and they were able to build it using off-the-shelf commodity parts for around $7,000. The MultiFab 3D printer works by mixing together microscopic droplets of photopolymers that are then extruded through inkjet printheads similar to those in office printers. A UV light then hardens the polymers layer by layer. Perhaps even more remarkable than the list of materials it can use is the MultiFab 3D printer's ability to self-calibrate and self-correct during a print job (PDF). The printer has an integrated machine vision system that automatically readjusts the printer head if errors occur, rectifying the build before a problem ruins the object; that means print jobs that run into errors don't need to be cancelled and materials wasted. The researchers said they can foresee an array of applications for the MultiFab 3D in consumer electronics, microsensing, medical imaging and telecommunications, among other things. -
MIT Develops Inkjet-Style 3D Printer That Uses 10 Different Materials At Once
Lucas123 writes: Researchers at MIT have been able to build a printer with uses 10 different photosensitive polymers to create a myriad of objects, and they were able to build it using off-the-shelf commodity parts for around $7,000. The MultiFab 3D printer works by mixing together microscopic droplets of photopolymers that are then extruded through inkjet printheads similar to those in office printers. A UV light then hardens the polymers layer by layer. Perhaps even more remarkable than the list of materials it can use is the MultiFab 3D printer's ability to self-calibrate and self-correct during a print job (PDF). The printer has an integrated machine vision system that automatically readjusts the printer head if errors occur, rectifying the build before a problem ruins the object; that means print jobs that run into errors don't need to be cancelled and materials wasted. The researchers said they can foresee an array of applications for the MultiFab 3D in consumer electronics, microsensing, medical imaging and telecommunications, among other things. -
MIT's New File System Won't Lose Data During Crashes
jan_jes sends news that MIT researchers will soon present a file system they say is mathematically guaranteed not to lose data during a crash. While building it, they wrote and rewrote the file system over and over, finding that the majority of their development time was spent defining the system components and the relationships between them. "With all these logics and proofs, there are so many ways to write them down, and each one of them has subtle implications down the line that we didn’t really understand." The file system is slow compared to other modern examples, but the researchers say their formal verification can also work with faster designs. Associate professor Nickolai Zeldovich said, "Making sure that the file system can recover from a crash at any point is tricky because there are so many different places that you could crash. You literally have to consider every instruction or every disk operation and think, ‘Well, what if I crash now? What now? What now?’ And so empirically, people have found lots of bugs in file systems that have to do with crash recovery, and they keep finding them, even in very well tested file systems, because it’s just so hard to do.” -
MIT 3D Prints With Glass
An anonymous reader writes: MIT's Mediated Matter Group has published a paper and a video about their new technique for 3D printing with glass. The top part of their printer is a kiln that heats the glass to temperatures of approximately 1900 degrees Fahrenheit, causing it to melt. The molten glass is then passed through an alumina-zircon-silica nozzle, which moves just like an extruder on normal 3D printers. "The frame of the printer is constructed out of 80/20 aluminum stock and square steel tube. They used three independent stepper motors and a lead screw gantry system and drivers which were controlled via an Arduino and a RAMPS 1.4 Arduino shield." The device's makers say, "The tunability enabled by geometrical and optical variation driven by form, transparency and color variation can drive; limit or control light transmission, reflection and refraction, and therefore carries significant implications for all things glass." -
MIT and Samsung Researching Solid-State Batteries
jones_supa writes: Researchers at Massachusetts Institute of Technology and Samsung have developed a new approach to one of the three basic components of batteries, the electrolyte. The new findings are based on the idea that a solid electrolyte, rather than liquid, could greatly improve both device lifetime and safety, while also providing a significant boost in power density. The new type of electrolyte would also cope better in cold temperatures. The results are reported in the journal Nature Materials in a paper by MIT postdoc Yan Wang, visiting professor of materials science and engineering Gerbrand Ceder, and five others. -
Implanted Optogenetic Light Switch Lets Scientists Flip Neurons On and Off
the_newsbeagle writes: Optogenetics is a fairly new (and fairly awesome) research tool for neuroscientists: By using light to jolt certain neurons into action, they can study how those neurons function in the mouse brain. But getting the light to those neurons has been difficult. Previous systems have required either fiber optic cables that tether the mouse to a computer, or heavy head-mounted receivers. Now Stanford's Ada Poon has invented a tiny and fully implantable system that wirelessly receives the signal to stimulate, and uses a micro-LED to activate the neurons. The device will let researchers study brain function while mice are running around, interacting socially, etc. -
Could a Digital Pen Change How We Diagnose Brain Function?
An anonymous reader writes: By using custom tracking software to monitor the output from a digital pen, MIT researchers say they have found a way to better predict the onset of brain conditions like Alzheimer's and Parkinson's. according to MIT: "For several decades, doctors have screened for conditions including Parkinson's and Alzheimer's with the CDT, which asks subjects to draw an analog clock-face showing a specified time, and to copy a pre-drawn clock. But the test has limitations, because its benchmarks rely on doctors' subjective judgments, such as determining whether a clock circle has 'only minor distortion.' CSAIL researchers were particularly struck by the fact that CDT analysis was typically based on the person's final drawing rather than on the process as a whole. Enter the Anoto Live Pen, a digitizing ballpoint pen that measures its position on the paper upwards of 80 times a second, using a camera built into the pen. The pen provides data that are far more precise than can be measured on an ordinary drawing, and captures timing information that allows the system to analyze each and every one of a subject's movements and hesitations." -
Brain Scan Predicts the Success of Social Anxiety Disorder Treatment
jan_jes writes: MIT researchers performed brain scans on 38 SAD patients and were able to predict with about 80% accuracy which patients would do well in cognitive behavioral therapy (CBT). Use of the scans to predict treatment outcomes improved predictions fivefold over use of a clinician's assessment alone. The researchers used a form of brain imaging that scans patients in a state of rest. Resting-state images can be done quickly and reliably, so they have the potential to be used in a clinical setting. “Choice of therapy is like a wheel of chance,” says first author Susan Whitfield-Gabrieli, a research scientist in the McGovern Institute for Brain Research at MIT. “We’re hoping to use brain imaging to help provide more reliable predictors of treatment response.” -
MIT Designs Less Expensive Fusion Reactor That Boosts Power Tenfold
jan_jes writes: Advances in magnet technology have enabled researchers at MIT to propose a new design for a practical compact tokamak (donut-shaped) fusion reactor. The stronger magnetic field makes it possible to produce the required magnetic confinement of the superhot plasma — that is, the working material of a fusion reaction — but in a much smaller device than those previously envisioned (abstract). The reduction in size, in turn, makes the whole system less expensive and faster to build, and also allows for some ingenious new features in the power plant design. -
MIT "Yolk and Shell" Nanoparticle Promises Longer-Lived Rechargeable Batteries
jan_jes writes: A new "yolk-and-shell" nanoparticle created by researchers at MIT and Tsinghua University in China could boost the capacity and power of lithium-ion batteries. The researchers have created an electrode made of nanoparticles with a solid shell, and a "yolk" inside that can change size again and again without affecting the shell. The new findings, which use aluminum as the key material for the lithium-ion battery's negative electrode, or anode, are reported in the journal Nature Communications. The use of nanoparticles with an aluminum yolk and a titanium dioxide shell has proven to be "the high-rate champion among high-capacity anodes." The linked article goes into much more detail about the (serendipitous) discovery. -
Replacing Silicon With Gallium Nitride In Chips Could Reduce Energy Use By 20%
Mickeycaskill writes: Cambridge Electronics Inc (CEI), formed of researchers from the Massachusetts Institute of Technology (MIT), claim semiconductors made of gallium nitride (GaN) could reduce the power consumption of data centers and consumer electronics by 20 percent by 2025. CEI has revealed a range of GaN transistors and power electronic circuits that have just one tenth of the resistance of silicon, resulting in much higher energy efficiency. The company claims to have overcome previous barriers to adoption such as safety concerns and expense through new manufacturing techniques. "Basically, we are fabricating our advanced GaN transistors and circuits in conventional silicon foundries, at the cost of silicon. The cost is the same, but the performance of the new devices is 100 times better," Cambridge Electronics researcher Bin Lu said. -
MIT Is Improving Object Recognition For Robots
jan_jes writes: MIT have demonstrated their monocular SLAM supported approach that is able to achieve stronger performance against the classical frame based approach [where misclassifications occur occasionally]. The system is able to detect and robustly recognize objects in its environment using a single RGB camera. They have presented their paper at the Robotics Science and Systems conference last week. The system uses SLAM information to augment existing object-recognition algorithms. Robot with camera provide the improved object predictions in all views. -
MIT Is Improving Object Recognition For Robots
jan_jes writes: MIT have demonstrated their monocular SLAM supported approach that is able to achieve stronger performance against the classical frame based approach [where misclassifications occur occasionally]. The system is able to detect and robustly recognize objects in its environment using a single RGB camera. They have presented their paper at the Robotics Science and Systems conference last week. The system uses SLAM information to augment existing object-recognition algorithms. Robot with camera provide the improved object predictions in all views. -
New Network Design Exploits Cheap, Power-Efficient Flash Memory
jan_jes writes: The researchers at MIT were able to make a network of flash-based servers competitive with a network of RAM-based servers by moving a little computational power off of the servers and onto the chips that control the flash drives. Each server connected to a FPGA and each FPGA, in turn, was connected to flash chips and to the two FPGAs nearest it in the server rack. As it is connected to each other, they created a very fast network that allowed any server to retrieve data from any flash drive. Finally, the FPGAs executed the algorithms that preprocessed the data stored on the flash drives. -
Computer Program Fixes Old Code Faster Than Expert Engineers
An anonymous reader writes: Less than two weeks after one group of MIT researchers unveiled a system capable of repairing software bugs automatically, a different group has demonstrated another system called Helium, which "revamps and fine-tunes code without ever needing the original source, in a matter of hours or even minutes." The process works like this: "The team started with a simple building block of programming that's nevertheless extremely difficult to analyze: binary code that has been stripped of debug symbols, which represents the only piece of code that is available for proprietary software such as Photoshop. ... With Helium, the researchers are able to lift these kernels from a stripped binary and restructure them as high-level representations that are readable in Halide, a CSAIL-designed programming language geared towards image-processing. ... From there, the Helium system then replaces the original bit-rotted components with the re-optimized ones. The net result: Helium can improve the performance of certain Photoshop filters by 75 percent, and the performance of less optimized programs such as Microsoft Windows' IrfanView by 400 to 500 percent." Their full academic paper (PDF) is available online. -
Computer Program Fixes Old Code Faster Than Expert Engineers
An anonymous reader writes: Less than two weeks after one group of MIT researchers unveiled a system capable of repairing software bugs automatically, a different group has demonstrated another system called Helium, which "revamps and fine-tunes code without ever needing the original source, in a matter of hours or even minutes." The process works like this: "The team started with a simple building block of programming that's nevertheless extremely difficult to analyze: binary code that has been stripped of debug symbols, which represents the only piece of code that is available for proprietary software such as Photoshop. ... With Helium, the researchers are able to lift these kernels from a stripped binary and restructure them as high-level representations that are readable in Halide, a CSAIL-designed programming language geared towards image-processing. ... From there, the Helium system then replaces the original bit-rotted components with the re-optimized ones. The net result: Helium can improve the performance of certain Photoshop filters by 75 percent, and the performance of less optimized programs such as Microsoft Windows' IrfanView by 400 to 500 percent." Their full academic paper (PDF) is available online. -
MIT System Fixes Software Bugs Without Access To Source Code
jan_jes writes: MIT researchers have presented a new system at the Association for Computing Machinery's Programming Language Design and Implementation conference that repairs software bugs by automatically importing functionality from other, more secure applications. According to MIT, "The system, dubbed CodePhage, doesn't require access to the source code of the applications. Instead, it analyzes the applications' execution and characterizes the types of security checks they perform. As a consequence, it can import checks from applications written in programming languages other than the one in which the program it's repairing was written." -
New Manufacturing Technique Halves Cost of Lithium-Ion Batteries
An anonymous reader writes: Experts in materials science at MIT have developed a new process for creating lithium-ion batteries that will drop the associated production costs by half. The researchers say fundamental battery construction techniques have been refined over the past two decades, but not re-thought. "The new battery design is a hybrid between flow batteries and conventional solid ones: In this version, while the electrode material does not flow, it is composed of a similar semisolid, colloidal suspension of particles. Chiang and Carter refer to this as a 'semisolid battery.' This approach greatly simplifies manufacturing, and also makes batteries that are flexible and resistant to damage, says Chiang. ... Instead of the standard method of applying liquid coatings to a roll of backing material, and then having to wait for that material to dry before it can move to the next manufacturing step, the new process keeps the electrode material in a liquid state and requires no drying stage at all. Using fewer, thicker electrodes, the system reduces the conventional battery architecture's number of distinct layers, as well as the amount of nonfunctional material in the structure, by 80 percent." -
MIT Team Creates Ultracold Molecules
jan_jes writes: Physicists at MIT have successfully cooled molecules in a gas of sodium potassium (NaK) to a temperature of 500 nanokelvins. The researchers found that the ultracold molecules were relatively long-lived and stable, resisting reactive collisions with other molecules (abstract). The molecules also exhibited very strong dipole moments — strong imbalances in electric charge within molecules that mediate magnet-like forces between molecules over large distances. According to professor Martin Zwierlein, "We are very close to the temperature at which quantum mechanics plays a big role in the motion of molecules. So these molecules would no longer run around like billiard balls, but move as quantum mechanical matter waves. And with ultracold molecules, you can get a huge variety of different states of matter, like superfluid crystals, which are crystalline, yet feel no friction, which is totally bizarre. This has not been observed so far, but predicted. We might not be far from seeing these effects, so we’re all excited." -
MIT Trains Robots To Jump
Nerval's Lobster writes: MIT just announced that its researchers have programmed a robotic cheetah that can leap over obstacles without a prompt from a human controller. The machine's onboard sensors rely on reflected laser-light to judge obstacles' distance and height, and use that data to fuel the algorithm for a safe jump. The robot's controlling algorithm takes into account such factors as the speed needed to launch its mass over the obstacle, the best position for a jump, and the amount of energy required from the onboard electric motor. As of this writing, the robot can clear 90 percent of obstacles on an open track. "A running jump is a truly dynamic behavior," Sangbae Kim, an assistant professor of mechanical engineering at MIT, is quoted as saying in a university press release. "You have to manage balance and energy, and be able to handle impact after landing. Our robot is specifically designed for those highly dynamic behaviors." For years, some tech pundits have worried that robots and software will gradually replace human workers in key industries such as manufacturing and IT administration. Now they have something else to fret over: Robots replacing the world's hurdlers. -
How To Die On Mars
An anonymous reader writes: Many space-related projects are currently focusing on Mars. SpaceX wants to build a colony there, NASA is looking into base design, and Mars One is supposedly picking astronauts for a mission. Because of this, we've been reading a lot about how we could live on Mars. An article at Popular Science reminds us of all the easy ways to die there. "Barring any complications with the spacecraft's hardware or any unintended run-ins with space debris, there's still a big killer lurking out in space that can't be easily avoided: radiation. ... [And] with so little atmosphere surrounding Mars, gently landing a large amount of weight on the planet will be tough. Heavy objects will pick up too much speed during the descent, making for one deep impact. ... Mars One's plan is to grow crops indoors under artificial lighting. According to the project's website, 80 square meters of space will be dedicated to plant growth within the habitat; the vegetation will be sustained using suspected water in Mars' soil, as well as carbon dioxide produced by the initial four-member crew. However, analysis conducted by MIT researchers last year (PDF) shows that those numbers just don't add up." -
Subsurface Ocean Waves Can Be More Than 500 Meters High
An anonymous reader writes: New field studies out of MIT found that "internal waves" — massive waves below the surface of the ocean — can reach enormous sizes. The most powerful internal waves known to science are in the South China Sea, and they can be over 500 meters high. These waves mix disparate layers of ocean water, and contribute to evening temperatures between various bodies of water (abstract). The waves grow larger as they propagate, and carry on all year. These waves have enough mass to affect the earth-moon system: "To cut a long story short, it's not unreasonable to say internal waves play a role in the moon moving away or receding from the Earth. They are big enough that they affect large-scale celestial motions." -
MIT Developing AI To Better Diagnose Cancer
stowie writes: Working with Massachusetts General Hospital, MIT has developed a computational model that aims to automatically suggest cancer diagnoses by learning from thousands of data points from past pathology reports. The core idea is a technique called Subgraph Augmented Non-negative Tensor Factorization (SANTF). In SANTF, data from 800-plus medical cases are organized as a 3D table where the dimensions correspond to the set of patients, the set of frequent subgraphs, and the collection of words appearing in and near each data element mentioned in the reports. This scheme clusters each of these dimensions simultaneously, using the relationships in each dimension to constrain those in the others. Researchers can then link test results to lymphoma subtypes. -
MIT's New Tabletop Particle Detector Sees Individual Electrons
An anonymous reader writes: Scientists at MIT have created a small, tabletop particle detector capable of identifying individual electrons within a cloud of radioactive gas. "As the radioactive krypton gas decays, it emits electrons that vibrate at a baseline frequency before petering out; this frequency spikes again whenever an electron hits an atom of radioactive gas. As an electron ping-pongs against multiple atoms in the detector, its energy appears to jump in a step-like pattern." The researchers used the detector to record the activity of 100,000 different electrons within the gas (abstract). They're hoping that with enough data about how the electrons bounce around, they'll be able to pinpoint the amount of energy released during these krypton atom decay events. Once they know how much energy is released, they can figure out the mass of a neutrino, which is also emitted during the decay.