Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Our research
Content type
+
Downloads (461)
+
Events (466)
 
Groups (151)
+
News (2815)
 
People (718)
 
Projects (1136)
+
Publications (12922)
+
Videos (5994)
Labs
Research areas
Algorithms and theory47205 (68)
Communication and collaboration47188 (63)
Computational linguistics47189 (11)
Computational sciences47190 (69)
Computer systems and networking47191 (128)
Computer vision208594 (23)
Data mining and data management208595 (12)
Economics and computation47192 (26)
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 (97)
Mobile computing208596 (20)
Quantum computing208597 (19)
Search, information retrieval, and knowledge management47199 (62)
Security and privacy47202 (32)
Social media208598 (12)
Social sciences47203 (41)
Software development, programming principles, tools, and languages47204 (43)
Speech recognition, synthesis, and dialog systems208599 (10)
Technology for emerging markets208600 (6)
1–25 of 5994
Sort
Show 25 | 50 | 100
1234567Next 
Matthew Brehmer
Why Visualization? Task Abstraction for Analysis and DesignPeople use visualization techniques, tools, and artefacts to consume and produce information relevant to many different application domains or use cases. In my talk, I will argue why it is important to understand visualization as a process centred around tasks, and I will offer my perspectives on what visualization research is all about and where more work is needed. I will discuss the unique challenges of designing and evaluating visualization tools and techniques, providing examples from the research...
Video details
Date: 1 February 2016
Duration: 01:04:07
Collection: Candidate Talk
Hristo Paskov
Learning with N-Grams: From Massive Scales to Compressed RepresentationsN-gram models are essential in any kind of text processing; they offer simple baselines that are surprisingly competitive with more complicated 'state of the art' techniques. I will present a survey of my work for learning with arbitrarily long N-grams at massive scales. This framework combines fast matrix multiplication with a dual learning paradigm that I am developing to reconcile sparsity-inducing penalties with Kernels. The presentation will focus on Dracula, a new form of deep learning based on...
Video details
Date: 1 February 2016
Duration: 00:55:37
Collection: Candidate Talk
Charlie Jane Anders
All the Birds in the Sky: A Science Fiction NovelIn this deeply magical tale of life, love, apocalypse, and time travel, childhood friends Patricia Delfine and Laurence Armstead don't expect to see each other again, after parting ways under mysterious circumstances during high school. Now they're adults, living in San Francisco, and the planet is falling apart. Laurence is an engineering genius who's working with a tech group that aims to avert a global climate disaster. Patricia is a graduate of a hidden academy for the world's magically gifted and...
Video details
Date: 28 January 2016
Duration: 00:47:01
Collection: Visiting Speaker Series
Yuchen Zhang
Provable Algorithms for Learning Neural NetworksWe study the learning of fully connected neural networks for binary classification. For the networks of interest, we assume that the L1-norm of the incoming weights of any neuron is bounded by a constant. We further assume that there exists a neural network which separates the positive and negative samples by a constant margin. Under these assumptions, we present an efficient algorithm which learns a neural network with arbitrary generalization error ε>0. The algorithm’s sample complexity and...
Video details
Date: 28 January 2016
Duration: 01:00:41
Collection: Candidate Talk
Evan Suma
Making Small Spaces Feel Large: Practical Illusions in Virtual RealityOver the past few years, virtual reality has experienced a remarkable resurgence. Fueled by a proliferation of consumer-level head-mounted display and motion tracking devices, an unprecedented quantity of immersive experiences and content has become available for both desktop and mobile VR platforms. However, the problem of locomotion - human movement through a virtual world - remains a significant practical challenge. Many of the VR applications available to date require seated use or limit body...
Video details
Date: 27 January 2016
Duration: 01:01:52
Collection: MSR Talk Series
Eric Weiner
The Geography of Genius: A Search for the WorldWhere does genius come from? And what is the connection between our surroundings and our most innovative ideas? In this exploration of the history of places, like Vienna of 1900, Renaissance Florence, ancient Athens, Song Dynasty Hangzhou, and Silicon Valley, we learn how certain urban settings are conducive to ingenuity. Walk in the footsteps (by visiting their stomping grounds) of Socrates, Michelangelo, and Leonardo da Vinci.
Video details
Date: 26 January 2016
Duration: 01:01:14
Collection: Visiting Speaker Series
Moshe Gabel
Unsupervised Latent Faults Detection in Data CentersThis talk will review our ongoing work on unsupervised latent fault detection in large scale data centers, such as those used cloud services, supercomputers, and compute clusters.Modern data centers are comprised of hundreds or thousands of machines (or more!). With so many machines, failures are commonplace, so failure detection is crucial: undetected failures may lead to data loss and outages. Traditional fault detection techniques are often supervised, relying on domain knowledge and precious (often...
Video details
Date: 26 January 2016
Duration: 00:56:24
Collection: MSR Talk Series
Jake Kendall
Gates Foundation Presents: Crucial Areas of Fintech Innovation for the Bottom of the PyramidThe promise and scale of mobile money has ignited huge interest in digital finance products in emerging markets, and is genuinely transforming these countries by providing access to formal financial services to low-income users. The GSMA now tracks over 250 deployments of mobile money with 300m clients, 100m of which are active on a 30 day basis - and growing fast. However, low profitability, large losses, and the outright failure of many Digital Financial Service (DFS) launches can be traced back to...
Video details
Date: 25 January 2016
Duration: 01:20:52
Collection: MSR Talk Series
Yuchen Zhang
Provable Algorithms for Learning Neural NetworksWe study the learning of fully connected neural networks for binary classification. For the networks of interest, we assume that the L1-norm of the incoming weights of any neuron is bounded by a constant. We further assume that there exists a neural network which separates the positive and negative samples by a constant margin. Under these assumptions, we present an efficient algorithm which learns a neural network with arbitrary generalization error ε>0. The algorithm's sample complexity and...
Video details
Date: 21 January 2016
Duration: 01:19:43
Collection: MSR Talk Series
Gretchen Rubin
Better Than BeforeThink of habits as the invisible architecture of everyday life. It takes work to make a habit, but once that habit is set, we can harness the energy of habits to build happier, stronger, more productive lives. So if habits are a key to change, then what we really need to know is: How do we change our habits?
Video details
Date: 19 January 2016
Duration: 00:55:24
Collection: Visiting Speaker Series
Vijay Peddinti
Multi-rate neural networks for efficient acoustic modelingIn sequence recognition, the problem of long-span dependency in input sequences is typically tackled using recurrent neural network architectures, and robustness to sequential distortions is achieved using training data representative of a variety of these distortions. However, both these solutions substantially increase the training time. Thus low computation complexity during training is critical for acoustic modeling. This talk proposes the use of multi-rate neural network architectures to satisfy the...
Video details
Date: 19 January 2016
Duration: 01:27:20
Collection: MSR Talk Series
Yin Tat Lee
Recent Developments in Combinatorial OptimizationIn the past several years, there has been a lot of progress on combinatorial optimization. Using techniques in convex optimization, geometry, spectral graph theory and randomization, researchers have developed provably faster algorithms for many classical problems such as linear programming and maximum flow problems. In this talk, I will discuss my work in this area and illustrate it through my recent result on the feasibility problem. Many optimization problems in computer science are shown to be...
Video details
Date: 15 January 2016
Duration: 00:39:53
Collection: Candidate Talk
Rebecca Fiebrink
Machine Learning as Creative Tool for Designing Real-Time Expressive InteractionsSupervised learning algorithms can be understood not only as a set of techniques for building accurate models of data, but also as design tools that can enable rapid prototyping, iterative refinement, and embodied engagement- all activities that are crucial in the design of new musical instruments and other embodied interactions. Realising the creative potential of these algorithms requires a rethinking of the interfaces through which people provide data and build models, providing for tight...
Video details
Date: 11 January 2016
Duration: 00:59:15
Collection: MSR Talk Series
Barret Zoph
“How Much Information Does a Human Translator Add to the Original" and "Multi-Source Neural Translation"We ask how much information a human translator adds to an original text, and we provide a bound. We address this question in the context of bilingual text compression: given a source text, how many bits of additional information are required to specify the target text produced by a human translator? We develop new compression algorithms and establish a benchmark task. We build a multi-source machine translation model and train it to maximize the probability of a target English string given French and...
Video details
Date: 11 January 2016
Duration: 01:20:44
Collection: MSR Talk Series
Jacques Henri Jourdan
Verasco, a formally verified C static analyzerThis talk will present the design and soundness proof of Verasco, a formally verified static analyzer for most of the ISO C99 language (excluding recursion and dynamic allocation), developed using the Coq proof assistant. Verasco aims at establishing the absence of run-time errors in the analyzed programs. It enjoys a modular architecture that supports the extensible combination of multiple abstract domains, both relational and non-relational. It include a memory abstract domain, an abstract domain of...
Video details
Date: 11 January 2016
Duration: 01:03:04
Collection: UK Cambridge - Lecture/Seminar
Bryan Pardo
Crowdsourcing Audio Production InterfacesPotential users of audio production software, such as audio equalizers, may be discouraged by the complexity of the interface and a lack of clear affordances in typical interfaces. We seek to simplify interfaces for task such as audio production (e.g. mastering a music album with ProTools), audio tools (e.g. equalizers) and related consumer devices (e.g. hearing aids). Our approach is to use an evaluative paradigm ('I like this sound better than that sound') and the use of descriptive language (e.g. 'Make...
Video details
Date: 7 January 2016
Duration: 01:24:58
Collection: MSR Talk Series
Damon Centola
Theory and Experiments on the Spontaneous Evolution of CultureSocial conventions are the foundation of social cooperation and productive economic activity, yet very little is known about how and when they form. Prominent theories argue that widely shared social conventions depend upon coordinating mechanisms, such as incentives for global coordination, aggregated information, and social leadership. We explore a competing 'evolutionary' theory of conventions, which hypothesizes that broad social coordination can emerge without any of these mechanisms. We use an...
Video details
Date: 6 January 2016
Duration: 01:01:30
Collection: MSR Talk Series
Yash Deshpande
Computational Limits in Statistical Inference: Hidden Cliques and Sum of SquaresCharacterizing the computational complexity of statistical inference problems is an outstanding open problem. This is gaining increasing importance given the ubiquity of large scale data analysis and algorithms in application domains as diverse as genomics, healthcare, finance and social sciences. The hidden clique problem is a prototypical example of an inference problem wherein computational constraints dramatically alter the inference ability. The hidden clique problem posits to find a 'hidden' or...
Video details
Date: 4 January 2016
Duration: 01:03:09
Collection: Candidate Talk
Julie Schor
Paradoxes of Openness and Distinction in the Sharing EconomySince the 1980s, Pierre Bourdieu’s influence in sociology has increased markedly, including on the study of consumption and economic life (Sallaz and Zavisca 2007). Bourdieu’s formulation of multiple types of capital (economic, cultural and social) and their role in producing and reproducing durable inequality has been highly productive in a variety of contexts. However, while scholars have examined practices of distinction, the structure of particular fields, and the role of specific capitals in social...
Video details
Date: 16 December 2015
Duration: 01:00:34
Karu Sankaralingam
Future Microprocessors Driven by Dataflow PrinciplesArchitects and the semiconductor industry as a whole is faced with a unique challenge of improving performance and reducing power consumption of future microprocessors with almost no gain coming from device scaling. The role of architecture is perhaps more important today than it has ever been. Industry has reacted with a short-term goal of domain or application-specific accelerators which do little to improve performance of 'general-purpose' applications, suffer from programming challenges, are by design...
Video details
Date: 14 December 2015
Duration: 01:26:21
Collection: MSR Talk Series
Wendy Chapman
Improving Access to Clinical Data Locked in Narrative Reports: An Informatics ApproachWhat symptoms are associated with the patient's genotype? Did patients treated with medication fare better than patients treated surgically? Which patients are more likely to be readmitted to the hospital? Many of the pressing problems in health care today require access to detailed information locked in narrative reports. Natural language processing (NLP) offers access to symptoms, risk factors, diagnoses, and treatment outcomes described in text. Researchers have been applying NLP to clinical text for...
Video details
Date: 14 December 2015
Duration: 01:10:16
Collection: MSR Talk Series
Symposium: Deep Learning - Panel DiscussionPanel Discussion with A. Graves, D. Sontag, M. Bethge, A. Szlam and A. Ng (moderator)
Video details
Date: 10 December 2015
Duration: 00:34:16
Collection: NIPS 2015 Symposium
Publisher: Microsoft
Emily Denton
Symposium: Deep Learning - Emily Denton'Deep Generative Image Models Using A Laplacian Pyramid Of Adversarial Networks' - Emily Denton
Video details
Date: 10 December 2015
Duration: 00:13:28
Collection: NIPS 2015 Symposium
Publisher: Microsoft
Video details
Date: 10 December 2015
Duration: 01:00:14
Collection: NIPS 2015 Symposium
Publisher: Microsoft
Leon Gatys
Symposium: Deep Learning - Leon GatysType a summary that describes the content of your video.
Video details
Date: 10 December 2015
Duration: 00:13:31
Collection: NIPS 2015 Symposium
Publisher: Microsoft
1–25 of 5994
Sort
Show 25 | 50 | 100
1234567Next 
> Our research