Заседания семинаров
С. В. Агапов (ИМ СО РАН)
Полиномиальные интегралы геодезических потоков и обобщенный метод годографа. III.
А. А. Егоров
О неравенстве Стоименова для детерминантов и объемов гиперболических зацеплений.
С. Ю. Новак (Middlesex University, London)
Оценки точности сложной пуассоновской аппроксимации.
Аннотация
В докладе будет дан обзор методов оценивания точности аппроксимации распределений сумм случайных величин сложными (обобщенными) пуассоновкими законами. Будет приведен ряд новых результатов.Berhane Abebe
Elementary Probabilistic Models of Number of Different Words in a Text and Their Applications. Отчёт по аспирантуре.
Аннотация
An infinite urn scheme assumes that there is a countable number of urns, in which case the probability of a ball getting into an urn necessarily depends on the urn number. One of the statistics studied is the number of non-empty urns after throwing $n$ balls. Based on the above scheme, elementary probability models text homogeneity and text change point detection were developed using the forward and backward process of counting number of different words. They will be presented here along with their application. We also study number of non-empty urns for an arbitrary subset $A$ of the unit segment, we will not consider all the balls numbered from 1 to $n$, but only those of them that are included in the set $nA$.
Александр Храмов
Реферат статьи "Ferrari, Galves, Grigorescu, Löcherbach: Phase Transition for Infinite Systems of Spiking Neurons".
Аннотация
В статье рассматривается модель взаимодействующих нейронов. Активные нейроны могут сработать за пуассоновское время, сделав соседние нейроны активными, если они были не активны, и стать неактивными. Также за пуассоновское время активные нейроны могут стать неактивными без влияния на остальные нейроны. Доказывается существование фазового перехода при изменении интенсивности затухания нейронов.Д. М. Анищенко (НГУ)
Кто боится Альфреда Тарского? (продолжение)
Аннотация
В первой части доклада мы ввели теоретико-игровую семантику для первопорядковой логики, собственно IF-логику Хинтикка (Independence-Friendly Logic), и базовые понятия теории игр – игры с полной и неполной информацией. В заключительной части доклада для IF-логики будет определена теоретико-игровая семантика и доказана теорема о выразимости истинности.Christian Artigues (LAAS - CNRS)
Mixed integer linear programming for resource-constrained scheduling.
В Институте математики СО РАН проходят около 30 семинаров по разным направлениям математики.
На наших семинарах выступают с докладами не только научные сотрудники института, но и приглашенные докладчики со всего мира.
Семинары проводятся как очно, так и на онлайн-платформах: Zoom, Google Meet, YouTube, Jitsi.
