Verified Telemetry
Azure Verified Telemetry for IoT is a state-of-the-art solution to seamlessly determine the health of the sensor in real-time.
Azure Verified Telemetry for IoT is a state-of-the-art solution to seamlessly determine the health of the sensor in real-time.
This code replicates the experiments in the paper: Knowledge Distillation as Semiparametric Inference.
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. This allows us to scalably fit a new family of…
DNA storage aims to store information in the form of DNA sequences. This is a research project in Microsoft Research Redmond. This repo contains a dataset of real DNA sequences which can be used for…
The Synthesized Collective Communication Library is a tool for synthesizing collective algorithms tailored to a particular hardware topology. This project creates high-performance collective communication algorithms for the uncommon interconnect topologies connecting AI accelerators inside servers.…