Microsoft Research

Videos: 1871 Likes: 10,877 Views: 1,389,780

Videos by: Microsoft Research

Foundations of Data Science – Lecture 6 – Singular Value Decomposition – l

1 day ago
Modern data often consists of feature vectors with a large number of features. High-dimensional geometry and Linear Algebra (Singular Value Decomposition) are two of the crucial areas which form the mathematical foundations of Data Science. This mini-course covers these areas, providing intuition and rigorous proofs. Connections between Geometry and Probability will be brought out. See […]

Foundations of Data Science – Lecture 5 – Length Squared Sampling in Matrices

1 day ago
Modern data often consists of feature vectors with a large number of features. High-dimensional geometry and Linear Algebra (Singular Value Decomposition) are two of the crucial areas which form the mathematical foundations of Data Science. This mini-course covers these areas, providing intuition and rigorous proofs. Connections between Geometry and Probability will be brought out. See […]

Disparity | Artist in Residence

6 days ago
Exploring the discrepancies in data through physicality. This piece, the creation of artist in residence, Aduén Darriba Fredericks, with the assistance of visualization researcher, Steven M. Drucker, explores the discrepancies in data through physicality. Large discrepancies are often difficult to fully comprehend, for example, looking at a skyscraper vs. standing next to one gives the […]

Building a New View of Transcriptome Variations

1 week ago
In this talk, I will review some of the challenges and advances we have made in building a new view of transcriptome complexity, along with and the kind of tools that can be used to infer it.  See more on this video www.microsoft.com/en-us/research/video/building-a-new-view-of-transcriptome-variations/

Random self-similar trees: dynamical pruning and its applications to inviscid Burgers equations

1 week ago
Consider the fractional Brownian motions on the real line. What should we expect if we replace the real line by a manifold M? We will provide an answer to this question, extending work begun by Paul Levy in 1965. We will construct a family of Gaussian processes indexed by M with certain properties and argue […]

Explaining Inconclusive Outcomes from Software Model Checkers to Users

1 week ago
This talk will be centered on partial verification results. Software model checkers can be used both to find bugs and to prove certain properties hold. However, due to resource bounds or tool limitations, many times neither is achieved. I will start by motivating this line of work and sharing my vision of how partial verification […]

Pacific Northwest Probability Seminar: An Analysis of Spatial Mixing

2 weeks ago
In joint work with Soumik Pal, we study natural mixing processes where cards (or dominoes or mahjong tiles) are ‘smushed’ around on a table with two hands. How long should mixing continue. If things are not well mixed, what patterns remain? We study this in practice (!): experiments indicate that about 30 seconds of smushing […]

Pacific Northwest Probability Seminar: Gravitational Allocation to Uniform Points on the Sphere

3 weeks ago
Given n uniform points on the surface of a two-dimensional sphere, how can we partition the sphere fairly among them? “Fairly” means that each region has the same area. It turns out that if the given points apply a two-dimensional gravity force to the rest of the sphere, then the basins of attraction for the […]

Pacific Northwest Probability Seminar: A Characterization Theorem for the Gaussian Free Field

3 weeks ago
We prove that any random distribution satisfying conformal invariance and a form of domain Markov property and having a finite moment condition must be the Gaussian free field. We also present some open problems regarding what happens beyond the Gaussian free field. Ongoing joint work with Nathanael Berestycki and Ellen Powell.  See more on this […]

Two-round Secure Multiparty Computations from Minimal Assumptions

3 weeks ago
A secure multiparty computation protocol allows a set of mutually distrusting parties to compute a joint function of their private inputs without leaking anything apart from the output of the functionality. Ever since the initial results on this topic, an active line of research has been to minimize the number of rounds needed for securely […]

Intent and Emotions in Image Search and Viewing

3 weeks ago
The talk is divided into two sections. In the first section, I will talk about behavioral and physiological responses associated with interest, curiosity, and novelty in image viewing. We recorded facial expressions, eye gaze and electrodermal responses of 50 participants viewing 80 images. Participants self-reported their level of interest, perceived novelty, complexity and comprehensibility of […]

Using Large Scale Genomic Databases to Improve Disease Variant Interpretation

3 weeks ago
Rapid advances in sequencing technology have led to the generation of genome-scale DNA sequencing data for more than 2 million individuals worldwide. These data represent incredibly powerful information about the distribution and impact of genetic variation, but major challenges remain to aggregating and harmonizing them. In this presentation I will describe the development of the […]