Семинары ИМ СО РАН

М. Э. Иванов (ИМ СО РАН)
Циклическая упорядочиваемость групп, тензорные и внешние произведения.

Аннотация

Группа называется упорядочиваемой, если она допускает отношение строгого порядка, инвариантное относительно умножения слева. Eстественным обобщением линейной упорядочиваемости является циклическая упорядочиваемость. В докладе я расскажу про связь линейной и циклической упорядочиваемости групп c тензорным и внешним квадратами групп.

М. Н. Гаськова
Об $n$-разрешимости булевых алгебр с одним выделенным идеалом (продолжение).

Савелий Вячеславович Скресанов
Полиномиальная оценка на орбитальный диаметр примитивных афинных групп.

Иванов Н. О. (Математический институт им. С. М. Никольского, РУДН им. Патриса Лумумбы, Москва)
Гладкость обобщенных решений краевой задачи для дифференциально-разностного уравнения в дивергентном виде со смешанными граничными условиями на  интервале конечной длины (по материалам кандидатской диссертации).

С. Е. Хрущев
Методы выравнивания групп и анализ выживаемости в медицинских исследованиях.

Аннотация

В медицинских исследованиях для обеспечения корректного сравнения выживаемости в двух или более группах пациентов возникает задача выравнивания этих групп по так называемым вмешивающимся переменным, которые могут существенным образом оказывать влияние на результаты анализа выживаемости. В докладе будут рассмотрены некоторые известные методы решения этой задачи, их преимущества и недостатки. Применяя данные методы, будет проведен анализ выживаемости на конкретных примерах реальных групп пациентов.

Людмила Александровна Саханенко
Статистическая трактография.

Аннотация

Диффузионная тензорная мрт (DTI) и диффузионная тензорная мрт с высоким угловым разрешением (HARDI) позволяют изучать сложные структуры волокон внутри живого мозга. Несмотря на свою большую популярность, они создают наборы данных о сигналах визуализации с заведомо высоким уровнем шума. Цель трактографии — оценить геометрию сложных структур волокон на основе этих наборов данных. В этом докладе мы рассмотрим особую методологию, называемую статистической трактографией, которая позволяет отслеживать волокна вместе с окружающими их доверительными эллипсоидами.

к.ф.-м.н. Дмитрий Кондратьев, ИСИ
Автоматизация доказательства условий корректности программ и перспективы применения машинного обучения в данной области (продолжение).

Л. Н. Дворный
О задаче кластеризации вершин графа с ограничениями на размеры кластеров.