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 & 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 & CybersecurityENEncoding Classical Data into Quantum States for Machine LearningDr Maria SchuldJune 9, 2020 57 min★ ★ ★ ★ ☆ 4/5Quantum Machine LearningData EncodingQuantum Embeddings
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 & CybersecurityENHow well can a classical client delegate quantum computation?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 & CybersecurityENEmpowering Quantum Machine Learning Research with Q#Dr Christopher GranadeMay 1, 2020 49 min★ ★ ★ ★ ☆ 4/5Q#Quantum Machine LearningQuantum Programming
Applied Sciences & Engineering Computing & CybersecurityENAbstracting Quantum ComputationDr 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 & CybersecurityENSpooky complexity at a distanceZhengfeng JiApril 20, 2020 77 min★ ★ ★ ★ ★ 5/5Quantum ComplexityMIP*Interactive Proofs
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 & 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
Formal & Physical Sciences Computing & CybersecurityENBoolean Fourier formulas || @ CMU || Lecture 8b of CS Theory ToolkitRyan O'DonnellMarch 11, 2020 34 min★ ★ ★ ★ ★ 5/5Boolean Fourier AnalysisWalsh-Hadamard TransformParseval's Identity
Formal & Physical Sciences Computing & CybersecurityENFourier Analysis of Boolean functions || @ CMU || Lecture 8a of CS Theory ToolkitRyan O'DonnellMarch 10, 2020 32 min★ ★ ★ ★ ★ 5/5Fourier AnalysisBoolean FunctionsTheoretical Computer Science
Formal & Physical Sciences Computing & CybersecurityENFast Fourier Transform (FFT) || @ CMU || Lecture 7c of CS Theory ToolkitRyan O'DonnellMarch 9, 2020 25 min★ ★ ★ ★ ★ 5/5Fast Fourier TransformDiscrete Fourier TransformInteger Multiplication
Formal & Physical Sciences Computing & CybersecurityENMultiplication via the DFT || @ CMU || Lecture 7b of CS Theory ToolkitRyan O'DonnellMarch 6, 2020 26 min★ ★ ★ ★ ★ 5/5DFTFFTPolynomial Multiplication
Formal & Physical Sciences Computing & CybersecurityENComplexity of Basic Arithmetic || @ CMU || Lecture 7a of CS Theory ToolkitRyan O'DonnellMarch 5, 2020 26 min★ ★ ★ ★ ☆ 4/5Integer MultiplicationFFTComplexity Theory
Formal & Physical Sciences Computing & CybersecurityENThe Word RAM Model || @ CMU || Lecture 6c of CS Theory ToolkitRyan O'DonnellMarch 4, 2020 25 min★ ★ ★ ★ ★ 5/5Word RAMSortingAlgorithms
Formal & Physical Sciences Computing & CybersecurityENComputational Models: Circuits || @ CMU || Lecture 6b of CS Theory ToolkitRyan O'DonnellMarch 3, 2020 29 min★ ★ ★ ★ ★ 5/5Boolean CircuitsComplexity ClassesCircuit Lower Bounds
Formal & Physical Sciences Computing & CybersecurityENComputational Models: Turing Machines || @ CMU || Lecture 6a of CS Theory ToolkitRyan O'DonnellMarch 2, 2020 25 min★ ★ ★ ★ ★ 5/5Turing MachineComputational ModelsComplexity Theory
Applied Sciences & Engineering Computing & CybersecurityEN[Event] Dr. Natarajan Venkatachalam - speaking at Quantum London on 6 February 2020Dr. Natarajan VenkatachalamFebruary 16, 2020 15 min★ ★ ★ ☆ ☆ 3/5Quantum CommunicationQuantum CryptographyQKD
Applied Sciences & Engineering Computing & CybersecurityEN[Event] Christian Mastrodonato - speaking at Quantum London on 6 February 2020Christian MastrodonatoFebruary 16, 2020 20 min★ ★ ★ ☆ ☆ 3/5Quantum ComputingQuantum TechnologyQuantum Communication
Applied Sciences & Engineering Computing & CybersecurityEN2020 TEIN Winter Workshop [Day 6] Image QualityJae Sung Lee, PhDFebruary 13, 2020 45 min★ ★ ★ ★ ☆ 4/5Nuclear MedicineImage QualitySpatial Resolution
![[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)
![[Event] Dr. Natarajan Venkatachalam - speaking at Quantum London on 6 February 2020](https://i.ytimg.com/vi/k0U3dGy--Cw/hqdefault.jpg)
![[Event] Christian Mastrodonato - speaking at Quantum London on 6 February 2020](https://i.ytimg.com/vi/AeEYG4_K4CQ/maxresdefault.jpg)
![2020 TEIN Winter Workshop [Day 6] Image Quality](https://i.ytimg.com/vi/clM0Jvu5qnU/maxresdefault.jpg)