Mathematics - Microsoft Research

Microsoft Research Blog

Microsoft Research Asia’s Guo Discusses the Future of Graphics

December 11, 2008

By Rob Knies, Managing Editor, Microsoft Research Microsoft Research Asia, celebrating its 10th anniversary, recently presented its annual Computing in the 21st Century academic symposium, held over two days, Nov. 4 in Beijing and Nov.…

Publication

The Trident Scientific Workflow Workbench

, Yogesh Simmhan

IEEE eScience Conference | December 2008

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

A Natural Axiomatization of Computability and Proof of Church’s Thesis

Nachum Dershowitz, Yuri Gurevich

The Bulletin of Symbolic Logic | September 2008, Vol 14(3)

Publication

A Mechanized Bisimulation for the Nu-Calculus

Nick Benton, Vasileios Koutavas

MSR-TR-2008-129 | September 2008