Analysis of Boolean Functions: advances and challenges
Analysis of Boolean functions is a meeting point of combinatorics, probability theory, harmonic analysis, and the theory of computing. The lecture will describe some advances and challenges in this area. We will discuss discrete isoperimetric inequalities, influences, threshold phenomena for stochastic models, and noise-sensitivity as well as some connections with social choice theory.
Speaker Details
Gil Kalai is Professor of Mathematics at the Hebrew University of Jerusalem, He was the recipient of the Pólya Prize in 1992, the Erdos Prize of the Israel Mathematical Society in 1993, and the Fulkerson Prize in 1994. He is known for finding variants of the simplex algorithm that can be proven to run in subexponential time, for showing that every monotone property of graphs has a sharp phase transition and for solving Borsuk’s conjecture on the number of pieces needed to partition convex sets into subsets of smaller diameter and for other fundamental work in combinatorics and convexity.
- Series:
- Microsoft Research Talks
- Date:
- Speakers:
- Gil Kalai
- Affiliation:
- Hebrew University
-
-
Jeff Running
-
Series: Microsoft Research Talks
-
Galea: The Bridge Between Mixed Reality and Neurotechnology
Speakers:- Eva Esteban,
- Conor Russomanno
-
Current and Future Application of BCIs
Speakers:- Christoph Guger
-
Challenges in Evolving a Successful Database Product (SQL Server) to a Cloud Service (SQL Azure)
Speakers:- Hanuma Kodavalla,
- Phil Bernstein
-
Improving text prediction accuracy using neurophysiology
Speakers:- Sophia Mehdizadeh
-
-
DIABLo: a Deep Individual-Agnostic Binaural Localizer
Speakers:- Shoken Kaneko
-
-
Recent Efforts Towards Efficient And Scalable Neural Waveform Coding
Speakers:- Kai Zhen
-
-
Audio-based Toxic Language Detection
Speakers:- Midia Yousefi
-
-
From SqueezeNet to SqueezeBERT: Developing Efficient Deep Neural Networks
Speakers:- Sujeeth Bharadwaj
-
-
-
-
-
-
'F' to 'A' on the N.Y. Regents Science Exams: An Overview of the Aristo Project
Speakers:- Peter Clark
-
Checkpointing the Un-checkpointable: the Split-Process Approach for MPI and Formal Verification
Speakers:- Gene Cooperman
-
-
-
-
The Worst Form Including All Those Others: Canada’s Experiments with Online Voting
Speakers:- Aleksander Essex
-
How Not to Prove Your Election Outcome
Speakers:- Vanessa Teague
-
Dashboard Mechanisms for Online Marketplaces
Speakers:- Jason Hartline