Informatique & Cybersécurité

3004 tuit · page 74/76

Sciences formelles & physiques Informatique & Cybersécurité

Quasilinear Cook--Levin Theorem: Graduate Complexity Lecture 6 at CMU

Ryan O'Donnell

22 septembre 2017 77 min

★ ★ ★ ★ ★ 5/5

Complexité ComputationnelleThéorème De Cook-LevinTemps Quasi-Linéaire

Sciences formelles & physiques Informatique & Cybersécurité

Probabilistic Complexity Classes: Graduate Complexity Lecture 5 at CMU

Ryan O'Donnell

19 septembre 2017 80 min

★ ★ ★ ★ ★ 5/5

Complexité ComputationnelleClasses ProbabilistesBPP

Sciences formelles & physiques Informatique & Cybersécurité

Hopcroft--Paul--Valiant Theorem: Graduate Complexity Lecture 3 at CMU

Ryan O'Donnell

18 septembre 2017 80 min

★ ★ ★ ★ ★ 5/5

Complexité ComputationnelleThéorème De Hopcroft-Paul-ValiantClasses De Complexité

Sciences formelles & physiques Informatique & Cybersécurité

Hierarchy Theorems (Time, Space, and Nondeterministic): Graduate Complexity Lecture 2 at CMU

Ryan O'Donnell

18 septembre 2017 81 min

★ ★ ★ ★ ★ 5/5

Théorème De HiérarchieComplexité ComputationnelleDiagonalisation

Sciences formelles & physiques Informatique & Cybersécurité

Course Introduction and Overview: Graduate Complexity Lecture 1 at CMU

Ryan O'Donnell

18 septembre 2017 80 min

★ ★ ★ ★ ★ 5/5

Complexité ComputationnelleThéorie De La ComplexitéCours Magistral

Sciences formelles & physiques Informatique & Cybersécurité

Circuits: Graduate Complexity Lecture 4 at CMU

Ryan O'Donnell

18 septembre 2017 79 min

★ ★ ★ ★ ★ 5/5

Circuits BooléensComplexité ComputationnelleP/Poly

Sciences formelles & physiques Informatique & Cybersécurité

Ryan O'Donnell tutorial on Hardess of Approximation - Part 3

Ryan O'Donnell

7 septembre 2017 63 min

★ ★ ★ ★ ☆ 4/5

ComplexitéInapproximabilitéUnique Games Conjecture

Sciences formelles & physiques Informatique & Cybersécurité

Ryan O'Donnell tutorial on Hardess of Approximation - Part 2

Ryan O'Donnell

7 septembre 2017 63 min

★ ★ ★ ★ ☆ 4/5

ComplexitéInapproximabilitéLabel Cover

Sciences formelles & physiques Informatique & Cybersécurité

Ryan O'Donnell tutorial on Hardess of Approximation - Part 1

Ryan O'Donnell

7 septembre 2017 58 min

★ ★ ★ ★ ☆ 4/5

ComplexitéInapproximabilitéNP-Dureté

Sciences formelles & physiques Informatique & Cybersécurité

Great Ideas in Theoretical Computer Science: Quantum Computing (Spring 2016)

Ryan O'Donnell

24 juillet 2017 78 min

★ ★ ★ ★ ☆ 4/5

Informatique QuantiqueAlgorithme De ShorAlgorithme De Grover

Sciences formelles & physiques Informatique & Cybersécurité

Spring 2015 Lecture 25 Quantum Computation default

Ryan O'Donnell

15 juillet 2017 82 min

★ ★ ★ ★ ☆ 4/5

Calcul QuantiqueCircuits QuantiquesPortes Réversibles

Sciences formelles & physiques Informatique & Cybersécurité

Spring 2013 Lecture 19 Quantum Computation default b4aea100

Ryan O'Donnell

15 juillet 2017 79 min

★ ★ ★ ★ ☆ 4/5

Calcul QuantiqueCircuits BooléensPortes Réversibles

Sciences formelles & physiques Informatique & Cybersécurité

Spring 2013 Lecture 15 Approximation Algorithms default

Ryan O'Donnell

15 juillet 2017 73 min

★ ★ ★ ★ ☆ 4/5

Algorithmes D'approximationVertex CoverNP-Difficulté

Sciences formelles & physiques Informatique & Cybersécurité

Spring 2013 Lecture 07 Time Complexity default dade9f9e

Ryan O'Donnell

15 juillet 2017 71 min

★ ★ ★ ★ ☆ 4/5

Complexité AlgorithmiqueTemps D'exécutionDéfinitions

Sciences formelles & physiques Informatique & Cybersécurité

Great Ideas in Theoretical Computer Science: Turing's Legacy (Spring 2015)

Ryan O'Donnell

15 juillet 2017 69 min

★ ★ ★ ★ ★ 5/5

Machine De TuringCalculabilitéAlgorithmes

Sciences formelles & physiques Informatique & Cybersécurité

Great Ideas in Theoretical Computer Science: Randomized Algorithms (Spring 2016)

Ryan O'Donnell

15 juillet 2017 79 min

★ ★ ★ ★ ☆ 4/5

Algorithmes RandomisésInformatique ThéoriqueProbabilités

Sciences formelles & physiques Informatique & Cybersécurité

Great Ideas in Theoretical Computer Science: Random Walks and Markov Chains (Spring 2016)

Ryan O'Donnell

15 juillet 2017 79 min

★ ★ ★ ★ ☆ 4/5

Marche AléatoireChaîne De MarkovInformatique Théorique

Sciences formelles & physiques Informatique & Cybersécurité

Great Ideas in Theoretical Computer Science: Quantum Computing (Spring 2016)

Ryan O'Donnell

15 juillet 2017 77 min

★ ★ ★ ★ ☆ 4/5

Informatique QuantiqueQubitsAlgorithme De Shor

Sciences formelles & physiques Informatique & Cybersécurité

Great Ideas in Theoretical Computer Science: Probability 2 (Spring 2015)

Ryan O'Donnell

15 juillet 2017 80 min

★ ★ ★ ★ ★ 5/5

ProbabilitésVariables AléatoiresEspérance

Sciences formelles & physiques Informatique & Cybersécurité

Great Ideas in Theoretical Computer Science: Probability 1 (Spring 2013)

Ryan O'Donnell

15 juillet 2017 65 min

★ ★ ★ ★ ☆ 4/5

ProbabilitésInformatique ThéoriqueAlgorithmes Randomisés

Sciences formelles & physiques Informatique & Cybersécurité

Great Ideas in Theoretical Computer Science: Polynomials (Spring 2015)

Ryan O'Donnell

15 juillet 2017 74 min

★ ★ ★ ★ ☆ 4/5

PolynômesCorps FinisInformatique Théorique

Sciences formelles & physiques Informatique & Cybersécurité

Great Ideas in Theoretical Computer Science: On Proofs (Spring 2016)

Ryan O'Donnell

15 juillet 2017 63 min

★ ★ ★ ★ ☆ 4/5

PreuvesInformatique ThéoriqueLogique

Sciences formelles & physiques Informatique & Cybersécurité

Great Ideas in Theoretical Computer Science: Logic (Spring 2013)

Ryan O'Donnell

15 juillet 2017 71 min

★ ★ ★ ★ ☆ 4/5

LogiquePropositional LogicFirst-Order Logic

Sciences formelles & physiques Informatique & Cybersécurité

Great Ideas in Theoretical Computer Science: Linear Algebra (Spring 2016)

Ryan O'Donnell

15 juillet 2017 76 min

★ ★ ★ ★ ☆ 4/5

Algèbre LinéaireInformatique ThéoriqueFibonacci

Sciences formelles & physiques Informatique & Cybersécurité

Great Ideas in Theoretical Computer Science: Group Theory (Spring 2016)

Ryan O'Donnell

15 juillet 2017 80 min

★ ★ ★ ★ ☆ 4/5

Théorie Des GroupesInformatique ThéoriqueCours Magistral

Sciences formelles & physiques Informatique & Cybersécurité

Great Ideas in Theoretical Computer Science: Graphs: The Basics (Spring 2015)

Ryan O'Donnell

15 juillet 2017 79 min

★ ★ ★ ★ ☆ 4/5

GraphesThéorie Des GraphesInformatique Théorique

Sciences formelles & physiques Informatique & Cybersécurité

Great Ideas in Theoretical Computer Science: Graph Algorithms (Spring 2015)

Ryan O'Donnell

15 juillet 2017 70 min

★ ★ ★ ★ ★ 5/5

Algorithmes De GraphesBFSDFS

Sciences formelles & physiques Informatique & Cybersécurité

Great Ideas in Theoretical Computer Science: Finite Automata (Spring 2015)

Ryan O'Donnell

15 juillet 2017 79 min

★ ★ ★ ★ ☆ 4/5

Automates FinisInformatique ThéoriqueLangages Réguliers

Sciences formelles & physiques Informatique & Cybersécurité

Great Ideas in Theoretical Computer Science: Fast Integer Multiplication (Spring 2016)

Ryan O'Donnell

15 juillet 2017 74 min

★ ★ ★ ★ ☆ 4/5

Multiplication D'entiersAlgorithmeComplexité

Sciences formelles & physiques Informatique & Cybersécurité

Great Ideas in Theoretical Computer Science: Epilogue: Why Max-Cut is My Favorite (Spring 2015)

Ryan O'Donnell

15 juillet 2017 61 min

★ ★ ★ ★ ☆ 4/5

Max-CutAlgorithmes D'approximationProgrammation Semi-Définie

Sciences formelles & physiques Informatique & Cybersécurité

Great Ideas in Theoretical Computer Science: Deductive Systems (Spring 2015)

Ryan O'Donnell

15 juillet 2017 81 min

★ ★ ★ ★ ☆ 4/5

Systèmes DéductifsLogique PropositionnellePreuves

Sciences formelles & physiques Informatique & Cybersécurité

Great Ideas in Theoretical Computer Science: Countability and Diagonalization (Spring 2013)

Ryan O'Donnell

15 juillet 2017 73 min

★ ★ ★ ★ ★ 5/5

CardinalitéDénombrabilitéDiagonalisation

Sciences formelles & physiques Informatique & Cybersécurité

Great Ideas in Theoretical Computer Science: Computability (Spring 2013)

Ryan O'Donnell

15 juillet 2017 79 min

★ ★ ★ ★ ★ 5/5

CalculabilitéMachine De TuringDécidabilité

Sciences formelles & physiques Informatique & Cybersécurité

Great Ideas in Theoretical Computer Science: Approximation Algorithms (Spring 2016)

Ryan O'Donnell

15 juillet 2017 79 min

★ ★ ★ ★ ☆ 4/5

Algorithmes D'approximationComplexitéNP-Difficile

Sciences formelles & physiques Informatique & Cybersécurité

Analysis of Boolean Functions at CMU - Lecture 23: Open problems

Ryan O'Donnell

8 juillet 2017 76 min

★ ★ ★ ★ ★ 5/5

Analyse De FourierFonctions BooléennesProblèmes Ouverts

Sciences formelles & physiques Informatique & Cybersécurité

Analysis of Boolean Functions at CMU - Lecture 19: Invariance theorems

Ryan O'Donnell

8 juillet 2017 77 min

★ ★ ★ ★ ★ 5/5

Théorème D'invarianceThéorème Central LimiteAnalyse De Fourier

Sciences formelles & physiques Informatique & Cybersécurité

Analysis of Boolean Functions at CMU - Lecture 17: UG-hardness results from dictator tests

John Wright

8 juillet 2017 84 min

★ ★ ★ ★ ☆ 4/5

Unique Games ConjectureDictator TestingHardness of Approximation

Sciences formelles & physiques Informatique & Cybersécurité

Analysis of Boolean Functions at CMU - Lecture 16: Håstad's hardness theorems

Ryan O'Donnell

8 juillet 2017 78 min

★ ★ ★ ★ ★ 5/5

Analyse De FourierFonctions BooléennesThéorèmes De Håstad

Sciences formelles & physiques Informatique & Cybersécurité

Analysis of Boolean Functions at CMU - Lecture 15: Constraint satisfacation problems

Ryan O'Donnell

8 juillet 2017 75 min

★ ★ ★ ★ ★ 5/5

CSPAnalyse De FourierThéorie De La Complexité

Sciences formelles & physiques Informatique & Cybersécurité

Analysis of Boolean Functions at CMU - Lecture 14: Probabilistically checkable proofs of proximity

Ryan O'Donnell

8 juillet 2017 76 min

★ ★ ★ ★ ★ 5/5

PCPPreuves Vérifiables ProbabilistiquementFonctions Booléennes