Заседания семинаров
Е. А. Шапорина
Структура и автоморфизмы некоторых циклических расширений свободных групп.
А. Ю. Веснин
Инварианты конечного типа для виртуальных нотоидов.
Г. К. Соколова (НГУ)
Форма Смита сопровождающей матрицы суперпозиции полиномов и конструктивное доказательство теоремы Планса для двухмостовых узлов.
Аннотация
В докладе приводится новая форма для сопровождающей матрицы суперпозиции двух полиномов над коммутативным кольцом. Полученные результаты используются для проведения конструктивного доказательства теоремы Планса для двумостовых узлов, которая утверждает, что первая группа гомологий нечетно-листного и группа гомологий четно-листного накрытия сферы над узлом, профакторизованная по гомологии двулистного накрытия, распадаются в прямую сумму двух копий некоторой абелевой группы. Структура абелевых групп описываются через полиномы Чебышева четвертого и второго рода.
Н. В. Шилов (ИСИ СО РАН, университет Иннополис)
О проекте учебной программы (РПД) «Математическая логика для Искусственного Интеллекта» (бакалавриат) по направлению подготовки «Математика и Искусственный Интеллект» в Университете Иннополис.
Аннотация
В 2024 г. по инициативе Ректора АНО ВО «Университет Иннополис» стартовало новое направление подготовки «Математика и Искусственный Интеллект».
Существует мнение, что современный ИИ — это методы оптимизации, нейронные сети и большие языковые модели, а классический подход к ИИ (господствовавший в ИИ до начала XXI века) — это ИИ основанный на логических правилах вывода. И хотя в настоящее время основной тренд в ИИ - это нейронные сети и языковые модели (а также численные методы оптимизации), но знание классики ИИ необходимо (и, по-моему, перспективно) для создания гибридных систем ИИ, основанных как на нейросетевых и языковых моделях, так и на логических правилах.
Цель доклада — обсудить вариант семестровой программы курса «Математическая логика для Искусственного Интеллекта» (бакалавриат) по направлению подготовки «Математика и Искусственный Интеллект».
- Евгений Владимирович Бурнаев
Оценка обобщающей способности решения задачи оптимального транспорта на основе состязательных нейронных сетей.Аннотация
Задача построения генеративных моделей, которые в настоящее время находят все больше применений для обработки различных типов данных, может быть поставлена как задача нахождения оптимального транспортного отображения. Одним из основных подходов для нахождения такого отображения является метод на основе минимаксного решателя для двойственной формулировки задачи оптимального транспорта. На практике нахождение решения проводится в предположении конечного объема выборки, соответственно, требуется оценка обобщающей способности такого решения в зависимости от свойств функционального класса, используемого для моделирования отображения, и свойств распределения данных. В докладе впервые будут приведены оценки обобщающей способности такого рода. - Сун Чжэ
Реферат: A Remark on Strong Law of Large Numbers for Weighted U-Statistics. Hyung-Tae HA, Mei Ling HUANG, De Li LI. Acta Mathematica Sinica, English Series 2014, Vol. 30, No. 9, pp. 1595–160.
- Планирование расписания рефератов на семестр и определение последовательности их представления.
Кошелев К. Б., Стрижак С. В., ИСП РАН, г. Москва
Развитие решателя iceFoam и библиотеки iceMPLNet с нейронной сетью для предсказания формы льда.
Аннотация
Специалисты Института системного программирования РАН (ИСП РАН) представят новый метод прогнозирования образования льда на поверхностях летательных аппаратов и инженерных конструкций. Разработка сочетает в себе усовершенствованный решатель iceFoam и библиотеку машинного обучения iceMPLNet, что позволяет значительно ускорить расчеты и предсказать форму и толщину льда с помощью нейронных сетей.Совместное заседание с Семинаром «Геометрическая теория функций» и Семинаром по геометрическому анализу им. Ю. Г. Решетняка
Иванов Максим Эдуардович (ИМ СО РАН)
Инварианты виртуальных узлов и зацеплений (предварительная защита кандидатской диссертации в диссертационном совете НГУ; научный руководитель – д.ф.-м.н., чл.-корр. РАН А. Ю. Веснин).
Заседание пройдет в очно-дистанционном формате на специально организованном заседании в форме открытого семинара «Предварительная защита кандидатской диссертации М. Э. Иванова»
Совместное заседание с Семинаром «Геометрическая теория функций» и Семинаром по геометрическому анализу им. Ю. Г. Решетняка
Егоров Андрей Александрович (ИМ СО РАН)
Оценки объемов многогранников в пространстве Лобачевского (предварительная защита кандидатской диссертации в диссертационном совете НГУ; научный руководитель – д.ф.-м.н., чл.-корр. РАН А. Ю. Веснин).
Заседание пройдет в очно-дистанционном формате на специально организованном заседании в форме открытого семинара «Предварительная защита кандидатской диссертации А. А. Егорова»
В Институте математики СО РАН проходят около 30 семинаров по разным направлениям математики.
На наших семинарах выступают с докладами не только научные сотрудники института, но и приглашенные докладчики со всего мира.
Семинары проводятся как очно, так и на онлайн-платформах: Zoom, Google Meet, YouTube, Jitsi.
