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