Заседания семинаров
Сергей Георгиевич Фосс
Случайное блуждание в меняющейся среде.
Аннотация
Рассматривается случайное блуждание $S_n, n= 0,1,2,...$ на многомерной решетке. Предполагается, что распределение очередного скачка из текущего состояния $S_n= x$ зависит от количества предыдущих посещений как этого состояния $x$, так и состояний из некоторой его окрестности. Предлагаются условия, гарантирующие существование обновлений у этого случайного процесса и приводящие к соответствующим предельным теоремам.Google meet
А. В. Левичев
Состоит ли протон из кварков? Если MLM (=много-уровневая модель) приемлема, то в чём её новизна по сравнению с СТО (=теорией относительности)?
Аннотация
Будет дано краткое математическое описание MLM. Этот подход разрабатывается (коллективом авторов) уже почти 10 лет. В нём протон элементарен (и неразрушим). В докладе будут приведены новые данные о его волновых функциях. Осмысление MLM и её сравнение с теорией относительности позволяют сформулировать новую (по сравнению с СТО) парадигму. Часть материала доступна на https://doi.org/10.20944/preprints202202.0280.v2 (объёмный препринт) и https://www.intechopen.com/online-first/1160023 (глава в книге Протонная Терапия).Руслан Драчев
Алгоритмы локального поиска для задач конкурентного ценообразования.
Zoom
А. А. Егоров (Новосибирск)
Оценки объемов многогранников в пространстве Лобачевского (кандидатская диссертация).
Аннотация
В докладе я расскажу о прямоугольных гиперболических многогранниках и оценках на их объемы терминах комбинаторных параметров. Также расскажу об использовании этих оценок для получения оценок на объемы обобщенных гиперболических многогранников и оценок на объемы гиперболических зацеплений.Михайлапов Д. И.
Полу-контролируемая 3D сегментация расслоения аорты типа "B" с помощью SLIM-UNETR.
Аннотация
В настоящее время широко используются сверточные нейронные сети (CNN) для многоклассовой сегментации медицинских изображений. Особенно это касается моделей с несколькими выходными данными, которые могут отдельно предсказывать классы сегментации (регионы), не полагаясь на вероятностную формулировку сегментации регионов.
Однако для реализации этих методов требуется большое количество высококачественных маркированных данных. Получение точных меток для интересующих областей может быть дорогостоящим и трудоемким процессом, особенно для 3D-данных. Методы полу-контролируемого обучения позволяют обучать модели, используя как помеченные, так и данные без разметки, что является многообещающим подходом для решения проблемы получения точных меток.
В данной работе представлен метод полу-контролируемого обучения для моделей с несколькими выходными данными. Метод основан на дополнительных поворотах и отражениях и не предполагает вероятностного характера ответов модели. Это делает его универсальным подходом, что особенно важно для архитектур, предполагающих раздельную сегментацию.
С. А. Дробышевич
Коннексивная логика без отрицания.
Аннотация
Доклад основан на совместной статье с Х. Вансингом и С. Ники. В работе исследуется коннексивная система B2C в языке из конъюнкции, дизъюнкции, импликации и ко-импликации. Система характеризуется билатеральным исчислением натурального вывода и реляционной семантикой. Билатеральность исчисления здесь означает, что в системе на синтаксическом уровне представлены доказательства и опровержения утверждений. Доказательство теоремы о полноте дано при помощи билатеральной адаптации метода канонических моделей. В работе показано, что, несмотря на бедность языка, данная система является нетривиальной противоречивой коннексивной логикой. Кроме того, изучены выразительные способности этого языка, причем особое внимание удалено различным связям между доказательствами и опровержениями системы.А. И. Стукачев
Обобщенно конструктивные процессы и структуры (докторская диссертация, продолжение).
Greet Vanden Berghe (KU Leuven)
Vehicle routing: A focus on heuristic design.
В Институте математики СО РАН проходят около 30 семинаров по разным направлениям математики.
На наших семинарах выступают с докладами не только научные сотрудники института, но и приглашенные докладчики со всего мира.
Семинары проводятся как очно, так и на онлайн-платформах: Zoom, Google Meet, YouTube, Jitsi.
