Mathematics - Microsoft Research

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…