Informatique théorique

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

5 SAT Problems (English)

4 P, NP, NP completeness (English)

13 Approximability and Decidability (English)

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

QEC and Quantum Information Theory: Lecture 17 Fault-tolerant Quantum Computing

QEC et théorie de l'information quantique : Leçon 17 Calcul quantique tolérant aux fautes

#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

Surface codes: Towards practical large-scale quantum computation

Codes de surface : Vers le calcul quantique pratique à grande échelle

Quantum Finite Automata: A Modern Introduction

Automates finis quantiques : une introduction moderne

Polynomial Nonlinear Algorithms for NP & #P Problems

Algorithmes non linéaires polynomiaux pour les problèmes NP et #P

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

Quantum Computation and Quantum Information: Lecture 37 (Fourier transform and phase-estimation)

Calcul quantique et information quantique : Leçon 37 (Transformée de Fourier et estimation de phase)

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

Panteleev--Kalachev Codes: Asymptotically good quantum LDPC codes and classical LTCs

Codes Panteleev--Kalachev : Codes LDPC quantiques asymptotiquement bons et LTC classiques

The Switching Lemma

Le Lemme de Commutation

IQIS Lecture 6.2 — Abstract computation and reversible computation

Cours IQIS 6.2 — Calcul abstrait et calcul réversible

P=NP?

AQIS '20: Zhengfeng Ji, Spooky complexity at a distance

AQIS '20: Zhengfeng Ji, Complexité effrayante à distance

AQIS '20: François Le Gall, Average-Case Quantum Advantage with Shallow Circuits

AQIS '20: François Le Gall, Avantage quantique dans le cas moyen avec des circuits peu profonds

Noisy Variational Quantum Algorithm Simulation lecture by Yipeng Huang

Simulation d'algorithme quantique variationnel bruyant conférence par Yipeng Huang

Dinur's proof of the PCP Theorem: the Powering step || @ CMU || Lecture 27d of CS Theory Toolkit

La preuve de Dinur du théorème PCP : l'étape de puissance || @ CMU || Cours 27d de CS Theory Toolkit

Dinur's PCP: degree-reduction, expanderizing, mini-PCP || @ CMU || Lecture 27c of CS Theory Toolkit

PCP de Dinur : réduction de degré, expansion, mini-PCP || @ CMU || Cours 27c du CS Theory Toolkit

Dinur's Proof of the PCP Theorem: outline || @ CMU || Lecture 27b of CS Theory Toolkit

Preuve de Dinur du théorème PCP : plan || @ CMU || Leçon 27b de CS Theory Toolkit

Statement of the PCP Theorem || @ CMU || Lecture 27a of CS Theory Toolkit

Énoncé du théorème PCP || @ CMU || Cours 27a du kit d'outils de théorie CS

NP-Hardness of Approximation || @ CMU || Lecture 26e of CS Theory Toolkit

NP-difficulté de l'approximation || @ CMU || Cours 26e du kit d'outils de théorie informatique