### 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/

31160

### 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 […]

51480

### 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 […]

11450

### 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 […]

92292

### 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 […]

31170

### 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 […]

71460

### 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 […]

71892

### 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 […]

41270

### 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 […]

41070