Publication
The complexity of the annihilating polynomial
Publication
Trees and Markov convexity
Microsoft Research Blog
Microsoft Research Asia’s Guo Discusses the Future of Graphics
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
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…