Заседания семинаров
Кирилл Дмитриевич Рублёв
Эвристический алгоритм построения 3-цепей в гиперкубах малых размерностей.
Аннотация
В докладе будет рассказано о построении интервального вложения цепей в гиперкуб, оценках их максимальной длины и эвристических алгоритмах поиска конструкций, близких к оптимальным для небольших размерностей куба. Содержательно это близко вопросам надёжного кодирования целочисленной решётки (табло).С. Е. Хрущев, Ю. Н. Исмайылова
Прогнозирование запаса древесины по данным беспилотных летательных аппаратов.
Аннотация
В докладе рассматривается задача прогнозирования объема стволов деревьев по признакам, измеряемым с помощью беспилотных летательных аппаратов: высоте дерева и ширине кроны. Выполнен сравнительный анализ регрессионных моделей и методов машинного обучения на реальных таксационных данных семи пород деревьев. Исследуются различные сценарии доступности предикторов: полный набор (диаметр на высоте 1,3 м, высота, ширина кроны), а также их частичные комбинации. Дополнительно рассматривается случай несопоставленных данных, когда измерения различных признаков относятся к разным деревьям. Полученные результаты могут быть использованы для оптимизации аэротаксции лесов и количественной оценки потерь точности при переходе от наземных измерений к дистанционным.А. А. Харитонов (НГУ)
Динамическая логика с продолжениями (окончание).
Аннотация
В докладе будет представлено описание модуля $G0$, предложенного в оригинальной работе [de Groote, 2006] и получившего развитие до $G$ (и далее) в диссертации "Expressing discourse dynamics through continuations" (Ekaterina Lebedeva, 2016). Будет обсуждаться предлагаемый способ отделения пропозиционального содержания и контекста, благодаря чему значения выражений естественного языка при необходимости могут трактоваться как функции от контекста, а дискурсивная динамика — включая анафорические связи и другие прагматические явления — моделироваться при помощи механизма "продолжений" (continuations).Малышев Сергей Борисович, Емельянов Дмитрий Юрьевич
Алгебры изолирующих формул и индуцированные предгеометрии: бинарный и тернарный случаи.
Zoom
1. Асеев Владислав Васильевич (ИМ СО РАН)
Вычисление диаметров множеств в птолемеевой угловой метрике.
Аннотация
Мёбиусово-инвариантная угловая метрика была введена в 2005 году и её частный случай рассматривался в статьях финских математиков (Вуоринен и его ученики) под названием triangular ratio metric. В докладе представлено решение некоторых геометрических задач о вычислении диаметров окружностей и дуг в пространстве $\mathbb{R}^{n}$ относительно этой метрики с указанием всех экстремальных пар точек, на которых этот диаметр реализуется.
2. Вайцель Никита Александрович (ИМ СО РАН)
Формула обращения Кормака в двумерной доплеровской томографии.
Аннотация
Доплеровское преобразование $I$ измеряет работу векторного поля вдоль прямых. Оператор $I$ имеет нетривиальное ядро: только соленоидальные векторные поля $f$ могут быть восстановлены по преобразованию $If$. Данный доклад посвящен работе, в которой доказан аналог формулы обращения Кормака, восстанавливающий соленоидальную часть векторного поля, заданного на плоскости, по интегралам вдоль прямых, не пересекающих диск с центром в начале координат.Д. Ю. Завалишина
О трансмиссионно иррегулярных деревьях с максимальным индексом Винера
(реферат статьи I. Damnjanović, A. Xu, K. Xu, On the transmission irregular trees with the maximum Wiener index, arxiv.org/abs/2512.13585).
Скресанов Савелий Вячеславович
Проблема изоморфизма групп с абелевыми силовскими подгруппами.
Кочетков С. А.
Кодовые свойства векторных булевых функций с аффинно эквивалентными компонентными функциями.
Аннотация
В докладе будет рассказано о построении симплексного кода по векторной булевой функции с аффинно эквивалентными компонентными функциями, а также некоторые свойства полученного кода.
В Институте математики СО РАН проходят около 30 семинаров по разным направлениям математики.
На наших семинарах выступают с докладами не только научные сотрудники института, но и приглашенные докладчики со всего мира.
Семинары проводятся как очно, так и на онлайн-платформах: Zoom, Google Meet, YouTube, Jitsi.
