48:03
published on November 25, 2025
Quantum Error Mitigation Driven by Classical Simulations and Evolution Equations
By Oleg Kaikov
53:11
published on October 13, 2025
On expansions of monadic second-order logic with power predicates - Lecture 1
By Joël Ouaknine
59:18
published on October 13, 2025
On expansions of monadic second-order logic with power predicates - Lecture 2
By Joël Ouaknine
01:04:54
published on October 13, 2025
On expansions of monadic second-order logic with power predicates - Lecture 3
By Joël Ouaknine