Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Our research
Content type
+
Downloads (455)
+
Events (449)
 
Groups (151)
+
News (2742)
 
People (735)
 
Projects (1106)
+
Publications (12580)
+
Videos (5738)
Labs
Research areas
Algorithms and theory47205 (66)
Communication and collaboration47188 (63)
Computational linguistics47189 (11)
Computational sciences47190 (69)
Computer systems and networking47191 (127)
Computer vision208594 (21)
Data mining and data management208595 (10)
Economics and computation47192 (25)
Education47193 (84)
Gaming47194 (24)
Graphics and multimedia47195 (66)
Hardware and devices47196 (66)
Health and well-being47197 (32)
Human-computer interaction47198 (155)
Machine learning and intelligence47200 (93)
Mobile computing208596 (17)
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 (40)
Speech recognition, synthesis, and dialog systems208599 (10)
Technology for emerging markets208600 (6)
1–25 of 5738
Sort
Show 25 | 50 | 100
1234567Next 
Video details
Date: 5 November 2015
Duration: 00:03:15
Publisher: Microsoft
Eric Horvitz and Josh Tenenbaum
Computational rationalityEric Horvitz, managing director anddistinguished scientist, Microsoft Research, and Josh Tenenbaum, professor,Massachusetts Institute of Technology, discuss putting a computational lens onscientific theories of rationality, human cognition, and the future ofartificial intelligence.
Video details
Date: 23 July 2015
Duration: 00:10:07
Publisher: Microsoft
Eric Horvitz
Eric Horvitz’s vision on the future of artificial intelligenceManaging director and distinguished scientist at Microsoft Research, Eric talks about AI, which he describes as the crashing crest of the wave of computer science.
Video details
Date: 23 July 2015
Duration: 00:01:12
Publisher: Microsoft
Ann M. Bartuska, Brian Lutz, and Lucas Joppa
USDA and Microsoft Innovation Challenge for food resilienceThe United States Department of Agriculture (USDA) and Microsoft are sponsoring the Innovation Challenge, a competition to develop data-driven software applications that help visualize and explore how climate change will affect the resiliency of food systems in the United States. Challenge participants will have access to a Microsoft Azure cloud-based data portal hosting key USDA datasets on agricultural practices and outcomes that span the past 100 years, enabling participants to investigate how food...
Video details
Date: 23 July 2015
Duration: 00:02:25
Publisher: Microsoft
Ola Svensson
Approximating ATSP by Relaxing ConnectivityThe standard LP relaxation of the asymmetric traveling salesman problem has been conjectured to have a constant integrality gap in the metric case. We prove this conjecture when restricted to shortest path metrics of node-weighted digraphs. Our arguments are constructive and give a constant factor approximation algorithm for these metrics. We remark that the considered case is more general than the directed analog of the special case of the symmetric traveling salesman problem for which there were recent...
Video details
Date: 22 July 2015
Duration: 00:44:21
Collection: MSR Talk Series
Ann M. Bartuska and Lucas Joppa
USDA and Microsoft Research Innovation Challenge for food resilienceThe United States Department of Agriculture (USDA) and Microsoft are sponsoring the Innovation Challenge, a competition to develop data-driven software applications that help visualize and explore how climate change will affect the resiliency of food systems in the United States. Challenge participants will have access to a Microsoft Azure cloud-based data portal hosting key USDA datasets on agricultural practices and outcomes that span the past 100 years, enabling participants to investigate how food...
Video details
Date: 22 July 2015
Duration: 00:02:27
Publisher: Microsoft
Tuomas Sandholm
The State of Techniques for Solving Large Imperfect-Information Games, Including PokerThe ability to computationally solve imperfect-information games has a myriad of future applications ranging from auctions, negotiations, and (cyber)security settings to medical domains. A dramatic scalability leap has occurred in the capability to solve such games over the last nine years, fueled in large part by the Annual Computer Poker Competition. I will discuss the key, domain-independent, techniques that enabled this leap, including automated abstraction techniques and approaches for mitigating the...
Video details
Date: 22 July 2015
Duration: 01:29:49
Collection: MSR Talk Series
Rick Kenyon
Fixed-Energy Harmonic FunctionsWe study the map from conductances to edge energies for harmonic functions on graphs with Dirichlet boundary conditions. We prove that for any compatible acyclic orientation and choice of energies there is a unique choice of conductances such that the associated harmonic function realizes those orientations and energies. For planar graphs there is a harmonic conjugate function; together these form the real and imaginary parts of a 'fixed energy' analytic function. There is a geometric realization of the...
Video details
Date: 20 July 2015
Duration: 00:53:38
Collection: MSR Talk Series
Yin-Tat Lee
A Faster Cutting Plane Method and its Implications for Combinatorial and Convex OptimizationIn this talk, I will present a new algorithm for finding a point in a convex set given a separation oracle. In particular, given a separation oracle for a convex set K in Rn that is contained in a box of radius R, I will show how to either compute a point in K or prove that K does not contain a ball of radius eps using an expected O(n log(nR/eps)) evaluations of the oracle and additional time O~(n3). This improves upon the O~(n3.373) additional time of the previous fastest algorithm achieved over 25 years...
Video details
Date: 16 July 2015
Duration: 01:05:18
Collection: MSR Talk Series
Steve Hodges
Circuit StickersCircuit stickers let you build electronic prototypes by sticking components like LEDs, sensors and logic onto a substrate which wires them together. We use paper and conductive silver nanoparticle ink to make this wiring layer – it’s cheap and easy to create using a felt pen or a domestic inkjet printer. The technology has potential for design exploration, research prototyping, education and hobbyist projects.This work started as a collaboration between researchers at the University of Tokyo, MIT and...
Video details
Date: 16 July 2015
Duration: 00:04:02
Publisher: Microsoft
Catherine Tucker
Privacy Protection, Personalized Medicine and Genetic TestingPersonalized medicine - where the treatment is as individual as the patient - has been discussed as the future of medicine. But the use of a person's genetic code to personalize treatment raises new and difficult privacy concerns. Professor Tucker will discuss current approaches to regulating genetic privacy at the state level and the degree of success such approaches have had at promoting the spread of personalized medicine and testing.
Video details
Date: 15 July 2015
Duration: 01:02:01
Joel Spencer
The First Order World of Galton-Watson TreesConsider the classic Galton-Watson tree T=Tc in which each node, independently, has Poisson mean c children. The probability f(c) that Tc is infinite is continuous, but it is not differentiable at the critical point c=1. Let, for example, g(c) be the probability that some node has precisely one child. This g(c) has derivatives of all orders and, indeed, is real analytic. We show that for a wide variety of properties, called First Order properties, the probability h(c) will be real analytic and,...
Video details
Date: 14 July 2015
Duration: 01:12:48
Collection: MSR Talk Series
Manuel Costa, Austin Donnelly, and Richard Black
A video on /GuardType a summary that describes the content of your video.
Video details
Date: 14 July 2015
Duration: 00:06:54
Publisher: Microsoft
Ant Rowstron and Hitesh Ballani
Predictable Data CentresType a summary that describes the content of your video.
Video details
Date: 14 July 2015
Duration: 00:04:01
Publisher: Microsoft
Ant Rowstron and Milan Vojnovic
Big Data AnalyticsType a summary that describes the content of your video.
Video details
Date: 14 July 2015
Duration: 00:04:16
Publisher: Microsoft
Mar Gonzalez
Altering Human Perception and Behavior through Immersive Virtual RealitySeveral studies have shown that people inside Immersive Virtual Reality (VR) behave realistically when presented with complex situations. As a result a new generation of social and behavioral scientists are turning into VR to design experiments including moral dilemmas. Furthermore, using real-time motion tracking and Head-Mounted Displays it is possible to give participants an egocentric view of a co-located virtual body. Through multisensory stimulation, healthy humans can experience full body ownership...
Video details
Date: 14 July 2015
Duration: 01:09:02
Collection: Candidate Talk
Wenzel Jakob
Driven by the increasing demand for photorealistic computer-generated images, graphics is currently undergoing a substantial transformation to physics-based approaches which carefully process visual information characterizing both object shape and the interaction of light and matter. Progress on all fronts of this transition – acquisition, physical models and simulation techniques – has been steady but mostly independent from another. When combined, the resulting methods are in many cases impracticably...
Video details
Date: 13 July 2015
Duration: 00:57:24
Collection: UK Cambridge - Lecture/Seminar
Matthias Troyer
Advances in Quantum Algorithms & Devices: Quantum versus classical annealingI will discuss several recent findings about the computational power of quantum annealing, either on quantum hardware or as “simulated quantum annealing” by quantum Monte Carlo (QMC) simulations on a classical computer. The failure to so far observe quantum speedup on D-Wave Two is in contradiction to previous QMC results that indicated quantum speedup for spin glasses. This apparent contradiction can be resolved by taking the continuous time limit in the QMC simulations. We find that continuous time QMC...
Video details
Date: 10 July 2015
Duration: 00:44:08
Video details
Date: 10 July 2015
Duration: 00:44:31
Video details
Date: 10 July 2015
Duration: 00:42:49
Jon Yard
Advances in Quantum Algorithms & Devices: Exact synthesis for qubit unitariesThe Solovay-Kitaev Theorem shows that any finite subset of SU(2) generating a dense subgroup can be used to epsilon-approximate an arbitrary qubit unitary using a quantum circuit of length O(polylog(1/epsilon)). Recent advances in quantum compiling achieved dramatically improved approximations to arbitrary unitaries with O(log(1/epsilon))-length circuits over special qubit gate sets. A necessary component of such compiling tasks involves solving the “exact synthesis problem” for the given gate set:...
Video details
Date: 10 July 2015
Duration: 00:36:56
Wim van Dam
Advances in Quantum Algorithms & Devices: Quantum Monte Carlo versus Quantum Adiabatic OptimizationHow many queries are needed to determine a polynomial F(X)? We look at this question when F(X) is defined over a finite field GF(q) and has degree d, such that d+1 queries are obviously sufficient. Shamir's Secret Sharing protocol is based on the result that d+1 classical queries are also needed as no interpolation is possible based on only d values of F. Here we look at how many quantum queries are sufficient to perform the same task. Earlier work by [Kane & Kutin 2009] and [Meyer & Pommersheim 2010]...
Video details
Date: 10 July 2015
Duration: 00:37:49
Video details
Date: 10 July 2015
Duration: 00:42:20
Oliver Cossairt
Computational Imaging and Illumination for 3D Acquisition: Research at the NU Comp Photo LabComputational imaging and illumination plays a central role in many modern three-dimensional imaging techniques. In this talk, I will provide an overview of several 3D imaging technologies pioneered by the NU Comp Photo Lab, highlighting 3 main research projects. First, I will introduce a novel structured light technique called Motion Contrast 3D scanning (MC3D) that maximizes bandwidth and light source power to avoid performance trade-offs in structured light 3D acquisition. The technique allows 3D laser...
Video details
Date: 10 July 2015
Duration: 01:02:04
Collection: MSR Talk Series
Barry Sanders
Advances in Quantum Algorithms and Devices: Bounding Quantum Gate Error Rate Based on Reported Average FidelityRemarkable experimental advances in quantum computing are exemplified by recent announcements of impressive gate fidelities exceeding 99.9% for single-qubit gates and exceeding 99% for two-qubit gates. These reported high numbers engender optimism that fault-tolerant quantum computing is within reach. Here we convert reported gate fidelity to a bound on worst case quantum gate error rate, which is appropriate to assess progress towards fault-tolerance targets and is greater by orders of magnitude. We prove...
Video details
Date: 10 July 2015
Duration: 00:43:37
1–25 of 5738
Sort
Show 25 | 50 | 100
1234567Next 
> Our research