# Past Events

# Optimal Control and the Hamilton-Jacobi-Bellman PDE

## Organisers:

## Time:

## Venue:

The notion of control can be thought of as the process of selection of a policy to influence the dynamics of a system in order to achieve a desired objective.

# Maximum Matching in the Semi-Streaming Model in Constant Number of Passes

## Organisers:

## Time:

## Venue:

We consider the maximum matching problem in the semi-streaming model formalized by Feigenbaum et al.

# New Constructions for Reusable Garbled Circuits

## Speaker:

## Organisers:

## Time:

## Venue:

## Webpage:

Garbled circuits are a central primitive in cryptography. Intuitively, a garbled circuit enables its holder to evaluate a circuit on an input, so that the evaluator learns the output but learns nothing about the circuit or the input.

# Membership Problem in Bit Probe Model

## Speaker:

## Organisers:

## Time:

## Venue:

Storing sets is a common problem in Computer Science.

# The Critical Exponent: A Novel Graph Invariant

## Speaker:

## Organisers:

## Time:

## Venue:

## Webpage:

Given a graph $G$, let $\mathbb{P}_G$ denote the cone of positive semidefinite (psd) matrices, with non-negative entries, and zeros according to $G$. Which powers preserve psd-ness when applied entrywise to all matrices in $\mathbb{P}_G$?

# On the Fourier Spectrum of MOD Functions

## Organisers:

## Time:

## Venue:

We use exponential sums to analyze the Fourier spectrum of functions of the type MOD_m^A (with output in {-1, 1}), for any constant m, and a general accepting set A. We will then see how this yields lower bounds on the number of monomials require

# Towards A Theory to Deal With Smartness

## Speaker:

## Time:

## Venue:

## Webpage:

# Probabilistic Graphical Models and Phase Transitions

# Possible and Impossible Cells

## Speaker:

## Organisers:

## Time:

## Venue:

## Webpage:

We study the logistics system of eukaryotic cells, whose warehouses are micron-scale "organelles" and whose trucks are 10-nanometer-scale "vesicles". Organelles form the nodes and vesicle fluxes form the edges of a transport graph.