Заседания семинаров
А. Кононов
Combined Scheduling, Memory Allocation and Tensor Replacement for Minimizing Off-Chip Data Accesses of DNN Accelerators
Реферат статьи Y. Li, A. Gupta, S. Malik (2023).
Zoom
В. А. Александров (ИМ СО РАН)
Изгибаемый многогранник Штеффена является вложенным. Доказательство.
Аннотация
В докладе будет представлено доказательство отсутствия самопересечений у изгибаемого многогранника Штеффена. Существенную роль в доказательстве играют символьные компьютерные вычисления в Wolfram Mathematica.
Доклад основан на статье:
V. Alexandrov and E. Volokitin: Steffen's flexible polyhedron is embedded. A proof via symbolic computation // Journal for Geometry and Graphics. V. 29, N 1. P. 79-88. 2025.
И. В. Латкин (Усть-Каменогорск, Казахстан)
Определимость вычислений на машинах Тьюринга булевыми формулами.
Заседание, посвящённое памяти М. И. Каргаполова.
Гондюл Е. А. (Институт нефтегазовой геологии и геофизики им. А. А. Трофимука СО РАН)
Алгоритм моделирования сейсмических волновых полей с использованием сеточного метода и нейронной сети (по материалам кандидатской диссертации).
Е. И. Хлестова
Сложность предельных моделей эренфойхтовых теорий.
А. В. Войтишек (г.н.с. ИВМиМГ СО РАН), У. П. Сейтмуратов (магистрант ММФ НГУ), Н. Х. Шлымбетов (аспирант ММФ НГУ)
Специальные критерии выбора ядерной функции при построении различных версий функционального вычислительного ядерного алгоритма приближения вероятностной плотности по заданной выборке.
Аннотация
В данном сообщении рассматриваются вопросы построения верхних границ для компонент среднеквадратических погрешностей для различных версий компьютерных функциональных ядерных алгоритмов приближения неизвестной вероятностной плотности по заданной выборке. Эти границы используются затем при решении задачи выбора таких версий ядерных алгоритмов, которые обеспечат заданный уровень погрешности приближения плотности.
С учетом особенностей рассматриваемых сеточных вычислительный схем, будут предложены новые критерии для оптимального выбора ядерных функций, включающие правильные сочетания величин и определяющих одновременно компоненты смещения и стохастические компоненты среднеквадратических погрешностей рассматриваемых ядерных алгоритмов.
Особо будет выделен важный частный случай – многомерный аналог полигона частот (здесь выбираемая ядерная функция является кусочно-постоянной), для которого удается найти параметры, обеспечивающие минимальность затрат (при заданном уровне погрешности). На тестовых примерах будет показано, что выбор известных типов ядерных функций, отличных от кусочно-постоянных, не позволяет проводить полную условную оптимизацию алгоритма и увеличивает время вычислений (при заданном уровне погрешности).
Т. Ширинкин (НИУ ВШЭ, Москва)
Континуум недиффеоморфных вложенных гладких структур на $\mathbb{R}^4$.
Аннотация
Доклад представляет собой разбор работ Таубса и Гомпфа, посвящённых построению континуума экзотических структур на $\mathbb{R}^4$. В центре внимания находятся конструкции многообразий периодического конца и пространств модулей асимптотически периодических автодуальных связностей на них. Детально разбирается ключевое доказательство, как предположение о диффеоморфизме приводит к противоречию с одномерностью и компактностью модуля пространств автодуальных связностей. В итоге делается вывод о существовании континуума вложенных попарно недиффеоморфных экзотических $\mathbb{R}^4$, что является фундаментальным результатом в низкоразмерной топологии.
В Институте математики СО РАН проходят около 30 семинаров по разным направлениям математики.
На наших семинарах выступают с докладами не только научные сотрудники института, но и приглашенные докладчики со всего мира.
Семинары проводятся как очно, так и на онлайн-платформах: Zoom, Google Meet, YouTube, Jitsi.
