Formal & Physical Sciences Computing & CybersecurityENUndergrad Complexity at CMU - Lecture 8: NPRyan O'DonnellJune 24, 2017 81 min★ ★ ★ ★ ★ 5/5NPComputational ComplexityP vs NP
Formal & Physical Sciences Computing & CybersecurityENUndergrad Complexity at CMU - Lecture 7: SATRyan O'DonnellJune 24, 2017 80 min★ ★ ★ ★ ☆ 4/5SATComplexity TheoryNP-Completeness
Formal & Physical Sciences Computing & CybersecurityENUndergrad Complexity at CMU - Lecture 6: Problems in PRyan O'DonnellJune 24, 2017 81 min★ ★ ★ ★ ★ 5/5Complexity TheoryPPolynomial Time
Formal & Physical Sciences Computing & CybersecurityENUndergrad Complexity at CMU - Lecture 5: Time Hierarchy TheoremRyan O'DonnellJune 24, 2017 80 min★ ★ ★ ★ ★ 5/5Time Hierarchy TheoremComputational ComplexityTuring Machines
Formal & Physical Sciences Computing & CybersecurityENUndergrad Complexity at CMU - Lecture 4: Time Complexity and Universal Turing MachinesRyan O'DonnellJune 24, 2017 77 min★ ★ ★ ★ ★ 5/5Complexity TheoryTime ComplexityTuring Machines
Formal & Physical Sciences Computing & CybersecurityENUndergrad Complexity at CMU - Lecture 14: Ladner's Theorem and Mahaney's TheoremRyan O'DonnellJune 24, 2017 82 min★ ★ ★ ★ ★ 5/5Computational ComplexityLadner's TheoremMahaney's Theorem
Formal & Physical Sciences Computing & CybersecurityENUndergrad Complexity at CMU - Lecture 13: Search-to-Decision, Padding, Dichotomy TheoremsRyan O'DonnellJune 24, 2017 79 min★ ★ ★ ★ ☆ 4/5Computational ComplexitySearch-to-DecisionPadding
Formal & Physical Sciences Computing & CybersecurityENUndergrad Complexity at CMU - Lecture 12: NP-Completeness ReductionsDavid WitmerJune 24, 2017 80 min★ ★ ★ ★ ☆ 4/5NP-CompletenessReductions3SAT
Formal & Physical Sciences Computing & CybersecurityENUndergrad Complexity at CMU - Lecture 3: Simulations and Turing Machine VariantsRyan O'DonnellJune 11, 2017 80 min★ ★ ★ ★ ★ 5/5Turing MachinesComputational ComplexitySimulation
Formal & Physical Sciences Computing & CybersecurityENUndergrad Complexity at CMU - Lecture 2: Turing MachinesRyan O'DonnellJune 11, 2017 79 min★ ★ ★ ★ ★ 5/5Turing MachinesComputational ComplexityTheory of Computation
Applied Sciences & Engineering Computing & CybersecurityENStar Citizen Around the Verse : Actualités et traduction FR 08/06/2017Hugo LisoirJune 9, 2017 10 min★ ★ ★ ☆ ☆ 3/5Star CitizenGame DevelopmentAround the Verse
Formal & Physical Sciences Computing & CybersecurityENUndergrad Complexity at CMU - Lecture 1: Course OverviewRyan O'DonnellJune 7, 2017 79 min★ ★ ★ ★ ☆ 4/5Complexity TheoryP vs NPComputational Complexity
Formal & Physical Sciences Computing & CybersecurityENبرنامج أهل مصر - قناة النيل الثقافية - كوانتم كمبيوترAhmed YounesApril 12, 2017 52 min★ ★ ★ ☆ ☆ 3/5Quantum ComputingQuantum CryptographyEgypt
Formal & Physical Sciences Computing & CybersecurityENInheritance Hierarchies:Artificial IntelligenceMarch 28, 2016 33 min★ ★ ★ ★ ☆ 4/5Inheritance HierarchiesNon-Monotonic ReasoningKnowledge Representation
Formal & Physical Sciences Computing & CybersecurityENThe Cut Operator in PrologArtificial IntelligenceFebruary 24, 2016 35 min★ ★ ★ ★ ☆ 4/5PrologCut OperatorLogic Programming
Formal & Physical Sciences Computing & CybersecurityENScriptsArtificial Intelligence (channel)February 4, 2016 32 min★ ★ ★ ★ ☆ 4/5ScriptsKnowledge RepresentationNatural Language Understanding
Formal & Physical Sciences Computing & CybersecurityENPrologArtificial Intelligence (channel)February 4, 2016 38 min★ ★ ★ ★ ☆ 4/5PrologLogic ProgrammingBackward Chaining