21.12.22.Семинар лаборатории ТИ "Выражение разрешающих списков полиномиальными пороговыми функциями"

21.12.22.Семинар лаборатории ТИ "Выражение разрешающих списков полиномиальными пороговыми функциями"

01:00:06 |

Related Videos

TCS lab seminar. 20.09.2023 Thomas Fernique "Local rules for cut and project tilings"

1:21:53

TCS lab seminar. 20.09.2023 Thomas Fernique "Local rules for cut and project tilings"

Лекция «Кошки-мышки и другие игры из Алгоритмической теории информации», д.ф.-м.н Н.К. Верещагин

1:10:55

Лекция «Кошки-мышки и другие игры из Алгоритмической теории информации», д.ф.-м.н Н.К. Верещагин

Мини-курс МЛ ТИ: В.А. Гурвич «Булева двойственность и разрешимость по Нэшу игр двух лиц»

53:46

Мини-курс МЛ ТИ: В.А. Гурвич «Булева двойственность и разрешимость по Нэшу игр двух лиц»

Семинар лаборатории 22.04.20, Вычисление функции голосования монотонными формулами маленькой глубины

1:31:54

Семинар лаборатории 22.04.20, Вычисление функции голосования монотонными формулами маленькой глубины

TCS lab seminar. 18.10.2023 Arseny M. Shur "Non-constructive approach to repetition thresholds"

1:32:16

TCS lab seminar. 18.10.2023 Arseny M. Shur "Non-constructive approach to repetition thresholds"

15.09.22 Семинар лаборатории ТИ. Иван Михайлин.

1:14:00

15.09.22 Семинар лаборатории ТИ. Иван Михайлин.

TCS lab mini-course Day 1: Gregory Kucherov "Hash-based data structures"

2:37:23

TCS lab mini-course Day 1: Gregory Kucherov "Hash-based data structures"

Лекция «Алгоритмические вопросы для матричных групп» , Таламбуца А.Л.

1:04:21

Лекция «Алгоритмические вопросы для матричных групп» , Таламбуца А.Л.

TCS lab seminar. D. Zhuk "On the complexity of the Quantified Constraint Satisfaction Problem"

1:19:46

TCS lab seminar. D. Zhuk "On the complexity of the Quantified Constraint Satisfaction Problem"

01.11.2023 Александр Рубцов "Модель вычислений для класса Parsing Expression Languages"

1:20:20

01.11.2023 Александр Рубцов "Модель вычислений для класса Parsing Expression Languages"

Мини-курс МЛ ТИ: В.А. Гурвич «Булева двойственность и разрешимость по Нэшу игр двух лиц»

1:13:40

Мини-курс МЛ ТИ: В.А. Гурвич «Булева двойственность и разрешимость по Нэшу игр двух лиц»

Мини-курс МЛ ТИ: Владимир Александрович Гурвич "On Discrete Convexity". Лекция 1.

1:35:20

Мини-курс МЛ ТИ: Владимир Александрович Гурвич "On Discrete Convexity". Лекция 1.

21.12.22.Семинар лаборатории ТИ "Выражение разрешающих списков полиномиальными пороговыми функциями"

1:00:07

21.12.22.Семинар лаборатории ТИ "Выражение разрешающих списков полиномиальными пороговыми функциями"

Презентация программы ФКН ВШЭ "Прикладная математика и информатика"

1:34:04

Презентация программы ФКН ВШЭ "Прикладная математика и информатика"

28.06.23.Kolmogorov seminar and TCS Lab of HSE seminar."Goodman-Strauss theorem and its versions"

1:19:44

28.06.23.Kolmogorov seminar and TCS Lab of HSE seminar."Goodman-Strauss theorem and its versions"

Семинар МЛ ТИ «Асимптотические свойства волновой функции в модели «Шашки Фейнмана»

1:30:24

Семинар МЛ ТИ «Асимптотические свойства волновой функции в модели «Шашки Фейнмана»

TCS lab seminar. 10.05.23. B. Bauwens. Hall-type theorems for fast dynamic matching and applications

1:23:47

TCS lab seminar. 10.05.23. B. Bauwens. Hall-type theorems for fast dynamic matching and applications

Мини-курс «Дизъюнктная сложность булевых функций и семейств множеств», 2 лекция М.Н. Вялый

1:12:31

Мини-курс «Дизъюнктная сложность булевых функций и семейств множеств», 2 лекция М.Н. Вялый

Мини-курс МЛ ТИ: В.А. Гурвич «Булева двойственность и разрешимость по Нэшу игр двух лиц»

1:19:38

Мини-курс МЛ ТИ: В.А. Гурвич «Булева двойственность и разрешимость по Нэшу игр двух лиц»

TCS Lab seminar, HSE, Bruno Loff, NP-Hardness of Circuit Minimization for Multi-Output Functions

2:00:52

TCS Lab seminar, HSE, Bruno Loff, NP-Hardness of Circuit Minimization for Multi-Output Functions