Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Our research
Content type
+
Downloads (445)
+
Events (410)
 
Groups (142)
+
News (2622)
 
People (736)
 
Projects (1066)
+
Publications (12096)
+
Videos (5323)
Labs
Research areas
Algorithms and theory47205 (58)
Communication and collaboration47188 (59)
Computational linguistics47189 (8)
Computational sciences47190 (69)
Computer systems and networking47191 (116)
Computer vision208594 (17)
Data mining and data management208595 (7)
Economics and computation47192 (25)
Education47193 (81)
Gaming47194 (21)
Graphics and multimedia47195 (62)
Hardware and devices47196 (63)
Health and well-being47197 (28)
Human-computer interaction47198 (148)
Machine learning and intelligence47200 (80)
Mobile computing208596 (12)
Quantum computing208597 (16)
Search, information retrieval, and knowledge management47199 (61)
Security and privacy47202 (24)
Social media208598 (9)
Social sciences47203 (38)
Software development, programming principles, tools, and languages47204 (31)
Speech recognition, synthesis, and dialog systems208599 (5)
Technology for emerging markets208600 (2)
1–25 of 58
Sort
Show 25 | 50 | 100
123Next 
Dave Wecker
Languages, compilers, and computer-aided design tools will be essential for scalable quantum computing, which promises an exponential leap in our ability to execute complex tasks. LIQUi|> is a modular software architecture designed to control quantum hardware. It enables easy programming, compilation, and simulation of quantum algorithms and circuits, and is independent of a specific quantum architecture. LIQUi|> contains an embedded, domain-specific language designed for programming quantum...
Video details
Date: 29 May 2014
Duration: 00:45:00
Publisher: Microsoft
Get to know Microsoft ResearchA quick peek at what's new at Microsoft Research.
Video details
Date: 17 April 2014
Duration: 00:01:26
Publisher: Microsoft
Treasure HuntA presentation from the Games, Networks and Markets event held in Cambridge UK between 28-29 June 2012.
Video details
Date: 28 June 2012
Duration: 00:57:25
Publisher: Microsoft
Umesh Vazirani
Quantum Hamiltonian ComplexityWe consider three basic questions about quantum mechanics:Do `typical' quantum states that occur in Nature have succinct (polynomial) description?Can quantum systems at room temperature exhibit exponential complexity?Is the scientific method sufficiently powerful to comprehend general quantum systems?Each of these questions is best studied through a computational lens as a questionabout computation. The resulting questions lie at the core of theory. The first asks about the structure of solutions to the...
Video details
Date: 13 June 2012
Duration: 01:02:16
Oded Regev
Lattice-Based CryptographyWe will give a survey of recent work on lattice-based cryptography, mainly focusing on the so-called Learning with Errors (LWE) problem. This problem has turned out to be an amazingly versatile basis for cryptographic constructions, with tens of applications, including the recent celebrated work on fully homomorphic encryption. In addition to applications, we will also mention very recent work providing a better understanding of the security of the problem. The talk does not require any prior knowledge in...
Video details
Date: 6 June 2012
Duration: 01:11:24
Eran Shmaya
Expressible InspectionsA decision maker needs predictions about the realization of a repeated experi- ment in each period. An expert provides a theory that, conditional on each finite history of outcomes, supplies a probabilistic prediction about the next outcome. However, there may be false experts without any knowledge of the data-generating process who deliver theories strategically. Hence, empirical tests for predictions are necessary. A test is manipulable if a false expert can pass the test with a high probability. Like...
Video details
Date: 18 April 2012
Duration: 01:10:33
Machine Learning and Intelligence in Our MidstThe creation of intelligent computing systems that perceive, learn, and reason has been a long-standing and visionary goal in computer science. Over the last 20 years, technical and infrastructural developments have come together to create a nurturing environment for developing and fielding applications of machine learning and reasoning–and for harnessing machine intelligence to provide value to businesses and to people in the course of their daily lives. Key advances include jumps in the availability of...
Video details
Date: 6 March 2012
Duration: 00:51:57
Publisher: Microsoft
Jon Kleinberg
Which Networks Are Least Susceptible to Cascading Failures?The spread of a cascading failure through a network is an issue that comes up in many domains: in the contagious failures that spread among financial institutions during a financial crisis, through nodes of a power grid or communication network during a widespread outage, or through a human population during the outbreak of an epidemic disease. Here we study a natural model of threshold contagion: each node is assigned a numerical threshold drawn independently from an underlying distribution, and it will...
Video details
Date: 8 December 2011
Duration: 01:10:37
Jon Kleinberg
Computational Perspectives on Social Phenomena in On-Line NetworksWith an increasing amount of social interaction taking place in the digital domain, and often in public on-line settings, we are accumulating enormous amounts of data about phenomena that were once essentially invisible to us: the collective behavior and social interactions of hundreds of millions of people, recorded at unprecedented levels of scale and resolution. Analyzing this data computationally offers new insights into the design of on-line applications, as well as a new perspective on fundamental...
Video details
Date: 7 December 2011
Duration: 01:15:33
Irit Dinur
PCPs and Expander GraphsA probabilistically checkable proof (PCP) is a special format for writing proofs that is very robust. In this format, a proof of a false theorem is guaranteed to have so many bugs that it can be checked by reading a constant number of random proof bits. The celebrated PCP theorem says that every NP language has a robust 'PCP' proof.In the talk we will explain how to construct a PCP by taking any standard NP proof and then routing it through an expander graph (i.e., a graph that is very well-connected). We...
Video details
Date: 30 November 2011
Duration: 01:26:36
Eli Ben-Sasson
Tradeoffs Between Fundamental Complexity Measures of Propositional ProofsWhat kind of theorems are easy to state yet hard to prove?This question motivates the study of propositional proof complexity. In this introductory talk I will describe the three fundamental proof-complexity measures of proof length, width, and space. These measures correspond to different aspects of the “hardness” of proving a given theorem. Then I will discuss the surprising relationships between these three measures and conclude with accessible and intriguing open questions in this area.Based on joint...
Video details
Date: 26 October 2011
Duration: 01:11:25
Eitan Bachmat
On Queues and NumbersWe will consider the problem of managing a mini-market with! two checkout counters, one of them serving as an express lane. For many of the standard job size distributions such as the exponential distribution,the problem of managing the mini-market is rather nasty. However, for some distributions, the! management problem becomes very easy. We will provide some examples coming from the Taniyama-Shimura conjecture and explain the general connection between mini-market queues and number theory, coming from...
Video details
Date: 20 October 2011
Duration: 01:00:54
Video details
Date: 27 September 2011
Duration: 00:28:59
Publisher: Microsoft
Welcome to Microsoft Research IndiaP. Anandan, managing director of Microsoft Research India, gives an overview of Microsoft Research’s mission. The organization’s foremost goal is to advance the science in areas such as cloud computing, computer science, and computing, and to advance the state of science. Investing in basic research provides room for long-term research instead of simply focusing on computing and computer science.
Video details
Date: 27 September 2011
Duration: 00:11:09
Publisher: Microsoft
Welcome to Microsoft Research CambridgeAndrew Blake, Microsoft distinguished scientist and managing director of Microsoft Research Cambridge, welcomes staff and gives an overview of Microsoft Research’s global labs. The mission of those labs are to expand the state of the art in each of the areas in which research is performed, to transfer innovative technologies rapidly into Microsoft products, and to ensure that Microsoft products have a future. Roger Needham helped with the original setup of Microsoft Research Cambridge in 1997, with Andrew...
Video details
Date: 27 September 2011
Duration: 00:31:13
Publisher: Microsoft
Video details
Date: 27 September 2011
Duration: 00:15:06
Collection: 20th Anniversary Lecture Series
Publisher: Microsoft
Programming LifeLife is a product of Living Software: programmable matter that orchestrates a range of remarkable functions, from the self-assembly of every organism on Earth, to the ability to recognise and fight pathogens, to creating intelligence, to powering the planet. If we could program life it would form the foundations for a revolution in medicine, energy and agriculture. And computing. Many challenges currently exist to programming life. We are pioneering techniques to overcome these challenges.
Video details
Date: 27 September 2011
Duration: 00:21:39
Collection: 20th Anniversary Lecture Series
Publisher: Microsoft
Communication, Computing, and TechnologyMadhu Sudan, principal researcher at Microsoft Research New England, discusses the differences between theoretical computation versus communication. “Communication,” in this context, refers to mobile phones, email, and other messages, while “computation” refers to things one does with a computer. These technologies are interdependent, and currently, one can no longer exist without the other. The contradiction lies in the practice where these technologies are being developed separately, creating missed...
Video details
Date: 27 September 2011
Duration: 00:09:20
Collection: 20th Anniversary Lecture Series
Publisher: Microsoft
Advancing the State of the Art: 20th Anniversary and BeyondAt Microsoft Research, we are celebrating over 20 years of turning ideas into products that continuously improve the way people interact with technology. We advance the state of the art in computer science through exploration and new approaches to solve large, complex problems.
Video details
Date: 26 September 2011
Duration: 00:02:38
Publisher: Microsoft
László Lovász
The Mathematical Challenge of Large NetworksIt is becoming more and more clear that many of the most exciting structures of our world can be described as large networks. The internet is perhaps the foremost example, modeled by different networks (the physical internet, a network of devices; the world wide web, a network of webpages and hyperlinks). Various social networks, several of them created by the internet, are studied by sociologist, historians, epidemiologists, and economists. Huge networks arise in biology (from ecological networks to...
Video details
Date: 7 September 2011
Duration: 01:12:12
Avi Wigderson
Geometry and Theoretical Computer ScienceYes, there are many (and growing) connections between this very ancient branch of mathematics and that very new one!In this talk I will describe some recent works, on several different basic geometric problems which naturally arose from, and were solve by, intuitions and methods from theoretical computer science. These include periodic foams , Euclidean sections and line-point incidences.No special background is assumed.
Video details
Date: 31 August 2011
Duration: 01:18:14
Aram Harrow
Injective Tensor Norms: Hardness and ReductionsIf a vector has one index and a matrix has two, then a tensor has k indices, where k could be 3 or more. In this talk, I'll consider the injective tensor norm, which for k=1 is the length of a vector and for k=2 is the largest singular value of a matrix. Applications of calculating this norm include finding planted cliques, simulating quantum systems and finding the distortion of certain norm embeddings.I'll show that much of the difficulty of calculating the injective tensor norm is captured already...
Video details
Date: 10 August 2011
Duration: 01:08:04
Maria Florina Balcan
Learning Valuation FunctionsA core element of microeconomics and game theory is that consumers have valuation functions over bundles of goods and that these valuation functions drive their purchases. In particular, the value given to a bundle need not be the sum of values on the individual items but rather can be a more complex function of how the items relate. Common valuation classes considered in the literature include OXS, submodular, and XOS valuations. Typically it is assumed that these valuations are known to the center or...
Video details
Date: 3 August 2011
Duration: 01:11:11
Devavrat Shah
Medium Access Using QueuesMedium access control (MAC) resolves contention among simultaneously transmitting wireless nodes so as to utilize the wireless medium efficiently while mitigating interference.To be implementable, the MAC algorithm is required to be totally distributed and simple. In this talk, we will present such a MAC algorithm that is optimal in terms of utilizing medium and thus bringing a long pursued quest (since 1970s) to an end. In this MAC, each node utilizes its local queue-size and recent contention history to...
Video details
Date: 20 July 2011
Duration: 01:13:09
Jonathan Kelner
Fitting a Graph to Vector DataIn this talk, I will set forth a general approach to many of the major problems in Machine Learning, including classification, regression and clustering, based on ideas from spectral graph theory. Applying this approach will yield a simple and clean methodology that gives very good solutions to these problems, outperforming the state-of-the-art on many of the standard data sets.In recent years, a number of researchers have gained insight by fitting graphs to their data and then using these graphs to solve...
Video details
Date: 13 July 2011
Duration: 01:20:43
1–25 of 58
Sort
Show 25 | 50 | 100
123Next 
> Our research