Sciences formelles & physiques Informatique & CybersécuritéFRDinur's PCP: degree-reduction, expanderizing, mini-PCP || @ CMU || Lecture 27c of CS Theory ToolkitRyan O'Donnell23 juillet 2020 25 min★ ★ ★ ★ ☆ 4/5Théorème PCPExpandeursComplexité
Sciences formelles & physiques Informatique & CybersécuritéFRDinur's Proof of the PCP Theorem: outline || @ CMU || Lecture 27b of CS Theory ToolkitRyan O'Donnell22 juillet 2020 29 min★ ★ ★ ★ ☆ 4/5Théorème PCPPreuve De DinurAmplification De Trou
Sciences formelles & physiques Informatique & CybersécuritéFRStatement of the PCP Theorem || @ CMU || Lecture 27a of CS Theory ToolkitRyan O'Donnell21 juillet 2020 14 min★ ★ ★ ★ ☆ 4/5Théorème PCPComplexité AlgorithmiquePreuves Vérifiables Probabilistiquement
Sciences formelles & physiques Informatique & CybersécuritéFRNP-Hardness of Approximation || @ CMU || Lecture 26e of CS Theory ToolkitRyan O'Donnell20 juillet 2020 16 min★ ★ ★ ★ ★ 5/5NP-DuretéApproximationLabel Cover
Sciences formelles & physiques Informatique & CybersécuritéFRIntuition on models and their complexityDr. Eitan Farchi20 juillet 2020 18 min★ ★ ★ ☆ ☆ 3/5ModèleComplexitéSur-Apprentissage
Sciences formelles & physiques Informatique & CybersécuritéFRExponential Time Hypotheses: ETH and SETH || @ CMU || Lecture 26d of CS Theory ToolkitRyan O'Donnell17 juillet 2020 23 min★ ★ ★ ★ ★ 5/5ETHSETHComplexité
Sciences formelles & physiques Informatique & CybersécuritéFRHardness of Random 3XOR and 3Sat || @ CMU || Lecture 26c of CS Theory ToolkitRyan O'Donnell16 juillet 2020 23 min★ ★ ★ ★ ★ 5/5ComplexitéNP-Dureté3SAT
Sciences formelles & physiques Informatique & CybersécuritéFRComputational Indistinguishability || @ CMU || Lecture 25b of CS Theory ToolkitRyan O'Donnell9 juillet 2020 13 min★ ★ ★ ★ ☆ 4/5CryptographieIndistingabilité ComputationnelleHybrid Argument
Sciences formelles & physiques Informatique & CybersécuritéFRInformation Complexity || @ CMU || Lecture 24c of CS Theory ToolkitRyan O'Donnell7 juillet 2020 28 min★ ★ ★ ★ ☆ 4/5Complexité De CommunicationThéorie De L'informationInformatique Théorique
Sciences formelles & physiques Informatique & CybersécuritéFRCayley Path and Quantum SupremacyRamis Movassagh3 juillet 2020 61 min★ ★ ★ ★ ☆ 4/5Suprématie QuantiqueÉchantillonnage De Circuits AléatoiresComplexité
Sciences formelles & physiques Informatique & CybersécuritéFRYao's Minimax Theorem & IP_2's Communication Complexity || @ CMU || Lecture 23d of CS Theory ToolkitRyan O'Donnell2 juillet 2020 19 min★ ★ ★ ★ ★ 5/5Complexité De CommunicationThéorème Minimax De YaoAnalyse De Fourier
Sciences formelles & physiques Informatique & CybersécuritéFRRandomized Communication Complexity || @ CMU || Lecture 23c of CS Theory ToolkitRyan O'Donnell1 juillet 2020 13 min★ ★ ★ ★ ☆ 4/5Complexité De CommunicationRandomisationThéorie De L'information
Sciences appliquées & ingénierie Informatique & CybersécuritéFREngineering the Quantum InternetRodney Van Meter1 juillet 2020 69 min★ ★ ★ ★ ☆ 4/5Quantum InternetRéseaux QuantiquesArchitecture
Sciences formelles & physiques Informatique & CybersécuritéFRDeterministic Communication Complexity || @ CMU || Lecture 23b of CS Theory ToolkitRyan O'Donnell30 juin 2020 37 min★ ★ ★ ★ ★ 5/5Complexité De CommunicationInformatique ThéoriqueProtocoles
Sciences formelles & physiques Informatique & CybersécuritéFRBasics of Communication Complexity || @ CMU || Lecture 23a of CS Theory ToolkitRyan O'Donnell29 juin 2020 19 min★ ★ ★ ★ ★ 5/5Complexité De CommunicationInformatique ThéoriqueAlgorithmes
Sciences formelles & physiques Informatique & CybersécuritéFRGreat Ideas in Theoretical Computer Science: Introduction (Spring 2016) reupload with improved audioRyan O'Donnell28 juin 2020 72 min★ ★ ★ ★ ☆ 4/5Informatique ThéoriqueAlgorithmesComplexité
Sciences formelles & physiques Informatique & CybersécuritéFRA Scalable “Spins-Inside” Quantum Processor and SimulatorProf Lieven Vandersypen27 juin 2020 69 min★ ★ ★ ★ ★ 5/5Quantum ComputingSpin QubitsSilicon
Sciences formelles & physiques Informatique & CybersécuritéFRAlgorithms for Bounded Treewidth || @ CMU || Lecture 22(c) of CS Theory ToolkitRyan O'Donnell26 juin 2020 28 min★ ★ ★ ★ ★ 5/5TreewidthAlgorithmesThéorie Des Graphes
Sciences formelles & physiques Informatique & CybersécuritéFRTreewidth Definitions || @ CMU || Lecture 22b of CS Theory ToolkitRyan O'Donnell25 juin 2020 32 min★ ★ ★ ★ ★ 5/5TreewidthThéorie Des GraphesComplexité Algorithmique
Sciences formelles & physiques Informatique & CybersécuritéFRStrategies for solving the Fermi-Hubbard model on near-term quantum computersLana Mineh24 juin 2020 42 min★ ★ ★ ★ ☆ 4/5Fermi-HubbardOrdinateur QuantiqueVQE
Sciences formelles & physiques Informatique & CybersécuritéFRPseudoexpectations || @ CMU || Lecture 21(d) of CS Theory ToolkitRyan O'Donnell23 juin 2020 13 min★ ★ ★ ★ ☆ 4/5PseudoexpectationsSherali-AdamsSOS
Sciences formelles & physiques Informatique & CybersécuritéFRThe Sum-of-Squares (SOS) Proof System || @ CMU || Lecture 21(c) of CS Theory ToolkitRyan O'Donnell22 juin 2020 22 min★ ★ ★ ★ ★ 5/5Sum-of-SquaresPreuvesOptimisation Combinatoire
Sciences formelles & physiques Informatique & CybersécuritéFRProof Complexity for CSPs || @ CMU || Lecture 21a of CS Theory ToolkitRyan O'Donnell18 juin 2020 12 min★ ★ ★ ★ ☆ 4/5Complexité Des PreuvesCSPProgrammation Linéaire
Sciences formelles & physiques Informatique & CybersécuritéFRCSP Approximability: Optimization and Certification || @ CMU || Lecture 20c of CS Theory ToolkitRyan O'Donnell17 juin 2020 33 min★ ★ ★ ★ ★ 5/5CSPApproximationComplexité
Sciences formelles & physiques Informatique & CybersécuritéFRQSI Seminar: Dr Daniel Grier, U.Waterloo, Quantum Advantage - Interactive Shallow Clifford CircuitsDr Daniel Grier16 juin 2020 59 min★ ★ ★ ★ ☆ 4/5Avantage QuantiqueCircuits De CliffordComplexité
Sciences formelles & physiques Informatique & CybersécuritéFRQSI Seminar: A/Prof Robin Blume-Kohout & Dr Erik Nielsen, Sandia, 12/06/2020Robin Blume-Kohout, Erik Nielsen16 juin 2020 63 min★ ★ ★ ★ ☆ 4/5CrosstalkTomographie QuantiqueProcesseurs Quantiques
Sciences formelles & physiques Informatique & CybersécuritéFRConstraint Satisfaction Problems || @ CMU || Lecture 20b of CS Theory ToolkitRyan O'Donnell16 juin 2020 31 min★ ★ ★ ★ ★ 5/5CSPSatisfiabilitéDichotomie
Sciences formelles & physiques Informatique & CybersécuritéFRGoemans--Williamson: Rounding the Max-Cut SDP || @ CMU || Lecture 20a of CS Theory ToolkitRyan O'Donnell15 juin 2020 31 min★ ★ ★ ★ ★ 5/5Max-CutSDPGoemans-Williamson
Sciences formelles & physiques Informatique & CybersécuritéFRThe SDP Relaxation for Max-Cut || @ CMU || Lecture 19b of CS Theory ToolkitRyan O'Donnell11 juin 2020 33 min★ ★ ★ ★ ★ 5/5Max-CutSDPOptimisation
Sciences appliquées & ingénierie Informatique & CybersécuritéFR[Webinar] Quantum secure communications - with John Prisco (CEO - Quantum Xchange)John Prisco11 juin 2020 40 min★ ★ ★ ★ ☆ 4/5Cryptographie QuantiqueQKDPost-Quantum
Sciences formelles & physiques Informatique & CybersécuritéFRMin-st-Cut is the dual LP of Max-st-Flow || @ CMU || Lecture 18d of CS Theory ToolkitRyan O'Donnell9 juin 2020 19 min★ ★ ★ ★ ★ 5/5Dualité en Programmation LinéaireFlot MaximalCoupe Minimale
Sciences formelles & physiques Informatique & CybersécuritéFREncoding Classical Data into Quantum States for Machine LearningDr Maria Schuld9 juin 2020 57 min★ ★ ★ ★ ★ 5/5Quantum Machine LearningData EncodingQuantum Embeddings
Sciences formelles & physiques Informatique & CybersécuritéFRRounding LP Solutions: Min-Vertex-Cover || @ CMU || Lecture 18c of CS Theory ToolkitRyan O'Donnell8 juin 2020 17 min★ ★ ★ ★ ★ 5/5Programmation LinéaireVertex CoverApproximation
Sciences formelles & physiques Informatique & CybersécuritéFR[Webinar] Quantum Computing reference framework: Christian Mastrodonato, Digital CatapultChristian Mastrodonato6 juin 2020 43 min★ ★ ★ ★ ☆ 4/5Informatique QuantiqueQuantum ComputingIndustrie
Sciences formelles & physiques Informatique & CybersécuritéFRRelaxing ILPs to LPs: Bipartite Max-Perfect-Matching || @ CMU || Lecture 18b of CS Theory ToolkitRyan O'Donnell5 juin 2020 28 min★ ★ ★ ★ ★ 5/5Programmation LinéaireCouplage ParfaitGraphe Biparti
Sciences formelles & physiques Informatique & CybersécuritéFRQSI Seminar: Dr Kai-Min Chung, A.Sinica, How well can a classical client delegate quantum comput'n?Dr Kai-Min Chung2 juin 2020 65 min★ ★ ★ ★ ☆ 4/5Quantum ComputingDelegationVerification
Sciences formelles & physiques Informatique & CybersécuritéFRQSI Seminar: Dr Gerardo Paz Silva, Griffith U, Noise Cancellation and your quantum computer 27/05/20Dr Gerardo Paz Silva26 mai 2020 69 min★ ★ ★ ★ ☆ 4/5Bruit QuantiqueSpectroscopie De BruitOrdinateur Quantique
Sciences formelles & physiques Informatique & CybersécuritéFRQSI Seminar: Prof Sergio Boixo, Google Research, LA, Quantum Supremacy, 05/04/2020Prof Sergio Boixo6 mai 2020 71 min★ ★ ★ ★ ☆ 4/5Suprématie QuantiqueProcesseur SupraconducteurÉchantillonnage
Sciences formelles & physiques Informatique & CybersécuritéFRExpander Graph Application 2: Derandomization || @ CMU || Lecture 16c of CS Theory ToolkitRyan O'Donnell4 mai 2020 22 min★ ★ ★ ★ ☆ 4/5Graphes ExpanseursDérandomisationComplexité
Sciences formelles & physiques Informatique & CybersécuritéFRCheeger's Inequality || @ CMU || Lecture 15d of CS Theory ToolkitRyan O'Donnell3 mai 2020 61 min★ ★ ★ ★ ★ 5/5Inégalité De CheegerThéorie Spectrale Des GraphesConductance
![[Webinar] Quantum secure communications - with John Prisco (CEO - Quantum Xchange)](https://i.ytimg.com/vi/bLcwsYSvsm8/maxresdefault.jpg)
![[Webinar] Quantum Computing reference framework: Christian Mastrodonato, Digital Catapult](https://i.ytimg.com/vi/gELLm9GmBFA/maxresdefault.jpg)
