Microsoft Research

×
334 тыс
подписчики
50.6 млн
просмотры
9 260
видео
24 Окт 2008
создан
10.06.21 10:22
HovercRaft: Achieving Scalability and Fault-tolerance for Microsecond-scale Datacenter Services
Systems 19 May 2021 Speaker: Marios Kogias, Microsoft (collaboration with Edouard Bugnion, Konstantinos Prasopoulos, EPFL and Dan Ports, Irene Zhang, Microsoft) This virtual event brought together
271
10.06.21 10:02
Noise*: A library of Verified High-Performance Secure Channel Protocol Implementations
Systems 19 May 2021 Speaker: Son Ho, INRIA (collaboration with Karthik Bhargavan, INRIA and Antoine Delignat-Lavaud, Cédric Fournet, Florian Grould, Jonathan Protzenko, Nikhil Swamy, Santiago
482
39.8
10.06.21 9:54
Reasoning about the TLA+ operator ENABLED within TLAPS | JRC Workshop 2021
Systems 19 May 2021 Speaker: Ioannis Filippidis, INRIA (collaboration with Damien Doligez, Stephan Merz, INRIA and Markus Kuppe, Leslie Lamport, Microsoft) This virtual event brought together the
308
10.06.21 11:05
DataScope: Scaling up Data Shapley over Machine Learning Pipelines | JRC Workshop 2021
Systems 19 May 2021 Speaker: Bojan Karlaš, ETH Zurich (collaboration with Ce Zhang, ETH Zurich and Matteo Interlandi, Microsoft) This virtual event brought together the PhD students and postdocs
294
10.06.21 14:33
495
18
10.06.21 14:56
429
15.6
10.06.21 15:43
500
9.5
07.06.21 30:45
Microsoft Soundscape: Heads-up and hands-free experiences for everyone
Microsoft Soundscape uses 3D spatial audio to help people understand their surroundings.
1 233
11.4
02.06.21 1:00:35
Directions in ML: Latent Stochastic Differential Equations: An Unexplored Model Class
We show how to do gradient-based stochastic variational inference in stochastic differential equations (SDEs), in a way that allows the use of adaptive SDE solvers.
6 253
11.7
28.05.21 1:10:10
Fuzzing to improve the security and reliability of cloud services with RESTler
In the past few years, cloud services have experienced tremendous growth. Most of these services are programmatically accessed through REST APIs.
9 039
25.6
27.05.21 1:15:36
Pushing the frontier of neural text to speech
In the popular field of text to speech, the goal is to transform the written or printed word into speech that is natural and intelligible.
10 260
20.3
27.05.21 1:23:22
Foundations of Real-World Reinforcement Learning
Reinforcement learning (RL) is an approach to sequential decision making under uncertainty which formalizes the principles for designing an autonomous learning agent.
3 950
14
27.05.21 52:58
Homomorphic Encryption with Microsoft SEAL
Since the invention of its first scheme in 2009, homomorphic encryption has been making it possible to perform computations on encrypted data, providing an opportunity to offer greater security
5 073
23.4
27.05.21 1:04:56
Data Visualization: Bridging the Gap Between Users and Information
With the explosion of data available today, finding effective ways for humans to interact with that data represents an enormous opportunity for researchers.
1 819
11.3
27.05.21 1:30:48
Exploring Reinforcement Learning Methods from Algorithm to Application
Reinforcement learning (RL) is a systematic approach to learning and decision making under uncertainty.
3 414
13.2
27.05.21 1:16:46
Microsoft Rocket: Hybrid Edge + Cloud Video Analytics Platform
Today, video cameras are being used at a large scale by public and private enterprises for a variety of reasons—from security surveillance and traffic planning to consumer support in retail and
709
33.4
27.05.21 1:12:24
Harnessing high-fidelity simulation for autonomous systems through AirSim
Robots and autonomous systems are playing a significant role in modern times, in both academic research and industrial applications.
11 310
16.3
27.05.21 1:00:53
Microsoft ElectionGuard—enabling voters to verify that their votes are correctly counted
Microsoft ElectionGuard provides a free, open-source software toolkit, which can be used in new and existing election systems to allow voters to verify that their votes have been accurately counted.
1 181
14.6
27.05.21 46:03
Designing Computer Vision Algorithms to Describe the Visual World to People Who Are Blind/Low Vision
A common goal in computer vision research is to build machines that can replicate the human vision system (for example, detect an object or scene category, describe an object or scene, or locate an
1 578
30.6
9 283 видеоназад20далее
жизньигрыфильмывесельеавтотехномузыкаспортедаденьгистройкаохотаогородзнанияздоровьекреативдетское