Заседания семинаров
Н. В. Шилов (ИСИ СО РАН, университет Иннополис)
О проекте учебной программы (РПД) «Математическая логика для Искусственного Интеллекта» (бакалавриат) по направлению подготовки «Математика и Искусственный Интеллект» в Университете Иннополис.
Аннотация
В 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, что позволяет значительно ускорить расчеты и предсказать форму и толщину льда с помощью нейронных сетей.Совместное заседание с Семинаром «Геометрическая теория функций» и Семинаром по геометрическому анализу им. Ю. Г. Решетняка
Егоров Андрей Александрович (ИМ СО РАН)
Оценки объемов многогранников в пространстве Лобачевского (предварительная защита кандидатской диссертации в диссертационном совете НГУ; научный руководитель – д.ф.-м.н., чл.-корр. РАН А. Ю. Веснин).
Заседание пройдет в очно-дистанционном формате на специально организованном заседании в форме открытого семинара «Предварительная защита кандидатской диссертации А. А. Егорова»
Совместное заседание с Семинаром «Геометрическая теория функций» и Семинаром по геометрическому анализу им. Ю. Г. Решетняка
Иванов Максим Эдуардович (ИМ СО РАН)
Инварианты виртуальных узлов и зацеплений (предварительная защита кандидатской диссертации в диссертационном совете НГУ; научный руководитель – д.ф.-м.н., чл.-корр. РАН А. Ю. Веснин).
Заседание пройдет в очно-дистанционном формате на специально организованном заседании в форме открытого семинара «Предварительная защита кандидатской диссертации М. Э. Иванова»
Zoom
И. А. Колесников (Томский государственный университет)
Однопараметрические семейства конформных отображений.
Аннотация
Изучаются семейства конформных отображений $f=f(z,t)$ канонической области на семейство многоугольников получаемое сдвигом вершин некоторой начальной области при условии сохранения углов. Параметр $t$ отвечает за сдвиг вершин. Рассматриваются семейства односвязных и двусвязных полигональных областей. В каждом случае относительно семейства отображений $f$ получено дифференциальное уравнение. Получена система обыкновенных дифференциальных уравнений с начальными условиями Коши относительно параметров семейства отображений позволяющая пошагово строить конформное отображение на заданную область. Система дифференциальных уравнений апробирована на различных частных случаях.В. Г. Пузаренко
О счетно категоричных теориях, 2 (продолжение).
Аннотация
Строится еще один пример разрешимой счетно категоричной теории, все несчетные структуры которой не определяются эффективно над плотным линейным порядком.Васильева Анастасия Юрьевна, Могильных Иван Юрьевич
О $К_2$-расширении полностью регулярных кодов в графах.
В Институте математики СО РАН проходят около 30 семинаров по разным направлениям математики.
На наших семинарах выступают с докладами не только научные сотрудники института, но и приглашенные докладчики со всего мира.
Семинары проводятся как очно, так и на онлайн-платформах: Zoom, Google Meet, YouTube, Jitsi.
