Infer.NET is a .NET library for machine learning. It provides state-of-the-art algorithms for probabilistic inference from data. Various Bayesian models such as Bayes Point Machine classifiers, ...

Microsoft Research is happy to continue hosting this series of Image Recognition (Retrieval) Grand Challenges. Do you have what it takes to build the best image recognition system? Enter these MSR ...

Molecular devices made of nucleic acids show great potential for applications ranging from bio-sensing to intelligent nanomedicine. They allow computation to be performed at the molecular scale, while ...

Linearizability: The behavior of concurrent objects is best described through their safety and liveness properties, often referred to as correctness and progress. In this lecture, we examine various ...

The best generic tool currently known for attacking lattice-based cryptographic primitives is lattice reduction. Lattice reduction is a representation paradigm: it consists in finding a representation ...

Normalisation by Evaluation is a technique to efficiently compute the normal form of, possibly open, lambda terms with respect to beta reduction and rewrite rules. It works by compiling terms into ...

Explore research at Microsoft, a site featuring the impact of research along with publications, products, downloads, and research careers.

"Microsoft Research India focuses on research that impacts science, Microsoft and society at large. Our work is inter-disciplinary, and we blend theory with practice, and computer science with social ...

Code Contracts provide a language-agnostic way to express coding assumptions in .NET programs. The contracts take the form of preconditions, postconditions, and object invariants. Contracts act as ...

F# is a succinct, expressive, and efficient functional and object-oriented language for Microsoft .NET that helps you write simple code to solve complex problems. These pages are the historical home ...