Formal & Physical Sciences Computing & CybersecurityENBasics of Communication Complexity || @ CMU || Lecture 23a of CS Theory ToolkitRyan O'DonnellJune 29, 2020 19 min★ ★ ★ ★ ★ 5/5Communication ComplexityTheory of ComputationLower Bounds
Formal & Physical Sciences Computing & CybersecurityENGreat Ideas in Theoretical Computer Science: Introduction (Spring 2016) reupload with improved audioRyan O'DonnellJune 28, 2020 72 min★ ★ ★ ★ ★ 5/5Theoretical Computer ScienceAlgorithmsComputation
Formal & Physical Sciences Computing & CybersecurityENQSI Seminar: Prof Lieven Vandersypen, QuTech, Delft U, 25/06/2020Prof Lieven VandersypenJune 27, 2020 69 min★ ★ ★ ★ ☆ 4/5Quantum ComputingSpin QubitsSilicon Quantum Dots
Formal & Physical Sciences Computing & CybersecurityENAlgorithms for Bounded Treewidth || @ CMU || Lecture 22(c) of CS Theory ToolkitRyan O'DonnellJune 26, 2020 28 min★ ★ ★ ★ ★ 5/5TreewidthGraph AlgorithmsDynamic Programming
Formal & Physical Sciences Computing & CybersecurityENTreewidth Definitions || @ CMU || Lecture 22b of CS Theory ToolkitRyan O'DonnellJune 25, 2020 32 min★ ★ ★ ★ ★ 5/5TreewidthGraph TheoryTheoretical Computer Science
Formal & Physical Sciences Computing & CybersecurityENQSI Seminar: Lana Mineh, U.Bristol, Solving the Fermi-Hubbard Model on Near-Term Q.Computers 24/06Lana MinehJune 24, 2020 42 min★ ★ ★ ★ ☆ 4/5Fermi-Hubbard ModelVariational Quantum EigensolverNear-Term Quantum Computing
Formal & Physical Sciences Computing & CybersecurityENPseudoexpectations || @ CMU || Lecture 21(d) of CS Theory ToolkitRyan O'DonnellJune 23, 2020 13 min★ ★ ★ ★ ☆ 4/5PseudoexpectationsSherali-AdamsSOS
Formal & Physical Sciences Computing & CybersecurityENThe Sum-of-Squares (SOS) Proof System || @ CMU || Lecture 21(c) of CS Theory ToolkitRyan O'DonnellJune 22, 2020 22 min★ ★ ★ ★ ☆ 4/5Sum-of-SquaresProof SystemsSemidefinite Programming
Formal & Physical Sciences Computing & CybersecurityENProof Complexity for CSPs || @ CMU || Lecture 21a of CS Theory ToolkitRyan O'DonnellJune 18, 2020 12 min★ ★ ★ ★ ☆ 4/5Proof ComplexityConstraint SatisfactionLinear Programming
Formal & Physical Sciences Computing & CybersecurityENCSP Approximability: Optimization and Certification || @ CMU || Lecture 20c of CS Theory ToolkitRyan O'DonnellJune 17, 2020 33 min★ ★ ★ ★ ★ 5/5CSPApproximation AlgorithmsCertification
Formal & Physical Sciences Computing & CybersecurityENQSI Seminar: Dr Daniel Grier, U.Waterloo, Quantum Advantage - Interactive Shallow Clifford CircuitsDr Daniel GrierJune 16, 2020 59 min★ ★ ★ ★ ☆ 4/5Quantum ComputingComplexity TheoryClifford Circuits
Formal & Physical Sciences Computing & CybersecurityENQSI Seminar: A/Prof Robin Blume-Kohout & Dr Erik Nielsen, Sandia, 12/06/2020Robin Blume-Kohout and Erik NielsenJune 16, 2020 63 min★ ★ ★ ★ ☆ 4/5Quantum ComputingCrosstalkQuantum Error Characterization
Formal & Physical Sciences Computing & CybersecurityENConstraint Satisfaction Problems || @ CMU || Lecture 20b of CS Theory ToolkitRyan O'DonnellJune 16, 2020 31 min★ ★ ★ ★ ★ 5/5Constraint Satisfaction ProblemsDichotomy TheoremTheoretical Computer Science
Formal & Physical Sciences Computing & CybersecurityENGoemans--Williamson: Rounding the Max-Cut SDP || @ CMU || Lecture 20a of CS Theory ToolkitRyan O'DonnellJune 15, 2020 31 min★ ★ ★ ★ ★ 5/5Max-CutSDPGoemans-Williamson
Formal & Physical Sciences Computing & CybersecurityENThe SDP Relaxation for Max-Cut || @ CMU || Lecture 19b of CS Theory ToolkitRyan O'DonnellJune 11, 2020 33 min★ ★ ★ ★ ★ 5/5SDPMax-CutSemidefinite Programming
Applied Sciences & Engineering Computing & CybersecurityEN[Webinar] Quantum secure communications - with John Prisco (CEO - Quantum Xchange)John PriscoJune 11, 2020 40 min★ ★ ★ ☆ ☆ 3/5Quantum CryptographyQKDPost-Quantum Cryptography
Formal & Physical Sciences Computing & CybersecurityENQSI Seminar: Dr Maria Schuld, Xanadu, Encoding Classical Data into Quantum States for ML, 05/06/2020Dr Maria SchuldJune 9, 2020 57 min★ ★ ★ ★ ☆ 4/5Quantum Machine LearningData EncodingQuantum Embeddings
Formal & Physical Sciences Computing & CybersecurityENMin-st-Cut is the dual LP of Max-st-Flow || @ CMU || Lecture 18d of CS Theory ToolkitRyan O'DonnellJune 9, 2020 19 min★ ★ ★ ★ ★ 5/5Linear ProgrammingMax-Flow Min-CutDuality
Formal & Physical Sciences Computing & CybersecurityENRounding LP Solutions: Min-Vertex-Cover || @ CMU || Lecture 18c of CS Theory ToolkitRyan O'DonnellJune 8, 2020 17 min★ ★ ★ ★ ☆ 4/5Linear ProgrammingVertex CoverApproximation Algorithms
Formal & Physical Sciences Computing & CybersecurityEN[Webinar] Quantum Computing reference framework: Christian Mastrodonato, Digital CatapultChristian MastrodonatoJune 6, 2020 43 min★ ★ ★ ★ ☆ 4/5Quantum ComputingQuantum TechnologiesOptimization
Formal & Physical Sciences Computing & CybersecurityENRelaxing ILPs to LPs: Bipartite Max-Perfect-Matching || @ CMU || Lecture 18b of CS Theory ToolkitRyan O'DonnellJune 5, 2020 28 min★ ★ ★ ★ ★ 5/5Linear ProgrammingInteger Linear ProgrammingBipartite Matching
Formal & Physical Sciences Computing & CybersecurityENQSI Seminar: Dr Kai-Min Chung, A.Sinica, How well can a classical client delegate quantum comput'n?Dr Kai-Min ChungJune 2, 2020 65 min★ ★ ★ ★ ☆ 4/5Quantum ComputationDelegationVerification
Formal & Physical Sciences Computing & CybersecurityENQSI Seminar: Dr Gerardo Paz Silva, Griffith U, Noise Cancellation and your quantum computer 27/05/20Dr Gerardo Paz SilvaMay 26, 2020 69 min★ ★ ★ ★ ☆ 4/5Quantum Noise SpectroscopyQuantum ControlDecoherence
Formal & Physical Sciences Computing & CybersecurityENQSI Seminar: Prof Sergio Boixo, Google Research, LA, Quantum Supremacy, 05/04/2020Prof Sergio BoixoMay 6, 2020 71 min★ ★ ★ ★ ★ 5/5Quantum ComputingQuantum SupremacySycamore Processor
Formal & Physical Sciences Computing & CybersecurityENExpander Graph Application 2: Derandomization || @ CMU || Lecture 16c of CS Theory ToolkitRyan O'DonnellMay 4, 2020 22 min★ ★ ★ ★ ★ 5/5Expander GraphsDerandomizationRandomized Algorithms
Formal & Physical Sciences Computing & CybersecurityENCheeger's Inequality || @ CMU || Lecture 15d of CS Theory ToolkitRyan O'DonnellMay 3, 2020 61 min★ ★ ★ ★ ★ 5/5Cheeger's InequalitySpectral Graph TheoryLaplacian Eigenvalues
Formal & Physical Sciences Computing & CybersecurityENQSI Seminar: Dr Chris Granade, Microsoft, 01/05/2020Dr Christopher GranadeMay 1, 2020 49 min★ ★ ★ ★ ☆ 4/5Q#Quantum Machine LearningQuantum Programming
Applied Sciences & Engineering Computing & CybersecurityENQSI Seminar: Dr Joe Fitzsimons, Horizon Quantum Computing, Abstracting Quantum Computation 28/04/'20Dr Joe FitzsimonsApril 29, 2020 86 min★ ★ ★ ★ ☆ 4/5Quantum ComputingCompilerAbstraction
Formal & Physical Sciences Computing & CybersecurityENEpsilon-biased Generators || @ CMU || Lecture 12d of CS Theory ToolkitRyan O'DonnellApril 23, 2020 23 min★ ★ ★ ★ ★ 5/5Epsilon-Biased GeneratorsPseudorandomnessCoding Theory
Formal & Physical Sciences Computing & CybersecurityENk-wise Independent Generators || @ CMU || Lecture 12c of CS Theory ToolkitRyan O'DonnellApril 22, 2020 26 min★ ★ ★ ★ ★ 5/5PseudorandomnessK-Wise IndependenceError-Correcting Codes
Formal & Physical Sciences Computing & CybersecurityENImpagliazzo--Wigderson, and Nisan's PRGs || @ CMU || Lecture 12b of CS Theory ToolkitRyan O'DonnellApril 21, 2020 12 min★ ★ ★ ★ ☆ 4/5PseudorandomnessComplexity TheoryDerandomization
Formal & Physical Sciences Computing & CybersecurityENPseudorandom Generators || @ CMU || Lecture 12a of CS Theory ToolkitRyan O'DonnellApril 20, 2020 20 min★ ★ ★ ★ ☆ 4/5Pseudorandom GeneratorsComplexity TheoryBPP
Formal & Physical Sciences Computing & CybersecurityENCQC2T Colloquium/QSI Seminar: Prof Zhengfeng Ji, QSI, Spooky Complexity at a Distance, 26/03/2020Zhengfeng JiApril 20, 2020 77 min★ ★ ★ ★ ★ 5/5Quantum ComplexityMIP*Interactive Proofs
Applied Sciences & Engineering Computing & CybersecurityENComplete tmux TutorialHackerSploitApril 8, 2020 12 min★ ★ ★ ★ ★ 5/5TmuxTerminal MultiplexerLinux Command Line
Formal & Physical Sciences Computing & CybersecurityENMultivariate Polynomials and the Schwartz--Zippel Lemma || @ CMU || Lecture 10e of CS Theory ToolkitRyan O'DonnellMarch 28, 2020 18 min★ ★ ★ ★ ★ 5/5Schwartz-ZippelMultivariate PolynomialsFinite Fields
Formal & Physical Sciences Computing & CybersecurityENCommunication Complexity of Equality || @ CMU || Lecture 10d of CS Theory ToolkitRyan O'DonnellMarch 27, 2020 15 min★ ★ ★ ★ ★ 5/5Communication ComplexityPolynomialsFinite Fields
Formal & Physical Sciences Computing & CybersecurityENGrover's Algorithm || @ CMU || Lecture 9c of CS Theory ToolkitRyan O'DonnellMarch 15, 2020 23 min★ ★ ★ ★ ★ 5/5Quantum ComputingGrover's AlgorithmTheoretical Computer Science
Formal & Physical Sciences Computing & CybersecurityENAxioms of Quantum Computing || @ CMU || Lecture 9b of CS Theory ToolkitRyan O'DonnellMarch 14, 2020 40 min★ ★ ★ ★ ☆ 4/5Quantum ComputingQuantum MechanicsAxioms
Formal & Physical Sciences Computing & CybersecurityENQuantum Computing Overview || @ CMU || Lecture 9a of CS Theory ToolkitRyan O'DonnellMarch 13, 2020 14 min★ ★ ★ ★ ☆ 4/5Quantum ComputingFourier TransformShor's Algorithm
Formal & Physical Sciences Computing & CybersecurityENAnalysis of Boolean functions: Applications || @ CMU || Lecture 8c of CS Theory ToolkitRyan O'DonnellMarch 12, 2020 13 min★ ★ ★ ★ ☆ 4/5Boolean FunctionsFourier AnalysisSocial Choice
![[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)
