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

Mathematics

Advancing the mathematical foundations that drive breakthroughs across computing, AI, and the sciences.

Current selections

Sort by: Most recent

Clear selections

Publication

Building robust conservation plans

Piero Visconti, Lucas Joppa

Conservation Biology | October 2014

Publication

From trees to seeds: on the inference of the seed from large trees in the uniform attachment model

Sébastien Bubeck, Ronen Eldan, Elchanan Mossel, Miklos Z. Racz

September 2014

Video

LIQUi|>: A Software Design Architecture and Domain-Specific Language for Quantum Computing

September 11, 2014 | Dave Wecker

Languages, compilers, and computer-aided design tools will be essential for scalable quantum computing, which promises an exponential leap in our ability to execute complex tasks. LIQUi|> is a modular software architecture designed to control quantum…

: A Software Design Architecture and Domain-Specific Language for Quantum Computing"">

Publication

Efficient Algorithms for Discrepancy Minimization in Convex Sets

Ronen Eldan, Mohit Singh

September 2014

Publication

What makes a biological clock efficient?

Attila Csikász-Nagy, Neil Dalchau

MSR-TR-2014-134 | September 2014

Essays for the Luca Cardelli Fest

Publication

Abstract modelling of tethered DNA circuits

Matthew R. Lakin, Rasmus Petersen, Kathryn E. Gray, Andrew Phillips

International Conference on DNA Computing and Molecular Programming | September 2014

Project Project

Publication

Essays for the Luca Cardelli Fest

Martin Abadi, Philippa Gardner, Andy Gordon, Radu Mardare, (.Eds)

MSR-TR-2014-104 | September 2014

Publication

Computational design of reaction-diffusion patterns using DNA-based chemical reaction networks

Neil Dalchau, Georg Seelig, Andrew Phillips

International Conference on DNA Computing and Molecular Programming | September 2014

Project Project

Publication

Warped linear mixed models for the genetic analysis of transformed phenotypes

Nicolo Fusi, Christoph Lippert

Nature communications | September 2014, Vol 5

Publication

Greater power and computational efficiency for kernel-based association testing of sets of genetic variants

Christoph Lippert, Jing Xiang, Danilo Horta, Christian Widmer, Carl Kadie, David Heckerman, Jennifer Listgarten

Bioinformatics | September 2014, pp. btu504

Your Privacy Choices