Microsoft Research

Pairings on elliptic curves have allowed the development of new cryptographic protocols like anonymous certificates, multicanal broadcasting...

Despite advances in Artificial Intelligence, fully autonomous intelligent systems are still out of the reach of current technology.

We study the glued-trees problem of Childs, et. al.

Dr. Bruce Gooch will talk about the technology behind two image and video processing apps that his company Insatiable Genius has recently released; Pencil FX and Comic Tycoon.

The tremendous success of Internet services has led to the rapid growth of Warehouse-Scale Computers (WSCs). The networking infrastructure has become one of the most vital components in a datacenter.

Materials, mechanics designs and manufacturing systems are now available for electronic systems with thicknesses, effective elastic moduli, bending stiffnesses and areal mass densities matched to

We provide a non-deterministic quantum protocol that approximates R_x(a^2 b^2) using R_x(a) and R_x(b) and a constant number of Clifford and T operations.

Over the years, digital video has emerged as our medium of choice to capture and share information with each other across multiple platforms.

Cache compression is a promising technique to increase on-chip cache capacity and to decrease on-chip and off-chip bandwidth usage.

Any system that integrates digital control in a physical environment is an instance of Cyber-Physical Systems (CPS).

I will attempt to give an entertaining talk about several important open problems in number theory and try to show that a cohesive program exists to solve these problems.

Peer-to-peer (P2P) systems, and client-server type storage and computation outsourcing constitute some of the major applications that the next generation cloud schemes will address.

Lab of Things (LoT) is a platform for interconnecting devices and sensors. LoT allows deployment of such technology in homes and other places where people live and work.

Image and video data is becoming a majority in the big data, a reasonable improvement of video coding efficiency may get a big cost saving in transmission and/or storage, that is why so many

This talk presents a lively romp through a wide array of research topics I have worked on in the last few years.

In a little more than three decades, digital technology has reshaped human communication, causing a profound impact in all aspects of culture, where new modes of creation, dissemination and

A lot of the current news consumption and sharing takes place online, through traditional news outlets or new media.

The hot topic in computer science this year is Big Data.

With parallel coordinates the perceptual barrier imposed by our 3-dimensional habitation is breached enabling the visualization of multidimensional problems.

Microblogs are increasingly gaining attention as an important information source in emergency management as a lot of valuable situational information is shared, both by citizens and official sources.

The last few years have witnessed historic developments in U.S. patent law. With its decisions in AMP v. Myriad, Mayo v. Prometheus, and Bilski v.

In the last couple of years amazing advances have been made on techniques to perform computation on encrypted data. Some of the techniques are even becoming practical.

With the advent of crowdsourcing and crowd work, human intelligence can be brought to bear on a great variety of useful tasks and on short notice.

Network science provides a rich set of theories and methods to understand the structure and dynamics of complex social, information, and biological systems.

We present IBR approaches that compensate for lack of depth using image-based operations to create free viewpoint walkthroughs.

Carnegie Mellon University's "Never Ending Language Learner" (NELL) has been running for over three years, and has automatically extracted from the web millions of facts concerning hundreds of

Recent advances in realtime performance capture have brought within reach a new form of human communication.

We give an algorithm for learning a mixture of unstructured distributions.

By an analysis of the global structure of the set of pure type systems (PTS), we identify and classify various transformations of PTS which preserve normalization.

Massive volumes of geo-spatial heterogeneous data streams generated by social media, sensor networks, internet of things, and digitalization of transactions are bringing the next generation of