Заседания семинаров
А. Н. Глебов
Экстремальные конструкции в задаче о коалиционном доминировании (продолжение).
Кононова П. А.
Реферат статьи из EJOR 2012 "Heuristics for the multi-depot petrol station replenishment problem with time windows" (Fabien Cornillier, Fayez Boctor, Jacques Renaud).
Михайлапов Д. И.
Коррекция маски на трехмерных томографических изображениях головного мозга для слабо контролируемой сегментации острого ишемического инсульта.
Аннотация
В работе представлен метод слабо контролируемой сегментации трехмерных изображений головного мозга, полученных с использованием компьютерной томографии для диагностики острого ишемического инсульта. Метод основан на применении карты расстояний и карты весов для улучшения качества сегментации пораженных областей, что позволяет обозначить значимость центральных областей и корректировать важность спорных пограничных участков.
Так же используется метод сглаживания масок сегментации для сокращения малых областей, что способствует минимизации дефектов разметки и улучшению качества анализа. Использование карт расстояний в функции потерь при слабо контролируемом обучении модели позволяет обозначить значимость центральных областей и корректировать важность спорных пограничных участков.
В исследовании используются два типа данных: основной набор, состоящий из разметки, выполненной одним рентгенологом, и вспомогательный набор меньшего объема с несколькими вариантами разметки от различных специалистов. Анализ вспомогательного набора позволяет выявить ключевые характеристики несоответствий в разметке, возникающие вследствие сложности исследуемых изображений.
Для сегментации основного набора данных применяется модель U-Net в трехмерном формате. Используются функции потерь DICE и Focal для обучения модели, а для оценки качества прогноза применяется DICE-коэффициент. Экспериментальные результаты подтверждают эффективность предложенного метода.
Н. С. Романовский
Ранги Морли и Ласкара в делимых жестких группах.
Е. А. Шапорина
Структура и автоморфизмы некоторых циклических расширений свободных групп.
П. Е. Алаев
Вычислимость с ограниченными ресурсами (часть 4).
А. Ю. Веснин
Инварианты конечного типа для виртуальных нотоидов.
Г. К. Соколова (НГУ)
Форма Смита сопровождающей матрицы суперпозиции полиномов и конструктивное доказательство теоремы Планса для двухмостовых узлов.

