Mathematics - Microsoft Research

Publication

Four-dimensional realistic modeling of pancreatic organogenesis

Yaki Setty, Irun R. Cohen, Yuval Dor, David Harel

Proc Natl Acad Sci U S A | December 2008

Publication

Specifying and Implementing Secure Mobile Applications

Andrew Phillips

Process Algebra for Parallel and Distributed Processing, Specifying and Implementing Secure Mobile Applications, Chapter 1 | Published by Chapman & Hall/CRC | 2008

Project

Stochastic Pi Machine

The Stochastic Pi Machine (SPiM) is a programming language for designing and simulating computer models of biological processes. The language is based on a mathematical formalism known as the pi-calculus, and the simulation algorithm is…

Publication

GrayWulf: Conquering Astronomical Databases

Yogesh Simmhan

Astronomical Data Analysis Software and Systems (ADASS) | November 2008

Astronomical Data Analysis Software and Systems (ADASS)

Publication

Modular difference logic is hard

Nikolaj Bjørner, Andreas Blass, Yuri Gurevich, Madan Musuvathi

MSR-TR-2008-140 | October 2008

Publication

GrayWulf: Scalable Clustered Architecture for Data Intensive Computing

Alex S. Szalay, Gordon Bell, Jad Vandenberg, Alainna Wonders, Randal Burns, Dan Fay, Jim Heasley, Tony Hey, Maria Nieto-SantiSteban, Ani Thakar, Catharine van Ingen, Richard Wilton

MSR-TR-2008-187 | September 2008

Pre-Print of version submitted to HICSS 2009.

Publication