Які відео повинні переглядати всі?

У Стенфордському університеті зараз є канал Youtube , з безкоштовним доступом до HD відео з повними курсами всього, від динамічних систем до квантового заплутування. Більше конференцій та семінарів ведуть відеозйомку своїх переговорів. Які відео в Інтернеті, на вашу думку, повинні знати всі?

Я буду наводити це декількома відповідями на презентації, які є переважно експозиційними, але я сподіваюся, що це може статися, це те, що вікі спільноти можуть перетворитись на ресурс для обміну чудовими презентаціями нових досліджень, а також місцем для навчання ( або підсилити) тло в незнайомому районі.

Тімоті Гоуерс має набір відеороликів про складність обчислень та квантові обчислення в Інтернеті.

Лекційні повідомлення Річарда Фейнмана, відновлені, з анотаціями, в рамках проекту Tuva Microsoft. Повне розкриття: я дивився лише два; вони були приголомшливими. (Насправді не TCS, але мені довелося почати з цього.)

Роздуми Дон Кнут чудові, завжди описують якусь дивовижну невідому мені річ.

Стівен Бойд має свій увесь клас Стенфорда з опуклої оптимізації в Інтернеті.

Деякі цікаві коментарі та вбік висвітлює той самий матеріал, що і в його книзі .

Інститути з онлайн-відео-розмовами:

• Інститут Філдса в Університеті Торонто (аудіо + слайди)

• Інститут підвищення кваліфікації в школі математики та інформатики та дискретної математики

• Інститут перспективних досліджень / Центр комп'ютерної нездатності Принстона ,
  наприклад, семінари з бар'єрів

• Інститут математичних наук Ісаака Ньютона

• Інститут теорії обчислень Сімона

Теоретичні групи з відео в Інтернеті:

• Теоретична група в університеті Чикаго

Також дивіться цю публікацію в блозі Lance Fortnow.

Лекція премії Неванлінна Дана Спілмана в Хайдерабаді 2010. Я отримав це посилання з допису в блозі Тімоті Гоуерса; допис містить ще кілька відео та текстових посилань на МКМ 2010 року.

Там дійсно цікава розмова, враховуючи Юрій Гуревич, на тезу Черча-Тьюринга тут .

Відеорозділ IAS - це також чудове джерело онлайн-курсів. Один з моїх улюблених:
Кетан Малмулі. Про P vs NP, теорії геометричної складності та гіпотезі Рімана.

Фокус (симпозіум IEEE з основ інформатики)

• Відео FOCS 2010 тепер онлайн . Glencora Borradille згадує її фаворит в цьому блозі .

Я не знаю, чи це відео-лекція, яку повинні дивитись усі, але я вирішив переглянути їх, щоб вивчити якусь алгебраїчну топологію. Мені здається досить добре.

Лекції з алгебраїчної топології

EDIT (додано пізніше) . Ще один приємний набір відео лекцій

Ось ще один чудовий набір лекцій Еріка Демена. Курс називається Алгоритмами плоскої графіки та поза ним , його викладають Ерік Демейне, Шей Мозес, Крістіан Соммер та Сіамак Тазарі. Вони також використовують деякі розділи чернетки Філа Клієна на плоских графіках. Я впевнений, що після перших двох лекцій вийде чудова книга.

Для людей, зацікавлених у квантових обчисленнях, переговори QIP 2010 доступні тут: http://www.qip2010.ethz.ch/programme

Це може здатися доволі попереднім для більшості людей тут, але я від цього сильно виграв, оскільки я по суті самоучка. http://aduni.org/courses/theory/index.php?view=cw

Я пропоную лекції 9 каналу: http://channel9.msdn.com/Tags/c9+lectures

Мені спеціально подобаються лекції Еріка Мейєра про функціональне програмування.

У Quantiki є чудовий веб-сайт , на якому абстрактно розміщено відео , де люди можуть розмістити коротке відео (3-6 хвилин) із описом своїх останніх робіт / передруків. Оскільки він є частиною Квантікі, він значною мірою зосереджується на квантовій інформації / обчисленні.

Цілком веселе відео (а також дуже навчальне) - це тепер відоме відео Серра про те, як погано писати математику.

Мені сподобалася лекція Скотта Ааронсона в Caltech під назвою "Квантове обчислення та межі ефективного обчислення". Ця лекція, яка пройшла на честь Фейнмана, переосмислює те, що загальновідоме користувачам цього веб-сайту, але дуже чітко і смішно.

STOC (симпозіум ACM з теорії обчислень)

• Відео STOC 2011 тепер онлайн на ACM DL.

Ерік Вінфрі описує самозбірку ДНК та молекулярне програмування на пленарній бесіді в ASPLOS 2008. Мабуть, найкращий суворий вступ до теорії самостійної збірки, яка наразі є в Інтернеті.

Квантова інформація, обчислення та складність

Ерік Демен виклав відео лекції з курсу «Осень-2010» з алгоритмів геометричного складання, який слід за підручником, який він співпрацював з Джозефом О'Рурком:

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

Лекції чудові, як ви очікували. Але те, що насправді вирізняється, - це виробничі цінності: веб-сторінка кожної лекції має вбудовані слайди та конспекти лекцій, які синхронізуються із відео. У ньому використовується відео високої чіткості HTML5 із усією синхронізацією слайдів та конспектів лекцій, виконаних у JavaScript. Сподіваємось, це встановить новий стандарт передового досвіду.

CCC (конференція IEEE про складність обчислень)

• Відео CCC 2010

YouTube-канал MIT також може бути корисним.

Щойно знайшли наступні два веб-сайти. Їх рекомендували деякі люди, але я ще не оцінював їх:

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

Я спізнююсь відповісти, але вважаю лекцію Крістіана Калуде про Недосконалість відмінною.

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

Майкл Сіпсер, "Поза обчислення: проблема П проти НП" , Публічна лекція CMI , 2006.

Також доступні на youtube .

Це серія лекцій про квантове обчислення професора Девіда Дойча

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

Ще одна чудова серія про квантові обчислення Майкла Нільсена, спрямована на середнього Джо, який хоче дізнатися про квантові обчислення

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

$\pi$

Наступні ресурси дуже корисні: http://www.aduni.org/courses/ (дискретна математика, алгоритми, теорія обчислень та багато інших) та http://erikdemaine.org/classes/ (мені особливо подобаються алгоритми щодо планарних графічні лекції та розширена структура даних тут)

TCS + (онлайн-семінар, що проводиться через два тижні, використовуючи Google Hangouts як носій), має канал YouTube , а також список попередніх лекцій:

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

(Цей список також включає слайди переговорів).

Теми досить різноманітні і мали на меті охопити всі сфери ТКС.

Загальні відео CS, тут знайдено кілька хороших: http://lecturefox.com/computerscience/

Не обмежується обчисленням, але все-таки добре: http://mitworld.mit.edu/