Professor Christel Baier delivers the Hillary Term 2024 Strachey Lecture Abstract: The classical stochastic shortest path (SSP) problems asks to find a policy for traversing a weighted stochastic graph until reaching a distinguished goal state that minimizes the expected accumulated weight. SSP problems have numerous applications in, e.g., operations researc ... Show More
Oct 27
Advances in Garbled Circuits
MT25 Strachey Lecture - Professor Rafail Ostrovsky: Advances in Garbled Circuits Nearly 40 years ago, Andy Yao proposed the construction of “Garbled Circuits,” which had an enormous impact on the field of secure computation -- both in theory and in practice. In Garbled Circuits, ... Show More
48m 12s
May 2025
Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI
Leo De Moura: Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI How can mathematicians, software developers, and AI systems work together with complete confidence in each other’s contributions? The open-source Lean proof assistant and programming language ... Show More
47m 14s
May 2025
MLG 036 Autoencoders
Auto encoders are neural networks that compress data into a smaller "code," enabling dimensionality reduction, data cleaning, and lossy compression by reconstructing original inputs from this code. Advanced auto encoder types, such as denoising, sparse, and variational auto encod ... Show More
1h 5m
Dec 2021
Omicron Variant, Quantum Computing, Xenobots, SciFri Trivia. Dec 3, 2021, Part 2
<p>Decoding Quantum Computing</p>
<p>The computer chips that are delivering these words to you work on a simple, binary, on/off principle. There’s either a voltage, or there’s not. The ‘bits’ encoded by the presence or absence of electrons form the basis for much of our online wo ... Show More
47m 43s
Oct 2024
E116 - Nassim Haramein: Exploring Our Holographic Universe, Unified Field Theory & The Illusion of Time
<p>Nassim Haramein, a veteran physicist working on one of the most complex and difficult problems in physics, describes his insights into our holographic universe, consciousness, and zero-point energy.</p><p>He discusses fundamental principles of spacetime and the groundbreaking ... Show More
2h 59m
Sep 2024
Generative AI for Protein Engineering - Franziska Geiger | Podcast #131
Franziska Geiger, born in Apfeldorf, Germany, is a talented software developer currently based in Zurich, Switzerland. With a strong background in computer science and a passion for technology, Franziska has made her mark in the tech world, particularly as a software developer at ... Show More
33m 39s