Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Our research
Content type
+
Downloads (457)
+
Events (449)
 
Groups (152)
+
News (2755)
 
People (734)
 
Projects (1111)
+
Publications (12620)
+
Videos (5805)
Labs
Research areas
Algorithms and theory47205 (66)
Communication and collaboration47188 (63)
Computational linguistics47189 (11)
Computational sciences47190 (69)
Computer systems and networking47191 (128)
Computer vision208594 (23)
Data mining and data management208595 (11)
Economics and computation47192 (25)
Education47193 (84)
Gaming47194 (24)
Graphics and multimedia47195 (67)
Hardware and devices47196 (66)
Health and well-being47197 (32)
Human-computer interaction47198 (156)
Machine learning and intelligence47200 (94)
Mobile computing208596 (19)
Quantum computing208597 (18)
Search, information retrieval, and knowledge management47199 (62)
Security and privacy47202 (30)
Social media208598 (11)
Social sciences47203 (41)
Software development, programming principles, tools, and languages47204 (42)
Speech recognition, synthesis, and dialog systems208599 (10)
Technology for emerging markets208600 (6)
1–25 of 5805
Sort
Show 25 | 50 | 100
1234567Next 
Video details
Date: 5 November 2015
Duration: 00:03:15
Publisher: Microsoft
Numiscan A video of a coin travelling through the Numiscan machine.
Video details
Date: 27 August 2015
Duration: 00:00:35
Publisher: Microsoft
Aseem Rastogi
Formal verification of secure multi-party computationsIn secure multi-party computation (SMC), mutually distrusting parties cooperatively compute functions of their private data; in the process, they only learn certain results as per the protocol (e.g., the final output). Applications of SMC include auction, private set intersection, statistical computation, and online games such as poker. Recently we designed a high-level functional programming language, called Wysteria, for writing SMCs. We hypothesized that Wysteria makes it easy to analyze SMC programs,...
Video details
Date: 26 August 2015
Duration: 00:37:55
Felicia Day and Marcie Sillman
YouFrom online entertainment mogul, actress, and 'queen of the geeks' Felicia Day comes a funny, quirky, and inspiring memoir about her unusual upbringing, her rise to Internet-stardom, and embracing her individuality to find success in Hollywood. The Internet isn't all cat videos. There's also Felicia Day - violinist, filmmaker, Internet entrepreneur, compulsive gamer, hoagie specialist, and former lonely homeschooled girl who overcame her isolated childhood to become the ruler of a new world... or at least...
Video details
Date: 26 August 2015
Duration: 00:43:44
Collection: Visiting Speaker Series
Neil Immerman
Descriptive Complexity: Survey and Recent ProgressIn Descriptive Complexity, we ask how rich a logical language is needed to describe a given computational problem. It is natural that there might sometimes be a relation between descriptive complexity and traditional computational complexity. Remarkably, there is an isomorphism. In fact, the most important complexity classes have very natural descriptive characterizations.I will give a survey about descriptive complexity including recent progress in understanding dynamic problems – where we are computing...
Video details
Date: 26 August 2015
Duration: 01:23:14
Collection: MSR Talk Series
Hakim Weatherspoon
Plug into the SupercloudCloud computing is often compared to the power utility model as part of a trend towards the commoditization of computing resources. However, today’s cloud providers do not simply supply raw computing resources as a commodity, but also act as distributors, creating cloud services that are not compatible across providers. In this talk, I will discuss a new cloud service distribution layer, called a Supercloud, that is completely decoupled from the cloud provider. A Supercloud gives its users the illusion of...
Video details
Date: 25 August 2015
Duration: 00:52:43
Collection: UK Cambridge - Lecture/Seminar
MobileFusion: Create 3D scans with your mobile phoneMobileFusion is a research project that turns ordinary mobile phones into 3D scanners without any additional hardware. The resulting 3D scans are detailed enough for 3D printing or use in augmented-reality games.
Video details
Date: 24 August 2015
Duration: 00:02:16
Publisher: Microsoft
Emiliano De Cristofaro
Controlled Data Sharing for Collaborative Predictive BlacklistingAlthough sharing data across organizations is often advocated as a promising way to enhance cybersecurity, collaborative initiatives are rarely put into practice owing to confidentiality, trust, and liability challenges. In this paper, we investigate whether collaborative threat mitigation can be realized via a controlled data sharing approach, whereby organizations make informed decisions as to whether or not, and how much, to share. Using appropriate cryptographic tools, entities can estimate the...
Video details
Date: 24 August 2015
Duration: 00:49:12
Collection: UK Cambridge - Lecture/Seminar
Bob Mankoff
Taking Humor SeriouslyEach day most people participate in humorous exchanges. We seek out movies, television programs, and books that make us laugh. Cross-culturally societies appreciate a good 'sense of humor.' Few would argue that humor is not highly valued. This presentation will focus on theoretical and empirical approaches to understanding humor. It will cover traditional and contemporary theories of humor, along with social psychological, developmental, and cognitive perspectives on humor. Despite E.B. White’s...
Video details
Date: 21 August 2015
Duration: 01:10:31
Collection: MSR Talk Series
Seyedmahdad Mirsamadi
DNN-Based Online Speech Enhancement Using Multitask Learning and Suppression Rule EstimationMost of the currently available speech enhancement algorithms use a statistical signal processing approach to remove the noise component from observed signals. The performance of these algorithms is thus dependent on the statistical assumptions they make about speech and noise signals, which are often inaccurate. In this work, we consider machine learning as an alternative, using deep neural networks to discover the transformation from noisy to clean speech. While DNNs are now the standard approach for...
Video details
Date: 20 August 2015
Duration: 00:58:02
Collection: MSR Talk Series
Long Le
Spatial Probability for Sound Source LocalizationIn audio signal processing, sound source localization (SSL) is a mature field. This project, however, looks at the SSL problem in a slightly different perspective, in which locations are computed softly. Specifically, instead of making point-decisions about the direction of arrival (DOA) of sound sources, a belief distribution about sources' locations over frequency and DOA/space is computed. The proposed approach generalizes the traditional SSL problem, and its outcome can also be used for other audio...
Video details
Date: 20 August 2015
Duration: 00:58:23
Collection: MSR Talk Series
Henna Tahvanainen
Research on Concert Hall Acoustics at Aalto UniversityThis talk will be about the research conducted in Virtual Acoustics team at Aalto University lead by professors Lauri Savioja and Tapio Lokki. It is related to the acoustic measurement and analysis of the concert halls, as well as their sensory evaluation. The ultimate goal is to understand how room acoustics modify the quality of sound. The research has spawned new spatial sound rendering methods, analysis tools, and listening test methods. Among others, the results show why shoebox halls tend to be the...
Video details
Date: 20 August 2015
Duration: 00:50:20
Collection: MSR Talk Series
John Scalzi
The End of All ThingsA science fiction icon returns to his best-selling Old Man's War universe with a new book: The End of All Things. Humans expanded into space...only to find a universe populated with multiple alien species bent on their destruction. The Colonial Union was formed, to help protect us from a hostile universe. The Colonial Union used the Earth and its excess population for colonists and soldiers. It was a good arrangement...for the Colonial Union. Then the Earth said: no more. Now the Colonial Union is living...
Video details
Date: 19 August 2015
Duration: 00:57:27
Collection: Visiting Speaker Series
Neil Lawrence
Personalized Health with Gaussian ProcessesModern data connectivity gives us different views of the patient which need to be unified for truly personalized health care. I'll give an personal perspective on the type of methodological and social challenges we expect to arise in this this domain and motivate Gaussian process models as one approach to dealing with the explosion of data.
Video details
Date: 19 August 2015
Duration: 01:00:22
John Hershey
Deep clustering: discriminative embeddings for source separationWe address the problem of acoustic source separation in a deep learning framework we call 'deep clustering'. Rather than directly estimating signals or masking functions, we train a deep network to produce spectrogram embeddings that are discriminative for partition labels given in training data. Previous deep network approaches provide great advantages in terms of learning power and speed, but previously it has been unclear how to use them to separate signals in a class-independent way. In contrast,...
Video details
Date: 18 August 2015
Duration: 01:04:26
Collection: MSR Talk Series
Nadia Polikarpova
Program Synthesis from Refinement TypesThe key to scalable program synthesis is modular verification, which enables pruning inviable candidates for each component of the target program independently. In this talk I will present Synquid: a synthesizer that takes advantage of the modularity offered by refinement type checking to efficiently generate recursive functional programs that satisfy a given specification in the form of a refinement type. The use of parametric polymorphism, coupled with automatic instantiation via Liquid Types inference,...
Video details
Date: 18 August 2015
Duration: 00:53:51
Collection: MSR Talk Series
Samir Khuller
To Do or Not To Do: Scheduling to Minimize EnergyTraditional scheduling algorithms, especially those involving job scheduling on parallel machines, make the assumption that the machines are always available and try to schedule jobs to minimize specific job related metrics. Since modern data centers consume massive amounts of energy, we consider job scheduling problems that take energy consumption into account, turning machines off, especially during periods of low demand. The ensuing problems relate very closely to classical covering problems such as...
Video details
Date: 14 August 2015
Duration: 01:00:08
Collection: MSR Talk Series
Photo Story automatically generates stylized story compilations for easy sharing Photo Story, a new Windows Phone app, automatically chooses the best representative photos of an event and organizes them into a themed video, complete with stylized music and editing, that you can easily share via email or social media.​
Video details
Date: 13 August 2015
Duration: 00:01:26
Publisher: Microsoft
Charles Stross
The Annihilation Score, Book A of the Laundry FilesDominique O'Brien - her friends call her Mo - lives a curious double life with her husband, Bob Howard. To the average civilian, they’re boring middle-aged civil servants. But within the labyrinthian secret circles of Her Majesty's government, they're operatives working for the nation's occult security service known as the Laundry, charged with defending Britain against dark supernatural forces threatening humanity. Her latest assignment is assisting the police in containing an unusual outbreak: ordinary...
Video details
Date: 12 August 2015
Duration: 00:57:32
Collection: Visiting Speaker Series
Matt Weinberg
Interpolating Between Truthful and Non-Truthful Mechanisms for Combinatorial AuctionsWe introduce the notion of an interpolation mechanism, that interpolates between a truthful and non-truthful mechanism. Specifically, an interpolation mechanism has two phases: in the first, bidders participate in some non-truthful mechanism, whose output is itself a truthful mechanism. In the second phase, bidders participate in the truthful mechanism selected during phase one.In the first half of this talk, we provide a simple interpolation mechanism called the single-bid mechanism. Phase one of the...
Video details
Date: 12 August 2015
Duration: 00:55:42
Collection: MSR Talk Series
Greg Shakhnarovich
Feedforward Semantic Segmentation with Zoom-out FeaturesI will introduce a novel feed-forward architecture for semantic segmentation. We map small image elements (superpixels) to rich feature representations extracted from a sequence of nested regions of increasing extent. These regions are obtained by 'zooming out' from the superpixel all the way to scene-level resolution. Our approach exploits statistical structure in the image and in the label space without setting up explicit structured prediction mechanisms, and thus avoids complex and expensive inference....
Video details
Date: 7 August 2015
Duration: 01:15:22
Collection: MSR Talk Series
Uriel Feige
Separation between Estimation and ApproximationWe show (under standard assumptions) that there are NP optimization problems for which estimation is easier than approximation. Namely, one can estimate the value of the optimal solution within a ratio of r, but it is difficult to find a solution whose value is within r of optimal. As an important special case, we show that there are linear programming relaxations for which no polynomial time rounding technique matches the integrality gap of the linear program.Joint work with Shlomo Jozeph.
Video details
Date: 6 August 2015
Duration: 01:02:07
Collection: MSR Talk Series
Jake Hofman, Thomas Patino, Anastassiya Neznanova, Nikki Hanson, and Glenda Ascencio
Data Science Summer School 2015- The Cost of Public SchoolNew York City is home to the largest public school system in the country, which contains some of the best and worst schools in the state. Given this diversity, which often occurs over small geographic regions, there is extremely high demand for homes in the best public schools in the city. We investigate and quantify this demand by analyzing over 10,000 home sales in different school zones across the city and reveal the implicit cost of purchasing a home zoned for each elementary school in the city.
Video details
Date: 6 August 2015
Duration: 00:33:53
Justin Rao, Shannon Evans, Steven Vazquez, Eiman Ahmed, and Riva Tropp
Data Science Summer School 2015 - The Ins and Outs of the New York City Subway SystemEvery day, the population of New York regions shrinks and swells as people travel into and around the city. With six million daily trips, the subway system is one of the main conduits for these travelers, but relatively little is known about the flow of subway passengers throughout the day. Using MTA’s public datasets, our team mapped the paths commuters take, and consequentially, the substantial changes to the population in the city’s many regions.
Video details
Date: 6 August 2015
Duration: 00:22:08
Andrew Fitzgibbon
Lab tutorial: Learning about ShapeWe think we know what shapes are, right? Maybe you think of squares, circles, ovals? But nothing in nature has these shapes, even away from the atomic scale. Dolphins are not made of spheres and cubes. Eggs are not ellipses. And yet I want my computer to understand the shapes of dolphins, eggs, human hands, coffee cups, everything. I will talk about how we are resolving these questions using piecewise functions: mathematical tools which look more like computer programs than they do the 18th century...
Video details
Date: 6 August 2015
Duration: 01:00:02
1–25 of 5805
Sort
Show 25 | 50 | 100
1234567Next 
> Our research