Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Our research
Content type
+
Downloads (445)
+
Events (401)
 
Groups (150)
+
News (2608)
 
People (739)
 
Projects (1064)
+
Publications (12061)
+
Videos (5296)
Labs
Research areas
Algorithms and theory47205 (58)
Communication and collaboration47188 (57)
Computational linguistics47189 (8)
Computational sciences47190 (69)
Computer systems and networking47191 (112)
Computer vision208594 (17)
Data mining and data management208595 (7)
Economics and computation47192 (25)
Education47193 (81)
Gaming47194 (21)
Graphics and multimedia47195 (62)
Hardware and devices47196 (63)
Health and well-being47197 (28)
Human-computer interaction47198 (147)
Machine learning and intelligence47200 (80)
Mobile computing208596 (9)
Quantum computing208597 (16)
Search, information retrieval, and knowledge management47199 (61)
Security and privacy47202 (24)
Social media208598 (6)
Social sciences47203 (38)
Software development, programming principles, tools, and languages47204 (31)
Speech recognition, synthesis, and dialog systems208599 (5)
Technology for emerging markets208600 (2)
1–25 of 5296
Sort
Show 25 | 50 | 100
1234567Next 
Persi Diaconis
Random Walk on the Heisenberg groupThe Heisenberg group is the group of 3 x 3 uni-upper triangular matrices with entries in the reals,integers or mod n. This is in some sense the simplest non-commutative group. It is basic object of study in quantum physics, number theory,harmonic analysis and makes appearences in complexity theory. In joint work with Dan Bump, Angela Hicks, Laurent Miclo and Harold Widom we study simple random walk. For the integers mod n, we show that order n2 steps are necessary and sufficient for convergence. For the...
Video details
Date: 24 November 2014
Duration: 01:11:06
Collection: MSR Talk Series
Colin Adams
Zombies and CalculusHow can calculus help you survive the zombie apocalypse? Colin Adams, one of today's most entertaining math writers, demonstrates how in this zombie adventure novel. Zombies and Calculus is the account of Craig Williams, a math professor at a small, New England liberal arts college, who, in the middle of a calculus class, finds himself suddenly confronted by a late-arriving student whose hunger is not for knowledge. As the zombie virus spreads, Williams uses calculus to help his small band of survivors...
Video details
Date: 20 November 2014
Duration: 00:42:22
Collection: Visiting Speakers Series
Tarik Moataz
Towards Practical ORAMsAlthough Oblivious RAM (ORAM) has recently received a lot of attention, its high communication and storage cost still render it impractical for real-world scenarios. We present a general construction to reduce the communication cost of all recent tree-based ORAMs. The main idea behind our new construction dubbed 'r-ORAM' is a recursive ORAM tree structure, where nodes in the tree are roots of other trees. We demonstrate that the expected cost saving is around 35% for any binary tree ORAMs. Besides...
Video details
Date: 19 November 2014
Duration: 01:19:48
Collection: MSR Talk Series
Cristopher Moore
Physics-inspired Algorithms and Phase Transitions in Community DetectionDetecting communities, and labeling nodes, is a ubiquitous problem in the study of networks. Recently, we developed scalable Belief Propagation algorithms that update probability distributions of node labels until they reach a fixed point. In addition to being of practical use, these algorithms can be studied analytically, revealing phase transitions in the ability of any algorithm to solve this problem. Specifically, there is a detectability transition in the stochastic block model, below which no...
Video details
Date: 18 November 2014
Duration: 01:15:07
Query formulation with Query Auto CompletionExample query formulation session from the eye-tracking study described in our CIKM 2014 paper 'An Eye-tracking Study of User Interactions with Query Auto Completion'.
Video details
Date: 18 November 2014
Duration: 00:00:18
Publisher: Microsoft
Matt Parker
Things to Make and Do in the Fourth Dimension: A MathematicianFor starters, take out paper and pencil, compass, straight edge, maybe a balloon or a bag of oranges, because the author will challenge you to tackle puzzles, whether it's cutting a pizza in equal slices so some pieces never touch the center or passing a quarter through a nickel-size hole. Parker begins with the easier elements like number systems, primes and the polygons of Euclidean geometry. But his approach has the acceleration of a Ferrari, so readers are quickly racing into higher dimensional space....
Video details
Date: 17 November 2014
Duration: 00:53:34
Collection: Visiting Speakers Series
Anthony Arendt
An Azure-Based Framework for Modeling and Monitoring Changes in Arctic Snow and IceChanges in polar snow and ice are rapidly altering the timing and magnitude of freshwater delivery to the ocean, with impacts on near-shore ecosystems, transportation and energy infrastructure, and global sea level. The complexity of these systems requires a cloud-based computational infrastructure to facilitate integrative research and coordinated delivery of results to multiple stakeholders. In this talk I will describe our efforts to develop hydrological models for the Gulf of Alaska region using Azure...
Video details
Date: 14 November 2014
Duration: 00:46:50
Collection: MSR Talk Series
Scott Jenson
The Physical WebThe Physical Web github.com/google/physical-web is an effort to extend the core superpower of the web - the URL - to everyday physical objects. Our core premise is that you should be able to walk up to any “smart” physical object (e.g. a vending machine, a poster, a toy, a bus stop, a rental car) and interact with it without first downloading an app. The user experience of smart objects should be much like links in a web browser: i.e., just tap and use. Prototype of a vending machine
Video details
Date: 12 November 2014
Duration: 00:40:10
Collection: UK Cambridge - Lecture/Seminar
Trimpin
Visiting Artist TrimpinTrimpin is a Seattle, Washington-based kinetic sculptor, sound artist, and musician. Trimpin's work integrates sculpture and sound across a variety of media including fixed installation and live music, theater, and dance performance. His works are known to be electromechanically actuated by embedded microcontrollers that communicate MIDI. Trimpin is a recipient of numerous honors. In 1994, he was awarded a grant from the Foundation for Contemporary Arts Grants to Artists Award. Trimpin was also the...
Video details
Date: 11 November 2014
Duration: 01:29:20
Collection: Visiting Artist Series (Studio99)
Tengyu Ma
Understanding non-convex optimization for sparse codingSparse coding is a basic algorithmic primitive in many machine learning applications, such as image denoising, edge detection, compression and deep learning. Most of the existing algorithms for sparse coding minimize a non-convex function by heuristics like alternating minimization, gradient descent or their variants. Despite their success in practice, they are not mathematically rigorous because they could potentially converge to local minima. In this work we prove that, alternating minimization and some...
Video details
Date: 10 November 2014
Duration: 01:25:31
Collection: MSR Talk Series
Dana Pe’er
Mapping Single Cells: A Geometric ApproachHigh dimensional single cell technologies are on the rise, rapidly increasing in accuracy and throughput. These offer computational biology both a challenge and an opportunity. One of the big challenges with this data-type is to understand regions of density in this multi-dimensional space, given millions of noisy measurements. Underlying many of our approaches is mapping this high-dimensional geometry into a nearest neighbor graph and characterization single cell behavior using this graph structure. ...
Video details
Date: 5 November 2014
Duration: 01:00:24
Liz Wiseman
Rookie Smarts: Why Learning Beats Knowing in the New Game of WorkIs it possible to be at your best when you are under-qualified or doing something for the first time? Is it still possible, even after decades of experience, to recapture the enthusiasm, curiosity, and fearlessness of youth - your 'rookie smarts' - to take on new challenges? In a rapidly changing world, experience may be a curse. Careers stall, innovation stops, and strategies grow stale. As it turns out, being new, naive, and even clueless may be an asset. For today's knowledge workers, constant learning...
Video details
Date: 3 November 2014
Duration: 01:07:35
Collection: Visiting Speakers Series
Daniel Egloff
Taming GPU threads with F# and Alea.GPUWriting GPU kernel code which optimally exploits parallelism and the GPU architecture is the most challenging and time-consuming aspect of GPU software development. Programmers have to identify algorithms suitable for parallelization and while implementing them reason about deadlocks, synchronization, race conditions, shared memory layout, plurality of state, granularity, throughput, latency and memory bottlenecks. This means that new languages with professional tooling which increase the productivity of...
Video details
Date: 3 November 2014
Duration: 01:01:44
Collection: UK Cambridge - Lecture/Seminar
RoomAlive: The Other Resident Having made its debut at UIST 2014, RoomAlive uses multiple projectors to adapt interactive content that makes use of all of a room’s walls. Using RoomAlive’s capabilities, Microsoft researchers and summer intern Julian Kantor from the University of Southern California, have developed a video that is as frightening as it as inventive. For more on the project, check out http://research.microsoft.com/en-us/projects/roomalive/
Video details
Date: 31 October 2014
Duration: 00:04:50
Publisher: Microsoft
Travis Mayberry
Toward Robust Hidden Volumes Using Write-Only Oblivious RAMWith sensitive data being increasingly stored on mobile devices and laptops, hard disk encryption is more important than ever. In particular, being able to plausibly deny that a hard disk contains certain encrypted information is a very useful and interesting research goal. However, it has been known for some time that existing 'hidden volume' solutions, like TrueCrypt, fail in the face of an adversary who is able to observe the contents of a disk on multiple, separate occasions. In this talk, I will...
Video details
Date: 30 October 2014
Duration: 01:03:50
Collection: MSR Talk Series
Anders Schepelern
Creating a branded platform for expert crowdsourced proofreading and copy-editingThe idea of Wordy is to make it easier, faster and cheaper to produce and distribute easier-to-digest high-value content, by making expert proofreaders and copy-editors instantly available to clients.In this talk, I'll focus on the surprises and difficulties in creating such a branded expert crowdsourced platform. I'll compare Wordy with other services for editing and proofreading, as well as with language providers as such. I'll touch on how we, as an organisation, handle conflicts within a distributed...
Video details
Date: 30 October 2014
Duration: 00:49:09
Collection: MSR Talk Series
Video details
Date: 29 October 2014
Duration: 00:36:38
Collection: Faculty Summit 2014
Video details
Date: 29 October 2014
Duration: 00:39:11
Collection: Faculty Summit 2014
Video details
Date: 29 October 2014
Duration: 00:27:22
Collection: Faculty Summit 2014
Video details
Date: 29 October 2014
Duration: 00:53:46
Collection: Faculty Summit 2014
Video details
Date: 29 October 2014
Duration: 00:19:52
Collection: Faculty Summit 2014
Butler W. Lampson
Personal Control of Digital DataPeople around the world are concerned that more and more of their personal data is on the Internet, where it's easy to find, copy, and link up with other data. What people most often want is a sense of control over their data (even if they don't exercise this control very often). Many people feel that this control is a fundamental human right (thinking of personal data as an extension of the self), or an essential part of your property rights to your data. Regulators are starting to respond to these...
Video details
Date: 29 October 2014
Duration: 00:45:38
Collection: Computing in the 21st Century 2014
Publisher: Microsoft
Christos H. Papadimitriou
Computing the UniverseComputer science has gone far beyond its traditional role of solving real world problems by computer. Over the last 80 years, computer scientists have developed a novel, algorithmic way of understanding the capabilities and limitations of computers that has proven valuable to contemplating important and deep problems in the sciences. This talk will review how recent computational insights have changed the way we think about the quantum nature of the universe, the puzzle of phase transitions, the prediction...
Video details
Date: 29 October 2014
Duration: 00:44:08
Collection: Computing in the 21st Century 2014
Publisher: Microsoft
Michael Brady
Computing and HealthcareComputing is already transforming healthcare; but the possibilities remain endless. Hospitals, entire communities are already networked, and Cloud will increasingly play a role, but there are major (legal) compliance issues with personal data. There is a continuing stream of technology innovations, from robotics to tablets, to mobile phones, and wearable devices. However, software is the key differentiator for technology that quickly becomes commodity. The key consideration is that doctors are drowning in...
Video details
Date: 29 October 2014
Duration: 00:45:44
Collection: Computing in the 21st Century 2014
Publisher: Microsoft
Anil K. Jain
Biometrics - How Do I Know Who You Are Many of the activities in our everyday life depend on an array of cardsand passwords that we need to provide to confirm who we are. But lose acard, and your ATM will refuse to give you money. Forget a password, andyour own computer may not let you login. Allow your card or passwordsto fall into the wrong hands, and what were intended to be securitymeasures can become the tools of fraud or result in loss of privacy.Biometrics — the automated recognition of people via distinctiveanatomical and behavioral...
Video details
Date: 29 October 2014
Duration: 00:45:23
Collection: Computing in the 21st Century 2014
Publisher: Microsoft
1–25 of 5296
Sort
Show 25 | 50 | 100
1234567Next 
> Our research