Seminars

A natural model of the sources of randomness one might engineer or obtain in nature is the samplable distribution. Such a distribution is generated by an efficient algorithm or circuit, but may not have much randomness overall, e.g. may not have much entropy.

As the intelligence of everyday smart devices continues to evolve, they can already monitor basic health behaviors such as physical activities and heart rates. The vision of an intelligent health monitoring and intervention pipeline seems to be within reach. How do we get there?

Reliability is crucial for ensuring safe operation and optimizing efficiency in safety-critical applications. Fault-tolerant integrated circuits are central components of reliable microelectronic systems that manage safety-critical applications operating in harsh environments, including Space missions.

Artificial intelligence is moving beyond domain-specific tasks toward systems that integrate perception, reasoning, and action across modalities.

A set displays a (delta, gamma)-proximity gap to a linear code, C, if either all elements are delta-close in relative Hamming distance to a codeword in C or only gamma of them are.

The algebraic structures that feature in constructive, presheaf-based models of homotopy type theory have been studied in two ways: using the diagrammatic reasoning of category theory, and by reasoning with judgements in an internal type theory.

The dynamics of real-world applications and systems require efficient methods for improving infeasible solutions or restoring corrupted ones by making modifications to the current state of a system in a restricted way.

We show that the perfect matching function on $n$-vertex graphs requires monotone circuits of size $2^{n^{\Omega(1)}}$. This improves on the $n^{\Omega(\log n)}$ lower bound of Razborov (1985). Our proof uses the standard approximation method together with a new sunflower lemma for matchings.

*Abstract*
Stay Tuned.

*Bio*