Microsoft Research

×
332 тыс
подписчики
50.5 млн
просмотры
9 256
видео
24 Окт 2008
создан
21.06.16 41:08
Theory Day Session 5
Madhu Sudan - Communication with Imperfectly Shared Randomness A common feature in natural communication is that it relies on a large shared context between speaker and listener, where the context
183
21.06.16 53:26
Squared Distance Matrix of a Tree
Let G be a connected graph with vertex set V(G) = {1, …, n}.
356
14.5
21.06.16 21:30
Near Future Laboratory
Near Future Laboratory
154
21.06.16 13:50
Luca Cardelli and the Early Evolution of ML
Luca Cardelli and the Early Evolution of ML
556
12
21.06.16 12:54
How abstract should abstract types be?
How abstract should abstract types be?
39
21.06.16 15:40
Deadlock analysis of unbounded process networks
Deadlock analysis of unbounded process networks
96
21.06.16 12:48
Full reduction in the face of absurdity
Full reduction in the face of absurdity
54
21.06.16 14:30
A Brief Introduction to Microsoft Research
A Brief Introduction to Microsoft Research
223
21.06.16 1:32:06
Networked Publics as Third Places
Communication technologies have long played a central role in people’s personal and professional lives.
183
21.06.16 1:16:19
Using a Push-Button Verifying Compiler to Build Verified Software Components
This talk will discuss how to design, specify, implement, and verify software components in a modular fashion, one component at a time, using a push-button verifying compiler.
115
21.06.16 1:31:59
Challenges in Geo-Distributed Data Center and Application Design
Online apps that matter are geo-distributed, because they serve millions of users around the world. Geo-distribution is important for latency, availability, and increasingly also for efficiency.
933
61.9
21.06.16 1:10:52
Cryptography Primer Session 2 – Symmetric Primitives
This will be the second of six cryptography primer sessions exploring the basics of modern cryptography.
452
74.8
21.06.16 1:14:21
Cryptography Primer – What Can Go Wrong
This will be the first of six cryptography primer sessions exploring the basics of modern cryptography.
650
17.7
21.06.16 1:04:22
Cryptography Primer Session 3 – Integral Asymmetric Functions
This will be the third of six cryptography primer sessions exploring the basics of modern cryptography.
183
21.06.16 1:00:08
Familiarity Does Not Breed Contempt: Diversity, Discrimination and Generosity in Delhi Schools
I exploit a natural experiment in India to identify how mixing rich and poor students in schools affects social preferences and behaviors.
588
27.7
21.06.16 1:25:21
LampsonFest - Ron Rivest, Martin Abadi, Cynthia Dwork
Ron Rivest - Reflections on SDSI Martin Abadi - Authentication in distributed systems: Theory and actual practice Cynthia Dwork - Differential Privacy: Dreams and Nightmares
728
34.3
21.06.16 1:01:55
Cryptography Primer Session 4 Primes, Elliptic Curves, & Lattices
This will be the fourth of six cryptography primer sessions exploring the basics of modern cryptography.
767
22.9
21.06.16 1:03:01
From Circuits to RAM Programs in Malicious 2-party Computation
Secure 2-party computation (2PC) is becoming practical in some domains. However, most approaches are limited by the fact that the desired functionality must be represented as a boolean circuit.
143
21.06.16 1:07:16
Bringing Phased Array Signal Processing Indoors to WiFi Networks
Phased array signal processing has long been employed outdoors in radar, underwater in sonar, and underground in seismic monitoring.
1 000
33
21.06.16 29:38
Community detection: recent results and open problems
Community detection, similar to graph partitioning, consists in identification of groups of similar items within a population based on observed interactions.
580
47.9
21.06.16 1:19:50
Eye Movements in Biometrics and Human Computer Interaction
Accurate and unforgettable identity recognition is a topic of critical concern in the modern world.
2 225
25.2
21.06.16 1:57:29
Workshop on Quantum Algorithms and Devices - Part 3
1:10PM – 1:50PMQuantum Information in Space and Time Patrick Hayden (Stanford University) Abstract: What can quantum information theory teach us about spacetime?
2 213
52.3
21.06.16 57:07
In Plain Sight: Online Tracking and Profiling
Internet advertisers reach millions of customers through practices that involve real time tracking of users’ online activities.
364
40
21.06.16 51:02
Privacy as Interpersonal Boundary Regulation in the Context of Social Network Services
Considering privacy as interpersonal boundary regulation highlights the holistic endeavour people undertake to "make the world work".
67
21.06.16 1:38:16
Workshop on Quantum Algorithms and Devices - Part 4
3:40PM - 4:20PMQuantum Software and Quantum-safe Cryptography Michele Mosca (University of Waterloo) Abstract: Quantum algorithms allow us to solve several important problems with a substantially
834
21.1
21.06.16 1:23:32
Spinal Codes
Spinal codes ?(ACM SIGCOMM 2012) ?are a new class of rateless codes that enable wireless ?networks to cope with time-varying channel conditions in a natural way, without requiring any explicit bit
575
23.6
21.06.16 1:05:54
MIMO and Dynamic Spectrum Access - A System Builder Perspective - Part 1
Spinal codes (ACM SIGCOMM 2012) are a new class of rateless codes that enable wireless ?networks to cope with time-varying channel conditions in a natural way, without requiring any explicit bit
132
21.06.16 1:13:53
In-situ Research Using Connected Devices: Challenges and Opportunities
An increasing number of research areas rely on collecting data from sensors and devices deployed in homes and beyond.
77
21.06.16 1:16:10
Exponential improvement in precision for simulating sparse Hamiltonians
We provide a quantum algorithm for simulating the dynamics of sparse Hamiltonians with complexity sublogarithmic in the inverse error, an exponential improvement over previous methods.
298
21.06.16 1:08:30
Databases and Server-Aided MPC
10:00-11:10 - Databases •Practical Private Database Querying Vlad Kolesnikov, Bell Labs; and Tal Malkin, Columbia University and Bar Ilan University •Practical linking of databases using secure
348
38.3
9 276 видеоназад283далее
жизньигрыфильмывесельеавтотехномузыкаспортедаденьгистройкаохотаогородзнанияздоровьекреативдетское