
Informatique & Cybersécurité


QSI Seminar: Ramis Movassagh, MIT-IBM Watson AI Lab, Cayley Path and Quantum Supremacy, 03/07/2020
Séminaire QSI : Ramis Movassagh, MIT-IBM Watson AI Lab, Chemin de Cayley et suprématie quantique, 03/07/2020

Yao's Minimax Theorem & IP_2's Communication Complexity || @ CMU || Lecture 23d of CS Theory Toolkit
Le théorème Minimax de Yao et la complexité de communication d'IP_2 || @ CMU || Leçon 23d du CS Theory Toolkit

Randomized Communication Complexity || @ CMU || Lecture 23c of CS Theory Toolkit
Complexité de communication aléatoire || @ CMU || Leçon 23c de la boîte à outils de théorie CS

QSI Seminar: Prof. Rodney Van Meter, Keio University, Engineering the Quantum Internet, 30/06/2020
Séminaire QSI : Prof. Rodney Van Meter, Université Keio, Ingénierie de l'Internet quantique, 30/06/2020

Deterministic Communication Complexity || @ CMU || Lecture 23b of CS Theory Toolkit
Complexité de Communication Déterministe || @ CMU || Cours 23b de CS Theory Toolkit

Basics of Communication Complexity || @ CMU || Lecture 23a of CS Theory Toolkit
Bases de la complexité de la communication || @ CMU || Conférence 23a du CS Theory Toolkit

Great Ideas in Theoretical Computer Science: Introduction (Spring 2016) reupload with improved audio
Grandes idées en informatique théorique : Introduction (printemps 2016) réuploadé avec un son amélioré

QSI Seminar: Prof Lieven Vandersypen, QuTech, Delft U, 25/06/2020
Séminaire QSI : Prof. Lieven Vandersypen, QuTech, Université de Delft, 25/06/2020

Algorithms for Bounded Treewidth || @ CMU || Lecture 22(c) of CS Theory Toolkit
Algorithmes pour une largeur arborescente bornée || @ CMU || Cours 22(c) du CS Theory Toolkit

Treewidth Definitions || @ CMU || Lecture 22b of CS Theory Toolkit
Définitions de Treewidth || @ CMU || Lecture 22b de CS Theory Toolkit

QSI Seminar: Lana Mineh, U.Bristol, Solving the Fermi-Hubbard Model on Near-Term Q.Computers 24/06
Séminaire QSI : Lana Mineh, U.Bristol, Résoudre le modèle de Fermi-Hubbard sur les ordinateurs quantiques à court terme 24/06

Pseudoexpectations || @ CMU || Lecture 21(d) of CS Theory Toolkit
Pseudo-espérances || @ CMU || Cours 21(d) du module d'outils théoriques en informatique

The Sum-of-Squares (SOS) Proof System || @ CMU || Lecture 21(c) of CS Theory Toolkit
Le système de preuve de Somme de Carrés (SOS) || @ CMU || Conférence 21(c) de CS Theory Toolkit

Proof Complexity for CSPs || @ CMU || Lecture 21a of CS Theory Toolkit
Complexité des preuves pour les CSP || @ CMU || Cours 21a de CS Theory Toolkit

CSP Approximability: Optimization and Certification || @ CMU || Lecture 20c of CS Theory Toolkit
Approximabilité de CSP : Optimisation et Certification || @ CMU || Cours 20c de la boîte à outils de théorie CS

QSI Seminar: Dr Daniel Grier, U.Waterloo, Quantum Advantage - Interactive Shallow Clifford Circuits
Séminaire QSI : Dr Daniel Grier, U.Waterloo, Avantage quantique - Circuits Clifford superficiels interactifs

QSI Seminar: A/Prof Robin Blume-Kohout & Dr Erik Nielsen, Sandia, 12/06/2020
Séminaire QSI : Pr adj. Robin Blume-Kohout et Dr Erik Nielsen, Sandia, 12/06/2020

Constraint Satisfaction Problems || @ CMU || Lecture 20b of CS Theory Toolkit
Problèmes de satisfaction de contraintes || @ CMU || Conférence 20b de CS Theory Toolkit

Goemans--Williamson: Rounding the Max-Cut SDP || @ CMU || Lecture 20a of CS Theory Toolkit
Goemans--Williamson: Arrondi du SDP de Max-Cut || @ CMU || Leçon 20a du CS Theory Toolkit

The SDP Relaxation for Max-Cut || @ CMU || Lecture 19b of CS Theory Toolkit
La relaxation SDP pour Max-Cut || @ CMU || Conférence 19b de CS Theory Toolkit
![[Webinar] Quantum secure communications - with John Prisco (CEO - Quantum Xchange)](https://i.ytimg.com/vi/bLcwsYSvsm8/maxresdefault.jpg)
[Webinar] Quantum secure communications - with John Prisco (CEO - Quantum Xchange)
[Webinaire] Quantum secure communications - avec John Prisco (CEO - Quantum Xchange)

QSI Seminar: Dr Maria Schuld, Xanadu, Encoding Classical Data into Quantum States for ML, 05/06/2020
Séminaire QSI : Dr Maria Schuld, Xanadu, Encodage de données classiques en états quantiques pour le ML, 05/06/2020

Min-st-Cut is the dual LP of Max-st-Flow || @ CMU || Lecture 18d of CS Theory Toolkit
Min-st-Cut est le programme linéaire dual de Max-st-Flow || @ CMU || Cours 18d du CS Theory Toolkit

Rounding LP Solutions: Min-Vertex-Cover || @ CMU || Lecture 18c of CS Theory Toolkit
Arrondir les solutions LP : Min-Vertex-Cover || @ CMU || Cours 18c de CS Theory Toolkit
![[Webinar] Quantum Computing reference framework: Christian Mastrodonato, Digital Catapult](https://i.ytimg.com/vi/gELLm9GmBFA/maxresdefault.jpg)
[Webinar] Quantum Computing reference framework: Christian Mastrodonato, Digital Catapult
[Webinaire] Cadre de référence de l'informatique quantique : Christian Mastrodonato, Digital Catapult

Relaxing ILPs to LPs: Bipartite Max-Perfect-Matching || @ CMU || Lecture 18b of CS Theory Toolkit
Relaxation des ILP en LP : Bipartite Max-Perfect-Matching || @ CMU || Leçon 18b du CS Theory Toolkit

QSI Seminar: Dr Kai-Min Chung, A.Sinica, How well can a classical client delegate quantum comput'n?
Séminaire QSI : Dr Kai-Min Chung, A.Sinica, dans quelle mesure un client classique peut-il déléguer le calcul quantique ?

QSI Seminar: Dr Gerardo Paz Silva, Griffith U, Noise Cancellation and your quantum computer 27/05/20
Séminaire QSI : Dr Gerardo Paz Silva, Griffith U, Annulation du bruit et votre ordinateur quantique 27/05/20

QSI Seminar: Prof Sergio Boixo, Google Research, LA, Quantum Supremacy, 05/04/2020
Séminaire QSI : Prof Sergio Boixo, Google Research, LA, Suprématie quantique, 05/04/2020

Expander Graph Application 2: Derandomization || @ CMU || Lecture 16c of CS Theory Toolkit
Application Expander Graph 2 : Dérandomisation || @ CMU || Cours 16c du module CS Theory Toolkit

Cheeger's Inequality || @ CMU || Lecture 15d of CS Theory Toolkit
Inégalité de Cheeger || @ CMU || Cours 15d du module d'outils de théorie informatique

QSI Seminar: Dr Chris Granade, Microsoft, 01/05/2020
Séminaire QSI : Dr Chris Granade, Microsoft, 01/05/2020

QSI Seminar: Dr Joe Fitzsimons, Horizon Quantum Computing, Abstracting Quantum Computation 28/04/'20
Séminaire QSI : Dr Joe Fitzsimons, Horizon Quantum Computing, Abstraction du calcul quantique 28/04/'20

Epsilon-biased Generators || @ CMU || Lecture 12d of CS Theory Toolkit
Générateurs à polarisation epsilon || @ CMU || Cours 12d du module d'outils de théorie informatique

k-wise Independent Generators || @ CMU || Lecture 12c of CS Theory Toolkit
Générateurs indépendants k-sages || @ CMU || Leçon 12c de la boîte à outils de théorie CS

Impagliazzo--Wigderson, and Nisan's PRGs || @ CMU || Lecture 12b of CS Theory Toolkit
Impagliazzo--Wigderson, et les PRG de Nisan || @ CMU || Conférence 12b du kit d'outils de théorie CS

Pseudorandom Generators || @ CMU || Lecture 12a of CS Theory Toolkit
Générateurs pseudo-aléatoires || @ CMU || Cours 12a du module d'outils théoriques en informatique

CQC2T Colloquium/QSI Seminar: Prof Zhengfeng Ji, QSI, Spooky Complexity at a Distance, 26/03/2020
Colloque CQC2T/Séminaire QSI : Prof. Zhengfeng Ji, QSI, Complexité effrayante à distance, 26/03/2020

Multivariate Polynomials and the Schwartz--Zippel Lemma || @ CMU || Lecture 10e of CS Theory Toolkit
Polynômes multivariés et le lemme de Schwartz--Zippel || @ CMU || Leçon 10e du CS Theory Toolkit