illustration of mathematical symbols, a plus sign, and a calculator on a green gradient background

Mathematics

Current selections

Sort by: Most recent

Clear selections

Publication

Semantics-To-Syntax Analyses of Algorithms

Yuri Gurevich

Turing’s Revolution – The Impact of His Ideas about Computability, Semantics-To-Syntax Analyses of Algorithms | Published by BirkhÃ¤user/Springer 2015 | 2013 | A chapter in G. Sommaruga and T. Strahm (eds.), Turing’s Revolution – The Impact of His Ideas about Computability edition

Video

Inspiring and empowering junior PhD students: Microsoft Research Asia Fellowship

November 21, 2013 | Feng Zhao

Microsoft Research Asia supports and encourages excellent PhD students to pursue their research goals by offering a fellowship early in their research career. We recognize outstanding PhD students majoring in computer science, electrical engineering, information…

a group of people posing for the camera

Video

Microsoft Research New England: An introduction

October 7, 2013

Microsoft Research New England focuses on interdisciplinary work, integrating the more mathematical and algorithmic sciences with both the social sciences and aspects of the biomedical sciences. Our work includes applied projects in areas such as…

a man sitting in front of a laptop

Publication

How to Approximate a Set without Knowing its Size in Advance

Udi Wieder, Gil Segev, Rasmus Pagh

FOCS | October 2013

Publication

Elliptic and Hyperelliptic Curves: a Practical Security Analysis

Joppe Bos, Craig Costello

MSR-TR-2013-101 | October 2013

Publication

Grasp Adjustment on Novel Objects Using Tactile Experience from Similar Local Geometry

Hao Dang, Peter K. Allen

Intelligent Robots and Systems (IROS), 2013 IEEE/RSJ International Conference on | October 2013

Intelligent Robots and Systems (IROS), 2013 IEEE/RSJ International Conference on

Publication

Programmable chemical controllers made from DNA

Yuan-Jyue Chen, Neil Dalchau, Niranjan Srnivas, Andrew Phillips, Luca Cardelli, David Soloveichik, Georg Seelig

Nature Nanotechnology | September 2013, Vol 8: pp. 755-762

Project Project

Publication

The circadian clock has transient plasticity of period and is required for timing of nocturnal processes in Arabidopsis

Antony N Dodd, Neil Dalchau, Michael J Gardner, Seong Jin Baek, Alex AR Webb

New Phytologist | September 2013, Vol 201(1): pp. 168-179

Publication

On The Hereditary Discrepancy of Homogeneous Arithmetic Progressions

Aleksandar NIkolov, Kunal Talwar

Proceedings of the AMS (to appear) | September 2013

Publication

Markov Type And Threshold Embeddings

Jian Ding, James R. Lee, Yuval Peres

September 2013