Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Our research
Content type
+
Downloads (444)
+
Events (399)
 
Groups (150)
+
News (2603)
 
People (740)
 
Projects (1064)
+
Publications (12050)
+
Videos (5286)
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 5286
Sort
Show 25 | 50 | 100
1234567Next 
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
High 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
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
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
Peter Lee
The Pipeline from Computing Research to Surprising InventionsOne of the most exciting aspects of computer science is that the results of basic research so often end up being applied in completely unexpected ways. At Microsoft Research, we actively seek out these surprising outcomes, by building a pipeline that connects long-term, blue-sky research to technological innovations. This talk will illustrate the power of this pipeline by delving into the details of several research projects.
Video details
Date: 29 October 2014
Duration: 00:42:05
Collection: Computing in the 21st Century 2014
Publisher: Microsoft
Hsiao-Wuen Hon
Do More, Know More, and Be More through Computational LivingComputers have become pervasive throughout our daily lives. From the use of computing for communication, work, and entertainment to the use of computing in specific domains such as education and health, computing has become more important as tools and assistants to help us to do more, know more, and be more. In this talk, I will present example research projects from MSR Asia which show how our lives are becoming intertwined with the use of computing.
Video details
Date: 29 October 2014
Duration: 00:46:55
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
William Gibson
The PeripheralAs a favor to her brother Burton, Flynne Fisher fills in on a mysterious job beta testing a new game. She's glad for the work, as money is tight with her mother needing constant medical care and Burton having financial troubles since he left the marines. Remotely flying a copter around a high-rise building, Flynne is tasked with simply keeping the paparazzi drones away from one of the apartments, but after she witnesses a murder, everything in her life is going to change.
Video details
Date: 28 October 2014
Duration: 00:58:24
Collection: Visiting Speakers Series
Tim Wood
Isomorphism and Program EquivalenceTim will talk about two related pieces of work. Both use the idea of isomorphism as a means of understanding program modifications.Program Equivalence From Trace Equivalence: Joint work with Sophia DrossopoulouOften when programmers modify source code they intend to preserve some parts of the program behaviour. We propose a formal criterion by which to characterise the preserved part of the program behaviour. Two program versions are equivalent up to a set of affected objects A, if executions of the two...
Video details
Date: 27 October 2014
Duration: 01:00:03
Collection: MSR Talk Series
Jim Dwyer
More Awesome Than Money: Four Boys and Their Heroic Quest to Save Your Privacy from FacebookDavid versus Goliath in Silicon Valley - an epic attempt to take back the Internet: Their idea was simple. Four NYU undergrads wanted to build a social network that would allow users to control their personal data, instead of surrendering it to big businesses like Facebook. They called it Diaspora. In days, they raised $200,000, and reporters, venture capitalists, and the digital community's most legendary figures were soon monitoring their progress. Max dreamed of being a CEO. Ilya was the idealist. Dan...
Video details
Date: 27 October 2014
Duration: 00:48:02
Collection: Visiting Speakers Series
Tom Wies and Zvomir Pavlinovic
Automated Debugging as a Constraint Solving ProblemDebugging is one of the most time consuming aspects of software development. Any automation that reduces the manual effort involved in this task can have a significant impact on software productivity. An integral part of all debugging activities is error localization: once undesired behavior is spotted, the actual defect has to be identified before a fix can be developed. Most existing fault localization techniques rely on the availability of high quality test suites, which limits their applicability in...
Video details
Date: 27 October 2014
Duration: 01:05:32
Collection: MSR Talk Series
Ioana Dumitriu
Northwest Probability Seminar 2014 - A Regular Stochastic Block ModelThe famous Stochastic Block Model (SBM) has been recently completely solved independently by Massoulie and Mossel-Neeman-Sly. Inspired by their work, we have decided to examine a regular variant of the graph; the restrictive nature of the constraints makes the problem easier, but at the same time more challenging (given that we can push the thresholds lower, how much lower can we push them?) This is joint work with Gerandy Brito, Shirshendu Ganguly, Chris Hoffman, and Linh Tran.
Video details
Date: 25 October 2014
Duration: 00:43:21
Collection: Northwest Probability Seminar
Benjamin Young
Northwest Probability Seminar 2014 - Sampling from the Fomin-Kirillov distributionI will describe recent joint work with Sara Billey (UW) and Alexander Holroyd (MSR), generalizing earlier work of mine, in which we bijectively prove the general case of Macdonald's identity in Schubert calculus. As a consequence, we also get a sampling algorithm for a probability distribution on reduced words which is implicit in work of Fomin and Kirillov. The proof involves several novel uses of David Little's generalized 'bumping' algorithm.
Video details
Date: 25 October 2014
Duration: 00:40:00
Collection: Northwest Probability Seminar
Srinivasa Varadhan
Northwest Probability Seminar 2014 - The role of compactness in large deviations.The estimates obtained in large deviations are basically local estimates. While it is not a problem for lower bounds it is a problem for upper bounds. In the absence of exponential tightness some type of 'compactification' of the space is needed. We will look at some examples.
Video details
Date: 25 October 2014
Duration: 00:48:36
Collection: Northwest Probability Seminar
1–25 of 5286
Sort
Show 25 | 50 | 100
1234567Next 
> Our research