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é
★
★
★
★
☆
4/5
Informatique & Cybersécurité
QSI Seminar: Prof Lieven Vandersypen, QuTech, Delft U, 25/06/2020
Séminaire QSI : Prof. Lieven Vandersypen, QuTech, Université de Delft, 25/06/2020
★
★
★
★
★
5/5
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
★
★
★
★
★
5/5
Treewidth Definitions || @ CMU || Lecture 22b of CS Theory Toolkit
Définitions de Treewidth || @ CMU || Lecture 22b de CS Theory Toolkit
★
★
★
★
★
5/5
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
★
★
★
★
☆
4/5
Pseudoexpectations || @ CMU || Lecture 21(d) of CS Theory Toolkit
Pseudo-espérances || @ CMU || Cours 21(d) du module d'outils théoriques en informatique
★
★
★
★
☆
4/5
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
★
★
★
★
★
5/5
Proof Complexity for CSPs || @ CMU || Lecture 21a of CS Theory Toolkit
Complexité des preuves pour les CSP || @ CMU || Cours 21a de CS Theory Toolkit
★
★
★
★
☆
4/5
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
★
★
★
★
★
5/5
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
★
★
★
★
☆
4/5
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
★
★
★
★
☆
4/5
Constraint Satisfaction Problems || @ CMU || Lecture 20b of CS Theory Toolkit
Problèmes de satisfaction de contraintes || @ CMU || Conférence 20b de CS Theory Toolkit
★
★
★
★
★
5/5
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
★
★
★
★
★
5/5
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
★
★
★
★
★
5/5
![[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)
★
★
★
★
☆
4/5
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
★
★
★
★
★
5/5
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
★
★
★
★
★
5/5
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
★
★
★
★
★
5/5
![[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
★
★
★
★
☆
4/5
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
★
★
★
★
★
5/5
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 ?
★
★
★
★
☆
4/5
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
★
★
★
★
☆
4/5
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
★
★
★
★
☆
4/5
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
★
★
★
★
☆
4/5
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
★
★
★
★
★
5/5
QSI Seminar: Dr Chris Granade, Microsoft, 01/05/2020
Séminaire QSI : Dr Chris Granade, Microsoft, 01/05/2020
★
★
★
★
☆
4/5
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
★
★
★
★
☆
4/5
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
★
★
★
★
☆
4/5
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
★
★
★
★
☆
4/5
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
★
★
★
★
☆
4/5
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
★
★
★
★
☆
4/5
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
★
★
★
★
★
5/5
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
★
★
★
★
★
5/5
Communication Complexity of Equality || @ CMU || Lecture 10d of CS Theory Toolkit
Complexité de communication de l'égalité || @ CMU || Cours 10d du CS Theory Toolkit
★
★
★
★
★
5/5
Grover's Algorithm || @ CMU || Lecture 9c of CS Theory Toolkit
Algorithme de Grover || @ CMU || Cours 9c de CS Theory Toolkit
★
★
★
★
☆
4/5
Axioms of Quantum Computing || @ CMU || Lecture 9b of CS Theory Toolkit
Axiomes de l'informatique quantique || @ CMU || Conférence 9b de CS Theory Toolkit
★
★
★
★
★
5/5
Quantum Computing Overview || @ CMU || Lecture 9a of CS Theory Toolkit
Aperçu de l'informatique quantique || @ CMU || Conférence 9a de la boîte à outils de théorie CS
★
★
★
★
☆
4/5
Analysis of Boolean functions: Applications || @ CMU || Lecture 8c of CS Theory Toolkit
Analyse des fonctions booléennes : Applications || @ CMU || Leçon 8c de la boîte à outils de théorie CS
★
★
★
★
☆
4/5
Boolean Fourier formulas || @ CMU || Lecture 8b of CS Theory Toolkit
Formules de Fourier booléennes || @ CMU || Conférence 8b du CS Theory Toolkit
★
★
★
★
★
5/5
Fourier Analysis of Boolean functions || @ CMU || Lecture 8a of CS Theory Toolkit
Analyse de Fourier des fonctions booléennes || @ CMU || Cours 8a de la boîte à outils de théorie CS
★
★
★
★
★
5/5