Publication
LIMIX: genetic analysis of multiple traits
Publication
Most Correlated Arms Identification
Tool
Decomposition-SAT
A decomposition-based parallel SAT solver that decomposes SAT formulas efficiently and reconciles solutions between partitions by means of propositional (Craig) interpolation.
Microsoft Research Blog
Anticipating More from Cortana
Most of us can only dream of having the perfect personal assistant, one who is always there when needed, anticipating our every request and unobtrusively organizing our lives. Cortana, the new digital personal assistant powered…