Microsoft Research

We define (with machine-checked proofs in Coq) a modular operational semantics for Concurrent C minorΓÇöa language with shared memory, spawnable threads, and first-class locks.

Microsoft Research – 8 сентября 2016, 18:52

Microsoft Research – 8 сентября 2016, 18:52

This will be a series of three lectures on Perelman's work, aimed at a general mathematical audience.  The first lecture will briefly review Thurston's conjecture and its consequences, and then go

This will be a series of three lectures on Perelman's work, aimed at a general mathematical audience.  The first lecture will briefly review Thurston's conjecture and its consequences, and then go

Microsoft Research – 8 сентября 2016, 18:52

A key problem facing us in the 21st century is information retrieval and management - how to retrieve, process, and store the information one seeks from the huge and ever-growing mass of available

This talk will be a survey of some recent developments in average-case analysis of algorithms for combinatorial problems.

To understand Russian foreign policy goals after September 11 requires us to take much more seriously a factor generally downplayed in previous analyses: namely, debates among Russian elites

Pointer analysis is critical for effectively analyzing programs written in languages like C, C++, and Java, which make heavy use of pointers and pointer-based data structures.

Can the Internet help to heal a nation? Can a cybercafé change the economics of a rural village? Why do most rural internet projects in Africa and Asia seem to fail?

Data Data everywhere but nor anytime to think is a possible mantra for the problems of scientific data overload.

Biologist and robotics expert John Long has found an ingenious way to study extinct species: he creates robots that look and behave similarly, applies evolutionary pressures, lets them compete for

Today, we are increasingly building large and complex systems whose workings we do not understand, and this lack of understanding translates into systems that are hard to manage and have low

This will be a series of three lectures on Perelman's work, aimed at a general mathematical audience.  The first lecture will briefly review Thurston's conjecture and its consequences, and then go

Pointer analysis is critical for effectively analyzing programs written in languages like C, C++, and Java, which make heavy use of pointers and pointer-based data structures.

Microsoft Research – 8 сентября 2016, 18:49

Microsoft Research – 8 сентября 2016, 18:48

David Brin is a scientist, tech speaker/consultant, and author. His new novel from Tor Books is Existence. A film by Kevin Costner was based on The Postman.

Modernist Cuisine at Home, by Nathan Myhrvold with Maxime Bilet, is destined to set a new standard for home cookbooks.

Strategic advisor, Peter Bregman, explains how busy people can create a plan for managing their day in just 18 minutes.

Author and philosopher Nassim Nicholas Taleb offers a definitive solution for how to gain from disorder and chaos, while being protected from fragilities and adverse events.

Math underpins everything in the cosmos, including us, yet too few of us understand this universal language well enough to revel in its wisdom, its beauty and its joy. Why are numbers so helpful?

Comedian, former Onion digital director and best-selling author Baratunde Thurston takes the audience on a personal journey through his ΓÇ£coming of blacknessΓÇ¥ identity in the post-Civil Rights era.

ΓÇ£It is possible to invent a single machine which can be used to compute any computable sequence,ΓÇ¥ twenty-four-year-old Alan Turing announced in 1936.

Regenesis provides a fascinating overview of the emerging discipline of synthetic biology and the wonders it can produce: from new drugs and vaccines to biofuels and resurrected wooly mammoths.

Below the calm, ordered exterior of a living organism lies microscopic chaos.

In How Children Succeed, Paul Tough explores the question of why some children succeed while others fail.

The new geography of work will be transformational: Digital Workplaces where we spend more and more time, allow us to work in entirely new ways with richer, more immersive tools.

John Palfrey is Professor of Law and Vice Dean for Library and Information Resources at Harvard Law School. He is a faculty director of the Berkman Center for Internet & Society.