Заседания семинаров
Ар. С. Терсенов
О применении теории вязких решений для доказательства разрешимости краевых задач для нелинейных параболических уравнений.
Аннотация
В настоящем докладе мы рассмотрим вырождающиеся параболические уравнения с градиентными нелинейностями как дивергентного, так и недивергентного вида. Используя аппарат вязких решений, нам удалось доказать существование непрерывных по Липшицу по пространственным переменным решений первой краевой задачи для анизотропных параболических уравнений с переменными показателями анизотропности в случае, когда младшие члены не удовлетворяет условию Бернштейна-Нагумо. Использование аппроксимационных методов, основанных на регуляризации, позволяющей доказать классическую разрешимость регуляризованной задачи, дает возможность получить решения максимальной гладкости, известной на сегодняшний день.
Преимущество указанного подхода заключается в том, что осуществление предельного перехода по вязким решениям регуляризованных задач, коими являются, в частности, и классические решения, возможно при более слабых априорных оценках на решения регуляризованной задачи.
Также мы рассмотрим метод суб/суперрешений, который позволяет избежать регуляризацию и получать теоремы о разрешимости, работая непосредственно с исходным уравнением.
Сергей Георгиевич Фосс
Случайное блуждание в меняющейся среде.
Аннотация
Рассматривается случайное блуждание $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 в языке из конъюнкции, дизъюнкции, импликации и ко-импликации. Система характеризуется билатеральным исчислением натурального вывода и реляционной семантикой. Билатеральность исчисления здесь означает, что в системе на синтаксическом уровне представлены доказательства и опровержения утверждений. Доказательство теоремы о полноте дано при помощи билатеральной адаптации метода канонических моделей. В работе показано, что, несмотря на бедность языка, данная система является нетривиальной противоречивой коннексивной логикой. Кроме того, изучены выразительные способности этого языка, причем особое внимание удалено различным связям между доказательствами и опровержениями системы.А. И. Стукачев
Обобщенно конструктивные процессы и структуры (докторская диссертация, продолжение).