Videos

Towards Understandable Neural Networks for High Level AI Tasks – Part 3

Towards Understandable Neural Networks for High Level AI Tasks – Part 3

1 year ago
Towards understandable neural networks for high level AI tasks – Part III Overview of talk series: Current AI software relies increasingly on neural networks (NNs). The universal data structure of NNs is the numerical vector of activity levels of model neurons, typically with activity distributed widely over many neurons. Can NNs in principle achieve human-like […]
Studio99 Presents: Michael Gough and “Drawing as Literacy.”

Studio99 Presents: Michael Gough and “Drawing as Literacy.”

1 year ago
Please help us welcome Michael Gough to Microsoft Research’s studio99. Michael is corporate vice president of design for Microsoft’s Applications and Services Group. He’ll be talking about Drawing as Literacy – why drawing is key to creativity and to using one’s whole brain.
Towards Cross-fertilization Between Propositional Satisfiability and Data Mining

Towards Cross-fertilization Between Propositional Satisfiability and Data Mining

1 year ago
In this talk, we overview our contribution to data mining and more generally to the cross-fertilization between data mining and propositional satisfiability (www.cril.univ-artois.fr/decMining/). We will focus on two contributions. First, we show how propositional satisfiability can be used to model and solve problems in data mining. As an illustration, we present a SAT-based declarative approach […]
Making Objects Count: A Shape Analysis Framework for Proving Polynomial Time Termination

Making Objects Count: A Shape Analysis Framework for Proving Polynomial Time Termination

1 year ago
We present a novel technique for verifying that (recursive) heap manipulating programs terminate in polynomial time. We achieve this by defining an unorthodox ranking function that tracks the number of loop iterations using logical counters distributed across heap objects. If every object counter is bounded, then the program belongs to large class of interesting programs […]
Human factors of software updates

Human factors of software updates

1 year ago
Many people delay or completely avoid updating the software on their devices. This can cause serious issues for security and software management. Most computers are compromised using vulnerabilities for which a security update already exists. If users had updated they would have been safe. Despite this many users still choose to not update their devices. […]
Machine-Checked Correctness and Complexity of a Union-Find Implementation

Machine-Checked Correctness and Complexity of a Union-Find Implementation

1 year ago
Union-Find is a famous example of a simple data structure whose amortized asymptotic time complexity analysis is non-trivial. Using Coq and the CFML tool, Arthur Chargu’raud and I have verified the correctness and amortized complexity of an OCaml implementation of Union-Find. In this talk, I will give an overview of our approach, which uses higher-order […]
Applications of 3-Dimensional Spherical Transforms to Acoustics and Personalization of Head-related

Applications of 3-Dimensional Spherical Transforms to Acoustics and Personalization of Head-related

1 year ago
The spherical harmonic transform (SHT), which returns spatial frequency components of data or distributions determined on the unit sphere, has found many applications in acoustics, such as spatial sound capture and reproduction, beamforming with spherical arrays, analysis of transducer radiation patterns, interpolation of head-related transfer functions (HRTFs) and others. However the SHT is a 2-dimensional […]
Network Protocols: Myths, Missteps, and Mysteries

Network Protocols: Myths, Missteps, and Mysteries

1 year ago
In the field of computer networks, and undoubtedly in other engineering fields, a lot of what “everybody knows” is … not true. The field tends to be taught as if the currently deployed standards arrived, completely perfect, nothing else ever existed, and what is important is to memorize their exact details. Buzzwords get invented, and […]
Optimal and Adaptive Online Learning

Optimal and Adaptive Online Learning

1 year ago
Online learning is one of the most important and well-established learning models in machine learning. Generally speaking, the goal of online learning is to make a sequence of accurate predictions “on the fly” when interacting with the environment. Online learning has been extensively studied in recent years, and has also become of great interest to […]
Speaker Diarization: Optimal Clustering and Learning Speaker Embeddings

Speaker Diarization: Optimal Clustering and Learning Speaker Embeddings

1 year ago
Speaker diarization consist of automatically partitioning an input audio stream into homogeneous segments (segmentation) and assigning these segments to the same speaker (speaker clustering). This process can allow to enhance the readability by structuring an audio document, or provide the speaker’s true identity when it’s used in conjunction with speaker recognition system. In this seminar […]
Multi-rate neural networks for efficient acoustic modeling

Multi-rate neural networks for efficient acoustic modeling

1 year ago
In sequence recognition, the problem of long-span dependency in input sequences is typically tackled using recurrent neural network architectures, and robustness to sequential distortions is achieved using training data representative of a variety of these distortions. However, both these solutions substantially increase the training time. Thus low computation complexity during training is critical for acoustic […]
Why Visualization? Task Abstraction for Analysis and Design

Why Visualization? Task Abstraction for Analysis and Design

1 year ago
People use visualization techniques, tools, and artefacts to consume and produce information relevant to many different application domains or use cases. In my talk, I will argue why it is important to understand visualization as a process centred around tasks, and I will offer my perspectives on what visualization research is all about and where […]