Заседания семинаров
И. М. Харченко
Квандлы и инварианты узлов.
Аннотация
В докладе будут рассмотрены основные определения и построены скейн-соотношения для диаграмм различных узлов.О. А. Доманов (ИФИП СО РАН)
Генеративный ИИ и проблема следования правилу.
Аннотация
Одна из существенных проблем генеративного искусственного интеллекта, основанного на больших лингвистических/языковых моделях (LLM), состоит в том, что он плохо умеет следовать правилам или инструкциям. Мы рассмотрим: действительно ли LLM (не) умеет следовать правилам, в каком смысле она (не) следует им, и что можно сделать, чтобы обеспечить это следование. Основной тезис доклада: люди и языковые модели, хотя и могут иногда добиваться одних и тех же результатов, но используют при этом различные механизмы, что и приводит, действительно, к ограничениям в способности языковых моделей следовать правилам.В. Губарев
Простая конструкция простого ниль-кольца (продолжение).
Аннотация
В 1999 г. Агата Смоктунович решила давнюю проблему, построив простое ниль-кольцо. Мы рассмотрим существенное упрощение её конструкции, полученное при помощи Aristotle (Harmonic).Васильев Тимофей Вадимович
Теорема Кастелейна.
А. A. Добрынин
О сохранении индекса Винера при удалении вершин графа.
Захарова Юлия Викторовна
Задачи теории расписаний с альтернативами выполнения работ: вычислительная сложность и методы решения.
Специальность 1.2.3 Теоретическая информатика, кибернетика
Диссертация на соискание учёной степени доктора физико-математических наук
Petr Vilím: OptalCP и Vilém Heinz: CTU in Prague, CIIRC
OptalCP: Constraint Programming with Parallel Search and Reinforcement Learning-Based Acceleration.
Zoom
Маергойз Лев Сергеевич (ФИЦ КНЦ СО РАН, Красноярск)
Задача о нахождении кусочно-тригонометрического индикатора целой функции целого порядка неравного 1 и нормального типа.
Аннотация
Содержание доклада относится к кругу исследований, инициированных широко известной теоремой Д. Пойа о связи между индикаторной и сопряженной диаграммами целой функции экспоненциального типа. Объектом исследования является класс целых функций целого порядка, не равного 1, и нормального типа, для каждой из которых соответствующий ряд Пюизе является обратной функцией по отношению к ветви некоторой заданной рациональной функции. Обсуждается проблема конструктивного нахождения кусочно-тригонометрического индикатора целой функции из этого класса. Представлен подход к решению этой задачи для случая, когда критические точки рассматриваемой рациональной функции (полинома Лорана) и её критические значения обладают круговой симметрией. Приведены примеры, иллюстрирующие способы нахождения формул для кусочно-тригонометрических индикаторов целых функций из рассматриваемого класса.
В Институте математики СО РАН проходят около 30 семинаров по разным направлениям математики.
На наших семинарах выступают с докладами не только научные сотрудники института, но и приглашенные докладчики со всего мира.
Семинары проводятся как очно, так и на онлайн-платформах: Zoom, Google Meet, YouTube, Jitsi.
