Mathematics - Microsoft Research

Video

Welcome to eScience Workshop 2005

October 6, 2005 | Dan Fay

Dan Fay from the Microsoft External Research group welcomes participants to the Microsoft Research eScience Workshop 2005.

05:13

Publication

Building e-Science Portals: A Service Oriented Architecture

Dennis Gannon, Yogesh Simmhan, et al

High Performance Computing (HPC) and Grids in Action, Building e-Science Portals: A Service Oriented Architecture | Published by IOS Press | 2005, Vol 16

ISBN: 978-1586038397

Publication

Average Case Analysis of QuickSort and Insertion Tree Height Using Incompressibility

Tao Jiang, Ming Li, Brendan Lucier

Information Processing Letters 2007 | September 2005, Vol 103(2): pp. 45-51

Publication

Quantization of FIR filters under a total integer cost constraint

Ashley J. Llorens, C.N. Hadjicostis, Hen Chi Ni

2005 IEEE Transactions on Circuits and Systems Ii-express Briefs | September 2005, Vol 52(9): pp. 576-580

Publication

Random-Turn Hex and Other Selection Games

Yuval Peres, Oded Schramm, Scott Sheffield, David B. Wilson

American Mathematical Monthly | August 2005, Vol 114: pp. 373-387

Video

A Lower Bound for Cooperative Broadcast in the presence of Noise

August 25, 2005 | Michael Saks

In a noisy broadcast channel, processors communicate as follows: in each time step, a pre-designated processor broadcasts a bit. Each of the other processors receives a bit, but the received bit is incorrect with some…

a man wearing glasses and looking at the camera

01:13:34

Publication

Graph limits and testing hereditary graph properties

L. Lovasz, Balazs Szegedy

MSR-TR-2005-110 | August 2005

Publication

Algebraic Process Calculi: The First Twenty Five Years and Beyond

Luca Aceto, Andy Gordon

Short Contributions from the Workshop on Algebraic Process Calculi: The First Twenty Five Years and Beyond (PA-05), Bertinoro, ForlÄ±, Italy, August 1-5, 2005

Published by BRICS publications http://www.brics.dk Luca Aceto & Andrew D. Gordon | August 2005 | Short Contributions from the Workshop on Algebraic Process Calculi: The First Twenty Five Years and Beyond (PA-05), Bertinoro, Forlı, Italy, August 1-5, 2005 edition

Publication

Modular Arithmetic Decision Procedure

Domagoj Babic, Madan Musuvathi

MSR-TR-2005-114 | August 2005

Video

Future of Scientific Computing Panel

July 19, 2005 | David Lifka, Fran Berman, Jay Boisseau, and Marvin Theimer

In this session of the 2005 Microsoft Research Faculty Summit, leaders of three supercomputer centers discuss their vision of where scientific computing is going in the next 5 to 10 years and how computer science…

01:10:07