Mathematics - Microsoft Research

Publication

“Share and Enjoy”: Publishing Useful and Usable Scientific Models

Tom Crick, Benjamin A. Hall, Samin Ishtiaq, Kenji Takeda

Recomputability 2014 | December 2014

Publication

Programming Languages for Circuit Design

Michael Pedersen, Boyan Yordanov

Computational Methods in Synthetic Biology, Methods in Molecular Biology | Published by Springer | 2014, Vol 1244 | Computational Methods in Synthetic Biology, Methods in Molecular Biology edition

Publication

Wald for Non-Stopping Times: The Rewards of Impatient Prophets

Alexander E. Holroyd, Yuval Peres, Jeffrey Steif

Electronic Communications in Probability | November 2014, Vol 19

Publication

One-Dependent Coloring by Finitary Factors

Alexander E. Holroyd

November 2014

Publication

The FMOS-COSMOS Survey of Star-forming Galaxies at z ~ 1.6. II. The Mass-Metallicity Relation and the Dependence on Star Formation Rate and Dust Extinction

H. Jabran Zahid

November 2014

Publication

Changing how Earth System Modelling is done to provide more useful information for decision making, science and society

Matthew Smith, Paul I. Palmer, Drew Purves, Mark Vanderwel, Vassily Lyutsarev, Ben Calderhead, Lucas Joppa, Christopher Bishop, Stephen Emmott

Bulletin of the American Meteorological Society | October 2014

Project

Video

Northwest Probability Seminar 2014 – Sharp higher order corrections for the critical value of a bootstrap percolation model

October 29, 2014 | Tim Hulshof

Bootstrap Percolation (BP) models are simple cellular automata with a deterministic growth rule and random initial configuration. It is known that (critical) BP models on the lattice undergo a metastable phase transition on a lattice…

37:06

Project

Ironclad

An Ironclad App lets a user securely transmit her data to a remote machine with the guarantee that every instruction executed on that machine adheres to a formal abstract specification of the app’s behavior. This…

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