Informatique théorique

PUSHDOWN AUTOMATA | THEORY OF AUTOMATA AND FORMAL LANGUAGES | LECTURE 02 BY MR. AMIT GOEL | AKGEC

AUTOMATES À PILE | THÉORIE DES AUTOMATES ET LANGAGES FORMELS | LEÇON 02 PAR M. AMIT GOEL | AKGEC

Quantum Algorithms Pt. 4 Optimization | Sabina Dragoi |QGSS26

Algorithmes quantiques partie 4 : Optimisation | Sabina Dragoi | QGSS26

Lec 28: CTL Encoding Exmaples

Lec 28 : Exemples de codage CTL

Lec 25: LTL_ Equivalence of Formulas, Adequate Set, Encoding Examples

Lec 25 : LTL_ Équivalence des formules, ensemble adéquat, exemples d'encodage

Relation Algebra and the Limits of What Computers Can Decide Jas Semrl FAI CDT

Algèbre des relations et les limites de ce que les ordinateurs peuvent décider Jas Semrl FAI CDT

Lec 24: LTL Encoding Examples

Lec 24: Exemples d'encodage LTL

Lec 23: LTL: Syntax and Semantics

Lec 23: LTL: Syntaxe et Sémantique

Sampling from the Sherrington-Kirkpatrick model up to β＜1/2

Échantillonnage du modèle de Sherrington-Kirkpatrick jusqu'à β＜1/2

FINITE AUTOMATA | THEORY OF AUTOMATA & FORMAL LANGUAGES | LECTURE 01 MS. VIBHA SRIVASTAVA | AKGEC

AUTOMATES FINIS | THÉORIE DES AUTOMATES ET LANGAGES FORMELS | COURS 01 MME VIBHA SRIVASTAVA | AKGEC

Ground Energy estimation of Quantum Impurity model is in BQP

Estimation de l'énergie fondamentale du modèle d'impureté quantique dans BQP

Gap Amplification for Local Hamiltonians with Combinatorial Soundness

Amplification de gap pour les hamiltoniens locaux avec solidité combinatoire

Yang Wang: On regular copying languages

Yang Wang : À propos des langues à réduplication régulière

Classical algorithms for quantum Gibbs states

Algorithmes classiques pour les états de Gibbs quantiques

Two classical oracle separations between QMA and QCMA

Deux séparations par oracle classique entre QMA et QCMA

Fault-Tolerance Against Adversarial Errors & PCPs

Tolérance aux pannes face aux erreurs adverses et PCP

École d'été | 10 juin 2026: Applications of SAT Solvers par Joao Marques-Silva

École d'été | 10 juin 2026 : Bridging Theory and Practice with SAT and MaxSAT par Ruben Martins

École d'été | 10 juin 2026 : Boolean Is Not Too Restrictive par Pouya Shati

How Hard is too Hard? An Introduction to Complexity - Colva Roney-Dougal

À quel point est-ce trop difficile ? Une introduction à la complexité - Colva Roney-Dougal

2.7.2 The minimisation of finite automata: the formal construction

2.7.2 La minimisation des automates finis : la construction formelle

2.3.1 What is a finite automaton?

2.3.1 Qu'est-ce qu'un automate fini ?

LIMDD A Decision Diagram for Simulation of Quantum Computing Including Stabilizer States

LIMDD Un diagramme de décision pour la simulation de l'informatique quantique incluant les états stabilisateurs

Venkatesan Guruswami | Polylogues

On the Complexity of Decoded Quantum Interferometry

Sur la complexité de l'interférométrie quantique décodée

Prof. Jeremy Avigad | The Lean Theorem Prover

Prof. Jeremy Avigad | Le Prouveur de Théorèmes Lean

No Entendiste El Juego De La Vida (Hasta Ver ESTE Video)

Tu N'as Pas Compris Le Jeu De La Vie (Jusqu'à Voir CETTE Vidéo)

Lightning Talks by Simons Institute Fellows

Conférences éclair des boursiers de l’Institut Simons

Forum Numerica - Andrea CLEMENTI - Investigating the collective behaviour of elementary agents

Les Machines de Turing

Computation and the Foundations of Physics, Mathematics and AI

Calcul et fondements de la physique, des mathématiques et de l'IA

This Forgotten Idea Is Taking Over Computing

Cette idée oubliée est en train de conquérir l'informatique

Models of Computation

Modèles de calcul

Lecture 4: State Machines

Cours 4 : Machines à états finis

Lecture 1: Interactive Proofs and the Sum-Check Protocol, Part 1

Cours 1 : Preuves interactives et protocole de vérification de somme, partie 1

Irit Dinur | Polylogues

#69/100: The order of measuring doesn't matter || Quantum Computer Programming in 100 Easy Lessons

#69/100: L'ordre de la mesure n'a pas d'importance || Programmation d'ordinateurs quantiques en 100 leçons faciles

#54/100 Grover's Algorithm, Part 1 || Quantum Computer Programming in 100 Easy Lessons

#54/100 Algorithme de Grover, Partie 1 || Programmation d'ordinateur quantique en 100 leçons faciles

Random Reversible Circuits || For Tim Gowers's 60th Birthday Workshop

Random Reversible Circuits || Pour l'atelier du 60e anniversaire de Tim Gowers

A problem re the k-Consistency Algorithm for CSPs || @ CMU || Recitation 11 of CS Theory Toolkit

Un problème concernant l'algorithme de k-Consistance pour les CSPs || @ CMU || Récitation 11 de CS Theory Toolkit

Moments, Concentration, and Initializing an Array || @ CMU || Recitation 4 of CS Theory Toolkit

Moments, Concentration, et Initialisation d'un Tableau || @ CMU || Récitation 4 de la Boîte à Outils de Théorie CS