Quelles vidéos tout le monde devrait regarder?

140

L’Université de Stanford a maintenant une chaîne Youtube , avec un accès gratuit à la vidéo HD de tous les cours, des systèmes dynamiques à l’intrication quantique. Plus de conférences et d'ateliers enregistrent leurs discours sur bande vidéo. Quelles sont les vidéos en ligne que tout le monde devrait connaître?

Je vais ajouter quelques réponses à des présentations qui sont pour la plupart des exposés, mais j'espère que ce wiki de communauté deviendra une ressource pour partager d'excellentes présentations de nouvelles recherches, ainsi qu'un lieu pour apprendre ( ou renforcer) fond dans une zone inconnue.

soft-question big-list

— Aaron Sterling
source

Microsoft Research dispose également d'un canal youtube. J'aime aussi le discours de Dominic Verity sur la théorie des catégories pour les programmeurs. Demander à tout le monde de regarder le même matériel semble être une mauvaise idée, car cela réduira la diversité et augmentera la pensée de groupe.

— isomorphismes le

Avons-nous des conférences vidéo sur l'approximation de base et des algorithmes aléatoires?

— Kumar

49

Timothy Gowers propose une série de vidéos sur la complexité informatique et le calcul quantique en ligne.

— Mikhail Glushenkov
source

14

J'ai regardé la première conférence de cette série et trouve son explication des machines de Turing très gênante. En outre, il semble suggérer que les circuits ont une puissance égale à celle des MT, ce qui n’est pas le cas (à moins qu’il n’y ait plus qu’il ne leur en dit). Il dit lui-même qu'il ne veut pas parler de "modèles de calcul étranges", mais plutôt de "combinatoire familière", alors je dirais que ce sont plutôt des maths, pas des conférences TCS.

— Raphaël

6

La combinatoire fait également partie du TCS.

— Kaveh

2

Le SDC ne fait-il pas partie des mathématiques, au sens large, bien sûr?

— kodlu

38

Conférences Messenger de Richard Feynman restaurées, avec des annotations, par le projet Tuva de Microsoft. Divulgation complète: je n'en ai regardé que deux jusqu'à présent; ils étaient géniaux. (Pas vraiment TCS, mais je devais commencer par ceux-ci.)

— Aaron Sterling
source

2

Le Vega Science Trust ( vega.org.uk ) propose également d’excellents exposés vidéo sur Feynman, ainsi que d’autres scientifiques.

— Joe Fitzsimons

3

On me dit que mon navigateur ne supportera pas le format (Silverlight). Soupir.

— Jim Hefferon

@JimHefferon ubuntugeek.com/… fonctionne- t- il pour vous?

— Lembik

Bien que j'admire ce qui ressemble à un effort héroïque pour le faire disparaître, non, je ne l'ai jamais essayé. Merci.

— Jim Hefferon

27

Les réflexions de Don Knuth sont excellentes, décrivant toujours quelque chose d'extraordinaire que je ne connaissais pas auparavant.

— Diego de Estrada
source

1

Ces vidéos peuvent-elles être téléchargées ou doivent-elles être diffusées en continu à l'aide de sliver light?

— Tyson Williams

23

Je me sens comme si Knuth lui-même désapprouverait de les avoir enfermés dans un format propriétaire, et c'est certainement gênant pour moi.

— Max

4

@ Max pas plus :-) (J'ai mis à jour le lien).

— Diego de Estrada

23

Stephen Boyd a toute sa classe à Stanford sur l' optimisation convexe en ligne.

Quelques commentaires intéressants et à part, couvre le même matériel que dans son livre .

— Mugizi Rwebangira
source

21

Instituts avec vidéos de discussion en ligne:

Groupes théoriques avec vidéos de discussion en ligne:

Groupe de théorie à l'Université de Chicago

Voir aussi cet article de blog de Lance Fortnow.

— Kaveh
source

21

La conférence sur le prix Nevanlinna de Dan Spielman à Hyderabad en 2010. J'ai reçu ce lien dans un article de blog de Timothy Gowers; l'article contient plusieurs autres liens vidéo et texte vers l'ICM 2010.

— Aaron Sterling
source

20

Il y a une discussion très intéressante, donnée par Yuri Gurevich, sur la thèse de Church-Turing ici .

— Rafael
source

18

La section vidéo de IAS est également une excellente source de cours en ligne. Un de mes préférés est:
Ketan Mulmuley. Sur P vs NP, la théorie de la complexité géométrique et l'hypothèse de Riemann.

— Michaël Cadilhac
source

18

FOCS (Symposium IEEE sur les fondements de l'informatique)

Les vidéos FOCS 2010 sont maintenant en ligne . Glencora Borradille mentionne ses favoris dans cet article .

— Diego de Estrada
source

15

Je ne sais pas s'il s'agit d'une conférence vidéo que tout le monde devrait regarder, mais j'ai décidé de les regarder pour apprendre un peu la topologie algébrique. Cela me semble plutôt bon jusqu'à présent.

Conférences sur la topologie algébrique

EDIT (ajouté plus tard) . Une autre belle série de conférences vidéo

Voici un autre ensemble merveilleux de conférences par Erik Demaine. Le cours s'appelle Planar Graph Algorithms and Beyond et est enseigné par Erik Demaine, Shay Mozes, Christian Sommer et Siamak Tazari. Ils utilisent également certaines sections du brouillon de Phil Kliens sur les graphes planaires. Je suis convaincu que cela fera un bon livre après avoir vu les deux premières conférences.

— Akash Kumar
source

Le parcours de Demaine et al. c'est incroyable!

— Diego de Estrada

14

Pour les personnes intéressées par le calcul quantique, les présentations de QIP 2010 sont disponibles à l' adresse suivante : http://www.qip2010.ethz.ch/programme

— Anthony Leverrier
source

13

Cela peut sembler assez préliminaire à la plupart des gens ici, mais j'en ai grandement bénéficié puisque je suis essentiellement autodidacte. http://aduni.org/courses/theory/index.php?view=cw

— Dhruvbird
source

12

Je suggère les conférences sur Channel 9: http://channel9.msdn.com/Tags/c9+lectures

J'aime particulièrement les conférences d'Erik Meijer sur la programmation fonctionnelle.

—
source

4

Les conférences de Ralf Lämmel sont également agréables. Il a également mis en ligne des vidéos pour son cours sur la programmation de paradigmes et de sémantique formelle .

— Mikhail Glushenkov

11

Quantiki a un site de résumé vidéo , où les gens sont libres de poster une courte vidéo (3-6 minutes) décrivant leurs récents articles / pré-impressions. Comme il fait partie de Quantiki, il se concentre principalement sur l’information / le calcul quantique.

— Joe Fitzsimons
source

11

Une vidéo complètement hilarante (et également très éducative) est la célèbre vidéo de Serre sur la façon d'écrire mal les mathématiques.

— Suresh Venkat
source

5

«Nous sommes désolés mais sevenload n'offre pas son service dans votre pays». Triste…

— Artem Pelenitsyn

3

@Artem: Peut - être que ce lien fonctionne pour ceux en dehors des États-Unis? Ça marche pour moi.

— Robin Kothari le

11

J'ai apprécié la conférence de Scott Aaronson à Caltech intitulée "L'informatique quantique et les limites de l'efficacité calculable". Cette conférence, qui était en l'honneur de Feynman, retrace les connaissances communes des utilisateurs de ce site, mais de manière très claire et amusante.

— Huck Bennett
source

11

STOC (Symposium ACM sur la théorie de l'informatique)

Les vidéos de STOC 2011 sont maintenant en ligne sur ACM DL.

— Kaveh
source

2

Ils sont derrière un paywall malheureusement ...

— Anthony Leverrier

1

Ceci est probablement une ancienne nouvelle, mais les vidéos sont maintenant disponibles gratuitement (mais vous devez vous inscrire (encore, gratuitement)) t.co/LtTmi32

— Danu

10

Erik Winfree décrit l'autoassemblage de l'ADN et la programmation moléculaire lors d'une conférence plénière à ASPLOS 2008. Probablement la meilleure introduction rigoureuse à la théorie de l'autoassemblage actuellement en ligne.

— Aaron Sterling
source

10

Information quantique, calcul et complexité

— Tegiri Nenashi
source

impressionnant! J'attendais comment regarder des conférences vidéo sur ce sujet ... penser à regarder des conférences de Charles Bennet! Un régal rare! Merci encore

— Akash Kumar

10

Erik Demaine présente les conférences vidéo de son cours d'automne 2010 sur les algorithmes de pliage géométrique qui suit le manuel qu'il a coécrit avec Joseph O'Rourke:

http://courses.csail.mit.edu/6.849/fall10/lectures/

Les conférences sont super comme vous vous en doutez. Mais ce qui me frappe le plus, ce sont les valeurs de la production: la page Web de chaque conférence comprend des diapositives et des notes de lecture intégrées qui se synchronisent avec la vidéo. Il utilise la vidéo HTML5 haute définition avec toute la synchronisation des diapositives et des notes de cours réalisée en JavaScript. Espérons que cela établira une nouvelle norme d'excellence.

— Par Vognsen
source

10

CCC (Conférence IEEE sur la complexité informatique)

Les vidéos CCC 2010

— Kaveh
source

8

La chaîne Youtube du MIT pourrait également être utile.

— Dharmit Shah
source

Le lien est déjà mentionné dans la question elle-même!

— MS Dousti

techniquement, seule la chaîne youtube de Stanford est mentionnée

— Suresh Venkat le

7

Je viens de trouver les deux sites Web suivants. Certaines personnes les ont recommandées, mais je ne les ai pas encore évaluées:

VideoLectures.net: http://videolectures.net/Top/Computer_Science/
AacademicEarth.org: http://academicearth.org/subjects/computer-science/

— MS Dousti
source

7

Je suis en retard pour répondre, mais trouvez l' excellente conférence de Cristian Calude sur l'incomplétude.

— Ganesh
source

6

$\mathsf{P}$ $\mathsf{NP}$

Michael Sipser, "Au-delà du calcul: le problème P vs NP" , Conférence publique du CMI , 2006.

Egalement disponible sur youtube .

— Kaveh
source

5

Ce sont des séries de conférences sur le calcul quantique par le professeur David Deutsch

http://www.quiprocone.org/Protected/DD_lectures.htm

Une autre grande série sur le calcul quantique de Michael Nielsen s’adresse au Joe moyen qui veut en savoir plus sur le calcul quantique

https://m.youtube.com/#/playlist?gl=US&hl=fr&client=mv-google&list=PL1826E60FD05B44E4

— 11D Reality Hacker
source

5

$\pi$

— Martin Berger
source

5

Les ressources suivantes sont très utiles: http://www.aduni.org/courses/ (mathématiques discrètes, algorithmes, théorie de l'informatique et bien d'autres) et http://erikdemaine.org/classes/ (j'aime particulièrement les algorithmes sur graphes lecture et structure de données avancée lec ici)

— Yash
source

5

TCS + (une série de séminaires en ligne toutes les deux semaines, utilisant Google Hangouts comme support), possède une chaîne YouTube , ainsi qu'une liste des conférences précédentes:

https://sites.google.com/site/plustcs/past-talks

(Cette liste comprend également les diapositives des discussions).

Les sujets sont assez diversifiés et destinés à couvrir tous les domaines du SDC.

— Clement C.
source

4

Vidéos générales CS, vous en trouverez de bonnes ici: http://lecturefox.com/computerscience/

Pas limité au calcul mais néanmoins bon: http://mitworld.mit.edu/

— Aaron Robson
source

C'est un excellent lien pour les vidéos, mais un meilleur lien consisterait à dire lesquelles de ces vidéos valent la peine d'être vues (ou peut-être sont-elles toutes?)

— Gopi

J'ai aimé les conférences de Donald Knuth liées au site lecturefox (il a créé TeX parmi ses autres réalisations) scpd.stanford.edu/knuth/index.jsp et sur le site mitworld, j'ai bien aimé la conférence "Computing for Everyone" bien que j'ai soupçonne qu'ils sont tous très bons.

— Aaron Robson