Заседания семинаров
А. А. Егоров
О неравенстве Стоименова для детерминантов и объемов гиперболических зацеплений (продолжение).
Кривова У. А. (НГУ)
Теплова Т. В., Соколова Т. В., Ханиев А.
Портфельные построения на рынке акций на основе методов оболочечного анализа и стохастической границы (Экономика и математические методы, 2024, том 60, вып. 2).
Игорь Вдовин
Реферат статьи: A. Ihler, J. Hutchins, P. Smyth, “Adaptive Event Detection WIth Time-Varying Poisson Process, 2006, Proceedings of the 12th ACM SIGKDD”.
Аннотация
Доклад будет состоять из двух частей. В первой части мы рассмотрим подход, предложенный Авторами статьи, к детектированию аномальных событий на дороге, обсудим его ключевые особенности и преимущества. Во второй части остановимся на алгоритме оценки параметров модели, применяемом Авторами, и разберём его отличия от стандартного метода оценки параметров $hmm$.Christian Artigues (LAAS - CNRS)
Mixed integer linear programming for resource-constrained scheduling (продолжение).
Минушкина Л. С.
Периодические траектории динамических систем, моделирующих функционирование генных сетей (по материалам кандидатской диссертации).
Аннотация
В докладе представлены результаты исследования поведения траекторий динамических систем кинетического типа. Рассматриваются системы, уравнения которых содержат ступенчатые функции, описывающие регуляторные связи в модели генной сети. Для таких динамических систем установлена монотонность отображения Пуанкаре, и с помощью этого свойства получены достаточные условия существования цикла, а в четырехмерном и шестимерном случае показано, что при найденных условиях цикл будет единственным и устойчивым в инвариантной области. В работе также изучаются модели генных сетей размерностей 3 и 6, в которых скорости синтеза и разложения веществ выражены нелинейными гладкими монотонными функциями. Для двух таких систем найдены условия существования цикла в окрестности единственной стационарной точки, построены инвариантные поверхности, ограниченные циклами.к.ф.-м.н. Кондратьев Д. А.
Использование формальной верификации для обеспечения качества программных платформ.
В Институте математики СО РАН проходят около 30 семинаров по разным направлениям математики.
На наших семинарах выступают с докладами не только научные сотрудники института, но и приглашенные докладчики со всего мира.
Семинары проводятся как очно, так и на онлайн-платформах: Zoom, Google Meet, YouTube, Jitsi.
