Заседания семинаров
Руслан Драчев
Алгоритмы локального поиска для задач конкурентного ценообразования.
Zoom
А. А. Егоров (Новосибирск)
Оценки объемов многогранников в пространстве Лобачевского (кандидатская диссертация).
Аннотация
В докладе я расскажу о прямоугольных гиперболических многогранниках и оценках на их объемы терминах комбинаторных параметров. Также расскажу об использовании этих оценок для получения оценок на объемы обобщенных гиперболических многогранников и оценок на объемы гиперболических зацеплений.Михайлапов Д. И.
Полу-контролируемая 3D сегментация расслоения аорты типа "B" с помощью SLIM-UNETR.
Аннотация
В настоящее время широко используются сверточные нейронные сети (CNN) для многоклассовой сегментации медицинских изображений. Особенно это касается моделей с несколькими выходными данными, которые могут отдельно предсказывать классы сегментации (регионы), не полагаясь на вероятностную формулировку сегментации регионов.
Однако для реализации этих методов требуется большое количество высококачественных маркированных данных. Получение точных меток для интересующих областей может быть дорогостоящим и трудоемким процессом, особенно для 3D-данных. Методы полу-контролируемого обучения позволяют обучать модели, используя как помеченные, так и данные без разметки, что является многообещающим подходом для решения проблемы получения точных меток.
В данной работе представлен метод полу-контролируемого обучения для моделей с несколькими выходными данными. Метод основан на дополнительных поворотах и отражениях и не предполагает вероятностного характера ответов модели. Это делает его универсальным подходом, что особенно важно для архитектур, предполагающих раздельную сегментацию.
С. А. Дробышевич
Коннексивная логика без отрицания.
Аннотация
Доклад основан на совместной статье с Х. Вансингом и С. Ники. В работе исследуется коннексивная система B2C в языке из конъюнкции, дизъюнкции, импликации и ко-импликации. Система характеризуется билатеральным исчислением натурального вывода и реляционной семантикой. Билатеральность исчисления здесь означает, что в системе на синтаксическом уровне представлены доказательства и опровержения утверждений. Доказательство теоремы о полноте дано при помощи билатеральной адаптации метода канонических моделей. В работе показано, что, несмотря на бедность языка, данная система является нетривиальной противоречивой коннексивной логикой. Кроме того, изучены выразительные способности этого языка, причем особое внимание удалено различным связям между доказательствами и опровержениями системы.А. И. Стукачев
Обобщенно конструктивные процессы и структуры (докторская диссертация, продолжение).
П. Е. Алаев
Существование примитивно рекурсивных структур (продолжение).
В. А. Чуркин
Реферат статьи:
L. Guo, H. Lang and Y. Sheng, Integration and geometrization of Rota-Baxter Lie algebras, Adv. Math. 387 (2021), 107834.
Цгоев Ч. А. (ФИЦ ИВТ)
Математическое моделирование воспалительной фазы инфаркта миокарда (по материалам кандидатской диссертации).
В Институте математики СО РАН проходят около 30 семинаров по разным направлениям математики.
На наших семинарах выступают с докладами не только научные сотрудники института, но и приглашенные докладчики со всего мира.
Семинары проводятся как очно, так и на онлайн-платформах: Zoom, Google Meet, YouTube, Jitsi.
