logo
episode-header-image
Feb 2024
57m 9s

Strachey Lecture: From classical to non-...

OXFORD UNIVERSITY
About this episode
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
Up next
Sep 2023
Strachey Lecture: Use or Be Used - Regaining Control of AI
It’s said that Henry Ford’s customers wanted a “a faster horse”. If Henry Ford was selling us artificial intelligence today, what would the customer call for, “a smarter human”? That’s certainly the picture of machine intelligence we find in science fiction narratives, but the re ... Show More
50m 26s
Oct 2025
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
Will Computers prove theorems?
Kevin Buzzard: Will Computers prove theorems? Will computers one day replace human mathematicians? Is this just around the corner, or decades away? Can neural networks spot patterns which humans have missed? Currently language models are great for brainstorming big ideas but are ... Show More
46m 25s
Recommended Episodes
Aug 2025
PQC & Math Culture with Krystal A. Maughan [UVM], [RQS - QSim]
Before you listen! Helpful Acronyms to deal with the jargon: - PQC = Post Quantum Cryptography, area within quantum computing & cryptography where researchers are developing quantum-safe protocols resilient against quantum cryptography attacks. - LDPC Codes = Low Density Parity C ... Show More
47m 44s
Oct 2024
La suprématie quantique
<p>La suprématie quantique est un concept qui désigne le moment où un ordinateur quantique effectue un calcul qu’un ordinateur classique ne peut pas réaliser en un temps raisonnable. Ce terme a été popularisé par John Preskill, un physicien théoricien, en 2012. Il symbolise une é ... Show More
2m 42s
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 2024
Nassim Haramein | Learn To Harness The Power Of The Universe
<p>Nassim Haramein was born in 1962 in Geneva, Switzerland. Haramein’s father was a scholar at the University of Geneva completing a thesis under the guidance of the notable Jean Piaget, considered one of the fathers of child psychology. Although offered a position at the prestig ... Show More
1h 22m
Jul 2015
Deliberation welcomes prediction
Alan Hájek (Australian National University) gives a talk for the New Insights seminar series on 21st May 2015. Abstract: A number of prominent authors—Levi, Spohn, Gilboa, Seidenfeld, and Price among them—hold that rational agents cannot assign subjective probabilities to their o ... Show More
1h 37m
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
May 2025
Séminaire - Immanuel Bloch : Quantum Simulation and Quantum Computing with Fermions
Antoine GeorgesPhysique de la matière condenséeAnnée 2024-2025Fermions froids et simulation quantiqueSéminaire - Immanuel Bloch : Quantum Simulation and Quantum Computing with FermionsImmanuel BlochMax Planck Institute et LMU, MunichRésuméQuantum simulation has emerged as an inte ... Show More
1 h
Apr 2024
271 | Claudia de Rham on Modifying General Relativity
Einstein's theory of general relativity has been our best understanding of gravity for over a century, withstanding a variety of experimental challenges of ever-increasing precision. But we have to be open to the possibility that general relativity -- even at the classical level, ... Show More
1h 21m
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
Jul 2021
A Chance at Immortality - with Marcus Du Sautoy
Mathematical greatness can strike at any time - even on the train between Oxford and London. Marcus is the Simonyi Professor for the Public Understanding of Science at Oxford University - https://www.simonyi.ox.ac.uk Marcus' author page on Amazon - https://amzn.to/3eJNd1Z I is ... Show More
51m 29s