Заседания семинаров
Кошелев К. Б., Стрижак С. В., ИСП РАН, г. Москва
Развитие решателя iceFoam и библиотеки iceMPLNet с нейронной сетью для предсказания формы льда.
Аннотация
Специалисты Института системного программирования РАН (ИСП РАН) представят новый метод прогнозирования образования льда на поверхностях летательных аппаратов и инженерных конструкций. Разработка сочетает в себе усовершенствованный решатель iceFoam и библиотеку машинного обучения iceMPLNet, что позволяет значительно ускорить расчеты и предсказать форму и толщину льда с помощью нейронных сетей.
Н. В. Шилов (ИСИ СО РАН, университет Иннополис)
О проекте учебной программы (РПД) «Математическая логика для Искусственного Интеллекта» (бакалавриат) по направлению подготовки «Математика и Искусственный Интеллект» в Университете Иннополис.
Аннотация
В 2024 г. по инициативе Ректора АНО ВО «Университет Иннополис» стартовало новое направление подготовки «Математика и Искусственный Интеллект».
Существует мнение, что современный ИИ — это методы оптимизации, нейронные сети и большие языковые модели, а классический подход к ИИ (господствовавший в ИИ до начала XXI века) — это ИИ основанный на логических правилах вывода. И хотя в настоящее время основной тренд в ИИ - это нейронные сети и языковые модели (а также численные методы оптимизации), но знание классики ИИ необходимо (и, по-моему, перспективно) для создания гибридных систем ИИ, основанных как на нейросетевых и языковых моделях, так и на логических правилах.
Цель доклада — обсудить вариант семестровой программы курса «Математическая логика для Искусственного Интеллекта» (бакалавриат) по направлению подготовки «Математика и Искусственный Интеллект».
Совместное заседание с Семинаром «Геометрическая теория функций» и Семинаром по геометрическому анализу им. Ю. Г. Решетняка
Егоров Андрей Александрович (ИМ СО РАН)
Оценки объемов многогранников в пространстве Лобачевского (предварительная защита кандидатской диссертации в диссертационном совете НГУ; научный руководитель – д.ф.-м.н., чл.-корр. РАН А. Ю. Веснин).
Заседание пройдет в очно-дистанционном формате на специально организованном заседании в форме открытого семинара «Предварительная защита кандидатской диссертации А. А. Егорова»
Совместное заседание с Семинаром «Геометрическая теория функций» и Семинаром по геометрическому анализу им. Ю. Г. Решетняка
Иванов Максим Эдуардович (ИМ СО РАН)
Инварианты виртуальных узлов и зацеплений (предварительная защита кандидатской диссертации в диссертационном совете НГУ; научный руководитель – д.ф.-м.н., чл.-корр. РАН А. Ю. Веснин).
Заседание пройдет в очно-дистанционном формате на специально организованном заседании в форме открытого семинара «Предварительная защита кандидатской диссертации М. Э. Иванова»
Zoom
И. А. Колесников (Томский государственный университет)
Однопараметрические семейства конформных отображений.
Аннотация
Изучаются семейства конформных отображений $f=f(z,t)$ канонической области на семейство многоугольников получаемое сдвигом вершин некоторой начальной области при условии сохранения углов. Параметр $t$ отвечает за сдвиг вершин. Рассматриваются семейства односвязных и двусвязных полигональных областей. В каждом случае относительно семейства отображений $f$ получено дифференциальное уравнение. Получена система обыкновенных дифференциальных уравнений с начальными условиями Коши относительно параметров семейства отображений позволяющая пошагово строить конформное отображение на заданную область. Система дифференциальных уравнений апробирована на различных частных случаях.В. Г. Пузаренко
О счетно категоричных теориях, 2 (продолжение).
Аннотация
Строится еще один пример разрешимой счетно категоричной теории, все несчетные структуры которой не определяются эффективно над плотным линейным порядком.Васильева Анастасия Юрьевна, Могильных Иван Юрьевич
О $К_2$-расширении полностью регулярных кодов в графах.
Rubing Chen (Zhengzhou Uni.)
Single-machine hierarchical scheduling with release dates and preemption to minimize the total completion time and a regular criterion.
В Институте математики СО РАН проходят около 30 семинаров по разным направлениям математики.
На наших семинарах выступают с докладами не только научные сотрудники института, но и приглашенные докладчики со всего мира.
Семинары проводятся как очно, так и на онлайн-платформах: Zoom, Google Meet, YouTube, Jitsi.
