Заседания семинаров
А. А. Егоров
О неравенстве Стоименова для детерминантов и объемов гиперболических зацеплений (продолжение).
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
А. Д. Медных (ИМ СО РАН, Новосибирск)
Теорема Планса для узлов и якобианов графов.