Заседания семинаров
Telegram
к.ф.-м.н. Дмитрий Кондратьев (ИСИ)
Автоматизация доказательства условий корректности программ и перспективы применения машинного обучения в данной области (продолжение).
И. Ю. Могильных
Коды и антикоды в графах Кэли симметрической группы.
Аннотация
В докладе будут изложены некоторые классические и недавние результаты о кодах и антикодах в графах Кэли симметрической группы:
- граница "код-антикод" Дельсарта
- коды и антикоды в Star и Bubble sort графах
- совершенные коды в Star графе из PGL(2,5)
Zoom
Идентификатор конференции: 912 824 7824
Код доступа: 31415926
А. Д. Медных (ИМ СО РАН, Новосибирск)
Гиперэллиптические римановы поверхности и их аналоги.
М. Гладких, А. Мельник (компания BIA-technologies)
Маршрутизация последней мили перевозок LTL.
Prof. Mor Harchol-Balter (Carnegie Mellon University)
Recent Breakthroughs in Stochastic Scheduling Theory.
С. Г. Басалаев (ИМ СО РАН)
Задача Кеплера на группе Гейзенберга.
Аннотация
Как вращаются планеты вокруг солнца в субримановом мире? Мы ставим задачу Кеплера на группе Гейзенберга с левоинвариантной субримановой метрикой и исследуем геометрию её траекторий. Результаты получены совместно с С. В. Агаповым.А. А. Коробов
О применении некоторых результатов А. И. Мальцева и Л. С. Понтрягина в теории дифференциальных уравнений с запаздывающим аргументом.
М. Н. Гаськова
Об $n$-разрешимости булевых алгебр с одним выделенным идеалом (продолжение).