Семинар-130

Расширенный семинар отдела
вычислительных систем ИММ УрО РАН

Доклады

15 апреля 2024 г.
Понедельник, 15:00
  • Бахтерев Михаил Олегович
Функциональная дифференциальная геометрия - 42. Электродинамика в формах
Подробнее

online: https://t.me/geometry_and_lisp

8 апреля 2024 г.
Понедельник, 15:00
  • Бахтерев Михаил Олегович
Функциональная дифференциальная геометрия - 42. Общая теория относительности как уравнение Пуассона
Подробнее

online: https://t.me/geometry_and_lisp

1 апреля 2024 г.
Понедельник, 15:00
  • Бахтерев Михаил Олегович
Синтаксис, семантика и прагматика языков программирования. Современный взгляд
Подробнее

Актовый зал ИММ УрО РАН

18 марта 2024 г.
Понедельник, 15:00
  • Бахтерев Михаил Олегович
Функциональная дифференциальная геометрия - 41. Общая теория относительности
Подробнее

online: https://t.me/geometry_and_lisp

4 марта 2024 г.
Понедельник, 15:00
  • Бахтерев Михаил Олегович
Функциональная дифференциальная геометрия - 39. Метрика и динамика
Подробнее

https://t.me/geometry_and_lisp

26 февраля 2024 г.
Понедельник, 15:00
  • Бахтерев Михаил Олегович
Функциональная дифференциальная геометрия - 38. Метрика
Подробнее

online: https://t.me/geometry_and_lisp

11 декабря 2023 г.
Понедельник, 15:00
  • Спиридонов Арсений Александрович
Модели слияния потоков судов: выработка безопасного расписания и оптимизация взаимодействий "диспетчер-пилот"
Подробнее

online: https://videoconf.uran.ru/b/k4z-iqv-zk1-1ve

27 ноября 2023 г.
Понедельник, 17:00
  • Грищенко Виктор Сергеевич
Преподавание децентрализованных систем: эволюция курса
Подробнее

online: https://videoconf.uran.ru/b/k4z-iqv-zk1-1ve

20 ноября 2023 г.
Понедельник, 15:00
  • Гайнияров Игорь Мадыхатович
4 примера применения психологии в метавселенной
Подробнее

online: https://videoconf.uran.ru/b/k4z-iqv-zk1-1ve

23 октября 2023 г.
Понедельник, 15:00
  • Авербух Юрий Владимирович
Законы сохранения в вариационном исчислении
Подробнее

НОЦ ИММ УрО РАН (211 к.)

11 октября 2023 г.
Среда, 14:30
  • Бахтерев Михаил Олегович
Функциональная дифференциальная геометрия - 24. Параллельный транспорт
Подробнее

online: https://t.me/geometry_and_lisp

4 октября 2023 г.
Среда, 15:00
  • Бахтерев Михаил Олегович
Функциональная дифференциальная геометрия. Чтение 23
Подробнее

online: https://t.me/+sMifUbEzJG85YTAy

25 сентября 2023 г.
Понедельник, 15:00
  • Бахтерев Михаил Олегович
Трёхмерное гауссовское разбрызгивание для рассчёта светового поля в реальном времени
Подробнее

НОЦ ИММ УрО РАН (211 к.)

6 сентября 2023 г.
Среда, 15:00
Функциональная дифференциальная геометрия. Чтение 20
Подробнее

online: https://t.me/+sMifUbEzJG85YTAy

19 июня 2023 г.
Понедельник, 15:00
  • Бахтерев Михаил Олегович
Теорема Белла и реляционные базы данных
Подробнее

online: https://videoconf.uran.ru/b/k4z-iqv-zk1-1ve

15 мая 2023 г.
Понедельник, 15:00
  • Шека Андрей
РАЗМЕТКА ВИДЕОДАННЫХ С ИСПОЛЬЗОВАНИЕМ КРАУДСОРСИНГА ДЛЯ ЗАДАЧИ ДЕТЕКТИРОВАНИЯ
Подробнее

Актовый зал ИММ УрО РАН

10 апреля 2023 г.
Понедельник, 15:00
  • Бахтерев Михаил Олегович
Функциональная дифференциальная геометрия - 11
Подробнее

online: https://videoconf.uran.ru/b/k4z-iqv-zk1-1ve

27 марта 2023 г.
Понедельник, 15:00
  • Бахтерев Михаил Олегович
Функциональная дифференциальная геометрия - 10
Подробнее

online: https://videoconf.uran.ru/b/k4z-iqv-zk1-1ve

20 марта 2023 г.
Понедельник, 15:00
Оргвопросы: обсудим планы исследований и публикаций на год
Подробнее

Актовый зал ИММ УрО РАН

13 марта 2023 г.
Понедельник, 17:00
  • Коныгин Антон Владимирович
Разговор о сознании

Презентация
Подробнее

К. 211 нового здания ИММ УрО РАН

6 марта 2023 г.
Понедельник, 15:00
  • Бахтерев Михаил Олегович
Функциональная дифференциальная геометрия - 9
Подробнее

online: https://videoconf.uran.ru/b/k4z-iqv-zk1-1ve

27 февраля 2023 г.
Понедельник, 15:00
  • Бахтерев Михаил Олегович
Функциональная дифференциальная геометрия - 8
Подробнее

online: https://videoconf.uran.ru/b/k4z-iqv-zk1-1ve

20 февраля 2023 г.
Понедельник, 15:00
  • Бахтерев Михаил Олегович
Функциональная дифференциальная геометрия - 7
Подробнее

online: https://videoconf.uran.ru/b/k4z-iqv-zk1-1ve

13 февраля 2023 г.
Понедельник, 15:00
  • Иванко Евгений Евгеньевич
Обучение тому – не знаю чему: рекуррентная нейронная сеть с памятью, нацеленная на генерацию последовательностей заданной Колмогоровской сложности
Подробнее

Актовый зал ИММ УрО РАН

12 декабря 2022 г.
Понедельник, 15:00
  • Бахтерев Михаил Олегович
Функциональная дифференциальная геометрия - 6
Подробнее

online: https://videoconf.uran.ru/b/k4z-iqv-zk1-1ve

5 декабря 2022 г.
Понедельник, 15:00
  • Бахтерев Михаил Олегович
Функциональная дифференциальная геометрия - 5
Подробнее

online: https://videoconf.uran.ru/b/k4z-iqv-zk1-1ve

14 ноября 2022 г.
Понедельник, 15:00
  • Михайлов Игорь Олегович
Дженерики в Kotlin
Подробнее

online: https://videoconf.uran.ru/b/k4z-iqv-zk1-1ve

14 ноября 2022 г.
Понедельник, 15:00
  • Первушина Наталия
Реализация алгоритма Chord в виде акторной системы и формальная верификация этой реализации
Подробнее

online: https://videoconf.uran.ru/b/k4z-iqv-zk1-1ve

7 ноября 2022 г.
Понедельник, 15:00
  • Бахтерев Михаил Олегович
Функциональная дифференциальная геометрия - 3
Подробнее

online: https://videoconf.uran.ru/b/k4z-iqv-zk1-1ve

24 октября 2022 г.
Понедельник, 15:00
  • Михайлов Антон Вячеславович
Выработка рекомендаций диспетчеру УВД для приведения воздушного судна в контрольную точку в указанное время
Подробнее

НОЦ (к. 211, новое здание); online: https://videoconf.uran.ru/b/k4z-iqv-zk1-1ve

17 октября 2022 г.
Понедельник, 15:00
  • Спиридонов Арсений Александрович
Каскадное слияние потоков судов с возможностью многократной смены порядка
Подробнее

НОЦ ИММ УрО РАН (к. 211, новое здание); online: https://videoconf.uran.ru/b/k4z-iqv-zk1-1ve

26 сентября 2022 г.
Понедельник, 15:00
  • Юферева Ольга Олеговна
Распределенное вычисление барицентров Вассерштейна при меняющихся графах коммуникаций

Презентация
Подробнее

Актовый зал ИММ УрО РАН

19 сентября 2022 г.
Понедельник, 15:00
  • Бахтерев Михаил Олегович
Функциональная дифференциальная геометрия - 2
Подробнее

Online https://videoconf.uran.ru/b/k4z-iqv-zk1-1ve

12 сентября 2022 г.
Понедельник, 15:00
  • Бахтерев Михаил Олегович
Функциональная дифференциальная геометрия - 1
Подробнее

Online https://videoconf.uran.ru/b/k4z-iqv-zk1-1ve

18 июля 2022 г.
Понедельник, 15:00
Объявление о каникулах
Подробнее

Актовый зал ИММ УрО РАН

11 июля 2022 г.
Понедельник, 15:00
  • Грищенко Виктор Сергеевич
Компьютерные конференции в спецоперационный период: C++ Russia и Hydra 2022.
Подробнее

Online https://videoconf.uran.ru/b/k4z-iqv-zk1-1ve

27 июня 2022 г.
Понедельник, 15:00
Оргсобрание. Обсудим прогресс текущих проектов и публикаций
Подробнее

Актовый зал ИММ УрО РАН

23 июня 2022 г.
Четверг, 11:00
  • Гнидин Алексей Юрьевич
Искусственный интеллект в системах реального времени
Подробнее

комната 305, новое здание

20 июня 2022 г.
Понедельник, 15:00
  • Полозов Андрей Анатольевич
Обсуждение возможности организации в УрФУ совместной магистратуры: ИТ и ИИ в спорте
Подробнее

Актовый зал ИММ УрО РАН

13 июня 2022 г.
Понедельник, 15:00
  • Липаткин Алексей
  • Цуп Илья
Комбинированное сжатие лог-файлов без потерь
Подробнее

Online https://videoconf.uran.ru/b/k4z-iqv-zk1-1ve

6 июня 2022 г.
Понедельник, 15:00
  • Михайлов Игорь Олегович
Корутины и другие альтернативы системным потокам
Подробнее

Online https://videoconf.uran.ru/b/k4z-iqv-zk1-1ve

30 мая 2022 г.
Понедельник, 15:00
  • Бахтерев Михаил Олегович
Процессы, программы, процедуры, функции и объекты.
Подробнее

Online https://videoconf.uran.ru/b/k4z-iqv-zk1-1ve

23 мая 2022 г.
Понедельник, 15:00
  • Булаев Владимир
Постановка задачи оценивания толщины морского ледяного покрова по данным датчика LIDAR

Презентация
Подробнее

Online https://videoconf.uran.ru/b/k4z-iqv-zk1-1ve

25 апреля 2022 г.
Понедельник, 15:00
  • Шека Андрей
Методы оптимизации нейронных сетей.
Подробнее

202 комната, "новое" здание

18 апреля 2022 г.
Понедельник, 15:00
  • Бахтерев Михаил Олегович
Репортаж из мира оптимизирующих компиляторов
Подробнее

Online https://videoconf.uran.ru/b/k4z-iqv-zk1-1ve

4 апреля 2022 г.
Понедельник, 15:00
  • Шека Андрей
Обзор методов для детектирования и сегментации изображений на основе нейронных сетей.
Подробнее

Актовый зал ИММ УрО РАН

28 марта 2022 г.
Понедельник, 15:00
  • Бахтерев Михаил Олегович
  • Михайлов Игорь Олегович
  • Стародубцев Илья Сергеевич
Неуловимые филаменты
Подробнее

Online https://videoconf.uran.ru/b/k4z-iqv-zk1-1ve

21 марта 2022 г.
Понедельник, 15:00
  • Иванко Евгений Евгеньевич
Как сделать случайные графы случайнее
Подробнее

Актовый зал ИММ УрО РАН

7 марта 2022 г.
Понедельник, 15:00
  • Бахтерев Михаил Олегович
Бурение метавселенных
Подробнее

Online https://videoconf.uran.ru/b/k4z-iqv-zk1-1ve

28 февраля 2022 г.
Понедельник, 15:00
  • Бахтерев Михаил Олегович
Семантика dx dy для программистов. Демонстрация
Подробнее

Online https://videoconf.uran.ru/b/k4z-iqv-zk1-1ve

21 февраля 2022 г.
Понедельник, 15:00
  • Бахтерев Михаил Олегович
Cемантика dx dy для программистов
Подробнее

Актовый зал ИММ УрО РАН

7 февраля 2022 г.
Понедельник, 13:00
  • Грищенко Виктор Сергеевич
Алгоритм Шмебьюлока: консенсус в сообществе гномов
Подробнее

Online https://videoconf.uran.ru/b/k4z-iqv-zk1-1ve

31 января 2022 г.
Понедельник, 13:00
  • Михайлов Игорь Олегович
Android Compose и рассуждения о методах разработки интерфейсов
Подробнее

Online https://videoconf.uran.ru/b/k4z-iqv-zk1-1ve

13 декабря 2021 г.
Понедельник, 15:00
  • Гайнияров Игорь Мадыхатович
Метавселенная, от Цукерберга до Huawei

Презентация
Подробнее

Online https://videoconf.uran.ru/b/k4z-iqv-zk1-1ve

29 ноября 2021 г.
Понедельник, 15:00
  • Спиридонов Арсений Александрович
Процедура каскадного слияния потоков воздушных судов
Подробнее

Online https://videoconf.uran.ru/b/k4z-iqv-zk1-1ve

1 ноября 2021 г.
Понедельник, 12:30
  • Грищенко Виктор Сергеевич
Новые бренды, старые тренды: репортаж с ConsensusDays 2021
Подробнее

Online, https://videoconf.uran.ru/b/ptu-tyr-ayt-szd

25 октября 2021 г.
Понедельник, 15:00
  • Бахтерев Михаил Олегович
Scheme, Haskell и точки Ω, продолжение
Подробнее

Актовый зал ИММ УрО РАН

18 октября 2021 г.
Понедельник, 15:00
  • Бахтерев Михаил Олегович
Scheme, Haskell и точки Ω
Подробнее

Актовый зал ИММ УрО РАН

4 октября 2021 г.
Понедельник, 15:00
  • Гайнияров Игорь Мадыхатович
Тренажёр в виртуальной реальности для планирования нейрохирургической операции
Подробнее

Актовый зал ИММ УрО РАН

20 сентября 2021 г.
Понедельник, 15:00
  • Иванко Евгений Евгеньевич
Perchance to dream?: Assessing the effects of dispersal strategies on the fitness of expanding populations
Подробнее

Актовый зал ИММ УрО РАН

12 июля 2021 г.
Понедельник, 15:00
  • Ченцов Павел Александрович
Основы мультиагентных систем

Презентация
Подробнее

Актовый зал ИММ УрО РАН

15 июня 2021 г.
Вторник, 15:00
  • Шека Андрей
Head Pose Estimation Problem
Подробнее

Актовый зал ИММ УрО РАН (обратите внимание, семинар ВО ВТОРНИК; время не нашего отдела, поэтому если актовый зал будет занят, а народу не слишком много, проведём семинар в к.130)

7 июня 2021 г.
Понедельник, 15:00
  • Спиридонов Арсений Александрович
Обзор литературы по задаче бесконфликтного слияния потоков воздушных судов
Подробнее

Online https://videoconf.uran.ru/b/ptu-tyr-ayt-szd

17 мая 2021 г.
Понедельник, 15:00
  • Михайлов Игорь Олегович
Обзор существующих решений по предсказанию позы человека на основе rgb-изображения
Подробнее

Актовый зал ИММ УрО РАН

26 апреля 2021 г.
Понедельник, 15:00
  • Бахтерев Михаил Олегович
Использование MPI в Python (2)
Подробнее

https://videoconf.uran.ru/b/ptu-tyr-ayt-szd

12 апреля 2021 г.
Понедельник, 15:00
  • Мартьянов Степан Евгеньевич
  • Плаксин Антон Романович
Обучение с подкреплением, оптимальное управление, дифференциальные игры

Видеоссылка
Подробнее

Актовый зал ИММ УрО РАН

5 апреля 2021 г.
Понедельник, 15:00
  • Спиридонов Арсений Александрович
Применение целочисленного программирования в задаче слияния потоков воздушных судов

Презентация
Подробнее

Актовый зал ИММ УрО РАН

29 марта 2021 г.
Понедельник, 15:00
  • Берсенев Александр Юрьевич
Новости из мира высокопроизводительных вычислений
Подробнее

Актовый зал ИММ УрО РАН

22 марта 2021 г.
Понедельник, 15:00
  • Бахтерев Михаил Олегович
Примеры использования MPI в Python

Видеоссылка
Подробнее

https://videoconf.uran.ru/b/ptu-tyr-ayt-szd

1 марта 2021 г.
Понедельник, 15:00
  • Михайлов Игорь Олегович
Обзор существующих методик анализа активности младенцев

Презентация
Подробнее

https://videoconf.uran.ru/b/ptu-tyr-ayt-szd

8 февраля 2021 г.
Понедельник, 15:00
  • Черноскутов Михаил Александрович
Использование графов для классификации

Презентация
Подробнее

https://videoconf.uran.ru/b/ptu-tyr-ayt-szd

1 февраля 2021 г.
Понедельник, 15:00
  • Гайнияров Игорь Мадыхатович
Методы и алгоритмы обработки информации для системы захвата движений на инерциальных микроэлектромеханических сенсорах

Презентация
Видеоссылка
Подробнее

https://videoconf.uran.ru/b/ptu-tyr-ayt-szd

14 декабря 2020 г.
Понедельник, 15:00
  • Ерошенко Станислав Андреевич
  • Хальясмаа Александра Ильмаровна
Применение алгоритмов машинного обучения в задачах прогнозирования жизненного цикла высоковольтного оборудования. Прогнозирование генерации солнечных электрических станций на основе алгоритмов машинного обучения.
Подробнее

https://videoconf.uran.ru/b/ptu-tyr-ayt-szd

23 ноября 2020 г.
Понедельник, 15:00
  • Черноскутов Михаил Александрович
Алгоритм поиска пересекающихся сообществ с использованием релаксированных клик.

Презентация
Видеоссылка
Подробнее

Онлайн

9 ноября 2020 г.
Понедельник, 15:00
  • Михайлов Игорь Олегович
Особенности разработки и выполнения программ на платформе Android
Подробнее

Онлайн https://videoconf.uran.ru/b/ptu-tyr-ayt-szd

26 октября 2020 г.
Понедельник, 10:00
  • Скворцов Евгений
Logica: language of Big Data
Подробнее

Онлайн https://videoconf.uran.ru/b/ptu-tyr-ayt-szd

19 октября 2020 г.
Понедельник, 15:00
  • Гайнияров Игорь Мадыхатович
  • Попель Андрей Андреевич
1) Форматы хранения научных данных (CSV, HDF5, sqlite, json, pickle, npy) применение в проектах; 2) цифровая модель поверхности и предварительная классификация
Подробнее

Online

15 июня 2020 г.
Понедельник, 15:00
  • Игумнов Александр Станиславович
Как работают нейрочипы

Презентация
Подробнее

Zoom

1 июня 2020 г.
Понедельник, 15:00
  • Гайнияров Игорь Мадыхатович
Робот-ассистент в сфере образования. Постановка задачи, технические вызовы и предлагаемые решения
Подробнее

Zoom

18 мая 2020 г.
Понедельник, 15:00
  • Спиридонов Арсений Александрович
Процедура оптимизации слитой очереди воздушных судов с учётом их типов

Презентация
Подробнее

Zoom (ссылка будет выслана)

11 мая 2020 г.
Понедельник, 15:00
  • Бахтерев Михаил Олегович
Система распределённых вычислений R4: завершение
Подробнее

Zoom (ссылка будет выслана)

4 мая 2020 г.
Понедельник, 15:00
  • Бахтерев Михаил Олегович
Система распределённых вычислений R4: продолжение
Подробнее

Zoom (ссылка будет выслана)

28 апреля 2020 г.
Вторник, 15:00
  • Бахтерев Михаил Олегович
Система распределённых вычислений R4. Попытка 2 рассказать об идеях
Подробнее

Zoom (ссылка будет выслана)

2 марта 2020 г.
Понедельник, 15:00
  • Бахтерев Михаил Олегович
Вспоминания об R4
Подробнее

Актовый зал ИММ УрО РАН

17 февраля 2020 г.
Понедельник, 15:00
  • Черноскутов Михаил Александрович
Система обработки графов с многоуровневой архитектурой
Подробнее

Актовый зал ИММ УрО РАН

16 декабря 2019 г.
Понедельник, 15:00
  • Грищенко Виктор Сергеевич
Линейные порядки в распределённых системах
Подробнее

Актовый зал ИММ УрО РАН

9 декабря 2019 г.
Понедельник, 15:00
  • Спиридонов Арсений Александрович
Применение методов линейного программирования к нелинейной формализации задачи бесконфликтного слияния потоков воздушных судов

Презентация
Подробнее

Актовый зал ИММ УрО РАН

2 декабря 2019 г.
Понедельник, 15:00
  • Ченцов Павел Александрович
Сложные системы. Оптимизация работы карьеров. Мультиагентный подход
Подробнее

Актовый зал ИММ УрО РАН

25 ноября 2019 г.
Понедельник, 15:00
  • Семин Михаил Александрович
Решение коэффициентной обратной задачи Стефана применительно к проблеме искусственного замораживания породного массива

Презентация
Подробнее

Актовый зал ИММ УрО РАН

18 ноября 2019 г.
Понедельник, 15:00
  • Сережникова Татьяна Ивановна
Об одном алгоритме для задачи восстановления изображений
Подробнее

Актовый зал ИММ УрО РАН

8 июля 2019 г.
Понедельник, 15:00
  • Бахтерев Михаил Олегович
Человеческий взгляд на Haskell
Подробнее

Актовый зал ИММ УрО РАН

1 июля 2019 г.
Понедельник, 15:00
  • Евсегнеев Олег Анатольевич
Моделирование поведения группы роботов с применением эвристических методов оптимизации: нейронных сетей и генетических алгоритмов.

Видеоссылка

Актовый зал ИММ УрО РАН

24 июня 2019 г.
Понедельник, 15:00
  • Спиридонов Арсений Александрович
Формирование бесконфликтного слияния потоков судов при заданном расписании их прибытия

Презентация
Подробнее

Актовый зал ИММ УрО РАН

17 июня 2019 г.
Понедельник, 15:00
  • Усталов Дмитрий Алексеевич
Постдок в Германии: опыт и советы
Подробнее

Актовый зал ИММ УрО РАН

27 мая 2019 г.
Понедельник, 15:00
  • Бороздин Кирилл
"Кооперация в играх с использованием обучения с подкреплением"

Презентация
Видеоссылка
Подробнее

Актовый зал ИММ УрО РАН

13 мая 2019 г.
Понедельник, 15:00
  • Грищенко Виктор Сергеевич
Реплицированная объектная нотация.
Подробнее

Актовый зал ИММ УрО РАН

22 апреля 2019 г.
Понедельник, 15:00
  • Михайлов Игорь Олегович
Краткая история трехмерной графики.

Презентация

Актовый зал ИММ УрО РАН

8 апреля 2019 г.
Понедельник, 15:00
  • Салий Ярослав
Реализация динамического программирования (C++) для задачи курьера. Алгоритмы и структуры данных.

Актовый зал ИММ УрО РАн

1 апреля 2019 г.
Понедельник, 15:00
  • Салий Ярослав
«Спортивное программирование» для трудных задач дискретной оптимизации.

Презентация

Актовый зал ИММ УрО РАн

18 марта 2019 г.
Понедельник, 15:00
  • Бахтерев Михаил Олегович
Семантика lambda-исчислений (с типами и без них) в терминах категорий (по книге higher-ordrer categorical logic).

Актовый зал ИММ УрО РАн

11 марта 2019 г.
Понедельник, 15:00
  • Гайнияров Игорь Мадыхатович
Инерциальные системы захвата движений. Проектирование и приложения.
Подробнее

Актовый зал ИММ УрО РАН

18 февраля 2019 г.
Понедельник, 15:00
  • Дунаева Александра Валерьевна
Регистрация физиологических параметров пациента в палате интенсивной терапии по видеосъемке.
Подробнее

Актовый зал ИММ УрО РАН

28 января 2019 г.
Понедельник, 15:00
  • Хлопин Дмитрий Валерьевич
Часовой экскурс в стохастические игры.
Подробнее

Актовый зал ИММ УрО РАН