Microsoft Research

Would you like to build a great website by yourself?

In 1982, Richard Feynman first proposed using a quantum computer founded on the laws of quantum physics to simulate physical systems and achieve exponential computational speed-ups over conventional

Many enterprise security policies enforce "password aging", i.e., require that users change their passwords each fixed intervals such as 90 days.

The recent advances in computer vision, natural language processing and other related areas has led to a renewed interest in artificial intelligence applications spanning multiple domains.

Remember the first time science and technology captivated you? Maybe it was the sight of an airplane or a helicopter in flight. Or perhaps it was an episode of Star Trek or writings of Jules Verne.

Social coding is a phrase made popular by GitHub, the online collaborative coding platform home to millions of users and repositories.

Computational imaging and illumination plays a central role in many modern three-dimensional imaging techniques.

As we grow highly dependent on big data for making predictions, we translate these predictions into models that help us make informed decisions.

Personalized medicine - where the treatment is as individual as the patient - has been discussed as the future of medicine.

Minecraft Educators Summit: Learning

Modern data connectivity gives us different views of the patient which need to be unified for truly personalized health care.

Recent advances in IoT and pervasive and ubiquitous computing provide a glimpse into our future and reveal exciting visions of many "smart" things: smart cities, smart homes, smart cars, all in

Think like a programmer

No Abstract Available

We describe an expressive visual programming language for defining behaviors manifested by actors reified in a 2D virtual world which can be compiled into programs comprised of combinators which are

1:00 pm - 2:00 pm Vineet Thuvara, Daryl Wilson - Surface Pro Digital Pen Design

In my talk, I will discuss three distinct studies I have worked on, spending a little more time on the first one.

This work presents a novel approach for detecting inliers in a given set of correspondences (matches).

Large-scale real-time social media analytics provides a novel set of conditions for the construction of predictive models.

No Abstract Available

Introduction: Eric Horvitz, Managing Director Microsoft Research Redmond Lab, and Scott Saponas, MSR Researcher Stephen Bernard, Professor Indiana University: Implicit Biases Catherine Ashcraft

Derivatives, mostly in the form of gradients and Hessians, are ubiquitous in machine learning.

In machine learning, we use data to automatically find dependences in the world, with the goal of predicting future observations.

k-means is a widely used clustering algorithm, but for k clusters and a dataset size of N, each iteration of Lloyd's algorithm costs O(kN) time.

Bounded Model Checking (BMC) is well known for its simplicity and ability to find counterexamples.

The "Internet of Things" is the latest technical problem and opportunity.

9:30 Opening Remarks - Ran Gilad-Bachrach 9:45 Toward Scalable Visual Recognition - Ali Farhadi Recognition is graduating from labs to real-world applications.

We pose causal inference as the problem of learning to classify probability distributions.

Real-time augmented reality (AR) is actively studied for the future user interface and experience (UI/UX) in smart glasses platforms.

The cost of software maintenance is rising dramatically and has been estimated to account for more than 90% of the total cost for software.