Заседания семинаров
Идентификатор конференции: 314 114 3903
Код доступа: 009
Кошекова А. К. (Караганда)
Свойства категоричности для класса Кайзера.
Цгоев Ч. А., ФИЦ ИВТ
Математическое моделирование воспалительной фазы инфаркта миокарда (по материалам кандидатской диссертации).
Аннотация
Работа посвящена применению комплекса методов математического моделирования, теории идентификации систем и системной биологии к численному исследованию биохимии инфаркта. Разработана иерархия новых математических моделей воспалительной фазы инфаркта миокарда. Разработаны и реализованы в виде комплекса программ эффективные алгоритмы решения прямых и обратных задач, а также экономичная вычислительная технология, ориентированные на решение задачи структурной и параметрической идентификации моделей объектов (процессов) с высоким уровнем неопределенностей и проведение больших серий вычислительных экспериментов в области интереса. На этой основе выполнен численный анализ базовых закономерностей пространственно-временного развития инфаркта миокарда в левом желудочке сердца мыши, в том числе при многососудистом поражении коронарного русла. Особое внимание уделено анализу терапевтического потенциала управления воспалением на ранней стадии инфаркта, в том числе в контексте «терапевтического окна».Lars Rohwedder (Maastricht University)
Resent advances in flow time scheduling.
Аннотация
Л. Н. Дворный
Гамильтоновость кубических Pancake графов.
Г. Ольховиков (Рурский университет, Бохум)
Conditionals in some constructive logics.
Аннотация
In this talk, we present logics of would- and might-conditionals conservatively extending two constructive propositional logics: the intuitionistic logic $IL$ and the paraconsistent variant $N4$ of Nelson’s logic of strong negation. Our motivation for the correctness of the proposed systems is grounded upon the faithfulness of the respective standard translations of these logics into the first-order versions of $IL$ and $N4$.
We relate our work to the pre-existing work on modal extensions of $IL$ and $N4$ and show, in particular, how our conditional logics induce the basic modal logics $IK$ [1] and $FSK^d$ [2] as their modal companions.
References
[1] G. Fischer-Servi. Semantics for a class of intuitionistic modal calculi. In: M. L. Dalla Chiara, editor, Italian Studies in the Philosophy of Science. Studies in the Philosophy of Science, Vol. 47, 59–72 Dordrecht: Springer. (1981)
[2] S. Odintsov, H. Wansing. Constructive predicate logic and constructive modal logic. Formal duality versus semantical duality. In: V. Hendricks et al., eds, First-Order Logic Revisited, 269–286, Berlin, Logos. (2004).
Meeting ID: 783 5132 3413
Passcode: 6X0c7y
Андрей Артёмович Симонов
Треугольные и почти-тривиальные квандлы.
В. А. Чуркин реферирует статью: 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.
