Коллоквиум. Finite Subgroups of Exceptional Algebraic Groups. Lecture 1 | Robert Griess | Лекториум

(2:11:46)

Коллоквиум. Finite Subgroups of Exceptional Algebraic Groups. Lecture 2 | Robert Griess | Лекториум

(1:9:1econd)

Коллоквиум. Spaces of finite graphs | Karen Vogtmann | Лекториум

(1:9:3)

[Коллоквиум]: Обучение с запросами, формулы Хорна и формальные понятия

(1:2:55)

Коллоквиум. Wondering About Sporadic Simple Groups | Robert Griess | Лекториум

(1:3:59)

[Коллоквиум]: Строго позитивные фрагменты модальных и дескрипционных логик

(1:21:29)

[Коллоквиум] Нейротехнологии и машинное обучение: от нейрохирургии и неврологии до киберспорта

(1:23:19)

Коллоквиум. High Dimensional Expanders | Alex Lubotzky | Лекториум

(1:10:)

Коллоквиум. Computational Aspects of Multidimensional Symbolic Dynamics | Лекториум

(1:6:15)

[Коллоквиум]: Равновесие Нэша в чистых стратегиях

(1:25:11)

[Коллоквиум]: Мин-плюс многочлены и циклические игры

(1:29:12)

[Коллоквиум]: Раскраски гиперграфов и смежные проблемы: вероятностно-алгоритмический подход

(1:18:14)

[Коллоквиум]: Семантические технологии: новая жизнь для математической логики

(1:16:1econd)

[Коллоквиум]: Что делать, если модель процесса не вполне соответствует реальности?

(1:23:21)

[Коллоквиум]: Вероятностное программирование

(1:19:54)

[Коллоквиум]: Линейная логика и функциональное программирование

(1:24:18)

Коллоквиум. The Courant Nodal Domains Theorem and all that | Mikhail Sodin | Лекториум

(1:1:19)

[Коллоквиум]: Эпсилон-сложность непрерывных функций и её применения

(1:20:46)

Коллоквиум. Hyperbolic Fourier series, interpolation, and the Klein-Gordon equation |Håkan Hedenmalm

(1:1:2)

[Коллоквиум]: Теория сложности доказательств

(1:29:28)