Mathematics - Microsoft Research

Publication

Visual DSD: a design and analysis tool for DNA strand displacement systems

Matthew R Lakin, Simon Youssef, Filippo Polo, Stephen Emmott, Andrew Phillips

Bioinformatics | November 2011, Vol 27: pp. 3211-3213

Project Project

Publication

Collecting a Heap of Shapes

Earl T. Barr, Christian Bird, Mark Marron

MSR-TR-2011-146 | November 2011

Publication

Non-conjugate Variational Message Passing for Multinomial and Binary Regression

David A. Knowles, Tom Minka

Advances in Neural Information Processing Systems 24 | October 2011

Project

Interactive Data Display

Visualize your data over the web: add complex dynamic graphs and maps to your web application. Interactive Data Display, also known as Dynamic Data Display, is available on multiple platforms. HTML5…

Publication

Correction of Teledyne Acoustic Doppler Current Profiler (ADCP) Bottom-Track Range Measurements for Instrument Pitch and Roll

Rebecca A. Woodgate, Alexander E. Holroyd

MSR-TR-2011-151 | October 2011

Publication

Extracting and Verifying Cryptographic Models from C Protocol Code by Symbolic Execution

Mihhail Aizatulin, Andy Gordon, Jan Jürjens

CCS ’11 Proceedings of the 18th ACM Conference on Computer and Communications Security | October 2011

ISBN: 978-1-4503-0948-6

Publication

A peptide filtering relation quantifies MHC class I peptide optimization

Neil Dalchau, Andrew Phillips, Leonard D Goldstein, Mark Howarth, Luca Cardelli, Stephen Emmott, Tim Elliott, Joern M Werner

PLoS Computational Biology | October 2011, Vol 7(10): pp. e1002144

Project Project Project

Publication

Mixing Time For The Ising Model: A Uniform Lower Bound For All Graphs

Jian Ding, Yuval Peres

Video

Converging Worlds: A New Era of Computing

October 5, 2011

We are starting to see a fundamental transformation in how we interact with computers and what we can expect from them. Powered by insights from big data, more natural user interfaces, and a merging of…

03:24

Video

Machine Learning and Crowdsourcing

September 27, 2011

Adam Kalai of Microsoft Research New England—in association with Serge Belongie of the University of California, San Diego; Ce Liu of Microsoft Research New England; George Pierrakos of University of California, Berkeley; Ohad Shamir of…

14:42