Microsoft Research

In all sound program analysis systems there is some mechanism for modeling non-deterministic choice, which is typically used to correctly capture effects of the program's environment (Did malloc

Joseph Priestly was a British scientist and theologian, a protégé’ of Benjamin Franklin, friend of Thomas Jefferson and an 18th century radical thinker who played pivotal roles in the invention

In the recent past, anti-P2P companies have successfully curtailed the distribution of targeted content over a number of P2P file-sharing systems, including Kazaa and eDonkey.

Cluster-based data-parallel frameworks such as MapReduce, Hadoop, and Dryad are increasingly popular for a large class of compute-intensive tasks.

Secure Computation has been a classic and central question in modern cryptography with a large set of potential applications.

Many computational tools have recently begun to benefit from the use of the symmetry inherent in the tasks they solve, and use general-purpose graph symmetry tools to uncover this symmetry.

Flash memory has found wide application in military, aerospace, and consumer electronics.

Sage is a large mathematical software project based at the University of Washington that is funded by Microsoft, the National Science Foundation, and other organizations.

AmericaΓÇÖs copyright laws have ceased to perform their original, beneficial role: protecting artistsΓÇÖ creations while allowing them to build on previous creative works.

Recent advances in digital technologies invite consideration of organizing as a process that is accomplished by global, flexible, adaptive, and ad hoc networks that can be created, maintained

Panta Rhei---everything is in a state of flux. Evolution impacts Information Systems (IS) at many different levels, we focus on the problem of evolving the data management core of an IS.

Welcome to Elsewhere, USA where the American individual has become extinct.

In this talk we will demonstrate iterative methods as a general technique to analyze linear programming formulations of combinatorial optimization problems.

We have the tools to open the space frontier for humanity, now. Let us discuss what we need to do to get there, and what is holding us back.

For Markov random fields temporal mixing, the time it takes for the Glauber dynamics to approach it's stationary distribution, is closely related to the spatial mixing properties of the measure such

The paradigm shift from inherently sequential to highly concurrent and multi-threaded applications is creating new challenges for testers and verification engineers.

The Church-Turing thesis is one of the foundations of computer science.

Technology continues to move in the direction of parallel computation, whether it be in a computer or across the internet.

The talk focuses on expander graphs in conjunction with the combined use of SDPs and eigenvalue techniques for approximating optimal solutions to combinatorial optimization problems.

Consider the problem of visually finding an object in a mostly unknown space with a mobile robot. It is clear that all possible views and images cannot be examined in a practical system.

One important feature of a parallel programming model is deterministic semantics: that is, a program produces the same output on every execution with a given input, regardless of the parallel

Concurrency-related bugs are notoriously difficult to discover by code review and testing.

There is a future of medicine where a brain surgeon in Stockholm will remove a brain tumor from a patient in Brazil, using remote robotic surgical hands.

Most combinatorial optimization problems of interest are NP-hard to solve exactly.

Contracts play a major role in establishing binding relationships between various business units and also between businesses and their customers.

Microsoft Research – 6 сентября 2016, 18:24

Microsoft Research – 6 сентября 2016, 18:24

Microsoft Research – 6 сентября 2016, 18:23

Microsoft Research – 6 сентября 2016, 18:22

Microsoft Research – 6 сентября 2016, 18:22