Научный семинар

Tuesday 18 Mar 2025, 12:20 → 15:33 Europe/Moscow

Zoom

Kirill Ivanov (Moscow Institute of Physics & Technology (MIPT))

Ссылка для подключения своя у каждой подсекции, см. ниже.

12:20 → 13:55 Математическая оптимизация

Convener: Irina Kochurova

Ссылка для подключения

12:20 Методы разделения операторов высокого порядка

Speaker: Grigorii Narkevich

Методы_разделения_операторов_высокого_порядка (1).pdf

12:35 Approximate support recovery: bounds (the same as massive uncoordinated multiple access)

Speaker: Dmitrii Liziura (MIPT)

slides.pdf

12:50 Исследование и применение метода оптимизации Lookahead

Speaker: Данил Манджиев

Презентация 2-2.pdf

13:05 Оценки максимально допустимого враждебного шума для задач безградиентной гладкой выпуклой оптимизации

Speaker: Igor Pavlov

inn_prac_pres (1).pdf

13:20 Доклад

13:35 Доклад

12:20 → 13:55 Моделирование и компьютерная оптимизация + Программная Инженерия

Convener: Kirill Ivanov (Moscow Institute of Physics & Technology (MIPT))

Ссылка для подключения

12:20 Ректификация изображения с щелевой гиперспектральной камеры по опорному RGB-снимку.

Speaker: Terekhova Olga (MIPT)

rectification1.pdf

12:35 Исследование способов формального описания семантики высказываний на естественном языке

Speaker: Grigoriy Kazachonok

semantics.pdf

12:50 Исследование и сравнительный анализ методов сжатия данных в задачах прогноза погоды и моделирования климата

Speaker: Ivan Kuznetsov

GMD

Issledovanie-i-sravnitelnyj-analiz-metodov-szhatiya-dannyh-v-zadachah-prognoza-pogody-i-modelirovani.pdf

Nature

13:05 Исследование методов горячего обновления ПО для ОСРВ с переиспользованием состояния программы

Speaker: Ivan Solodovnikov (MIPT)

presentation.pdf

13:20 Улучшение инструментов для отладки приложений Android и исследование возможностей их применения для анализа поведения ПО

Speaker: Vladislav Sidorov (MIPT, ISP RAS)

AndroidAnalysis.pdf

13:35 Исследование и имплементация комплексной аннотации типов в современных языках программирования

Speaker: Evgeny Terekhov

Инпрак1.pdf

13:45 → 15:30 Дискретная математика + Геометрия и Топология

Convener: Irina Kochurova

Ссылка для подключения

13:45 Теория Рамсея

Speaker: Алан Беремкулов

Ramsey_number.pdf

13:55 Улучшение верхних оценок диагональных чисел Рамсея

Speaker: Dmitrii Mineev

Презентация Март.pdf

14:10 Концы метрических пространств.

Speaker: Mikhail Starkov (MIPT)

грубые концы.pdf

14:25 Автоморфизмы кривых Фаддеева

Speaker: Nikita Andrusov (Moscow Institute of Physics and Technology)

Faddeev_Curves_Automorphisms.pdf

14:40 Инвариантность меры относительно группы преобразований

Speaker: Екатерина Дженжер

Инвариантные_меры (2).pdf

14:55 Экстракторы случайности с несколькими источниками

Speaker: Vsevolod Nagibin

RandomnessExtractors.pdf

15:10 Нижняя оценка числа связного доминирования в бирегулярных графах с проходными вершинами

Speaker: Usmon Aliev

13:55 → 15:30 Машинное обучение и нейросети

Convener: Kirill Ivanov (Moscow Institute of Physics & Technology (MIPT))

Ссылка для подключения

13:55 Simplex LoRA

Speaker: Igor Shalygin (MIPT)

SimplexLoRA_Shalygin_Igor.pdf

14:10 Kolmogorov-Arnold Networks (KANs): Альтернатива многослойным перцептронам

Speaker: Данил Руденко

presentation.pdf

14:25 Simplex LoRA

Speaker: Григорий Давыденко (МФТИ)

SimplexLoRA_Davydenko.pdf

14:40 Использование методов подсчета неопределенности для борьбы с атаками на детекторы машинно-сгенерированного текста

Speaker: Valeriy Levanov (Moscow Institute of Physics and Technology, Moscow)

научный_семинар_1.pdf

14:55 Detecting Manual Alterations in Biological Image Data Using Contrastive Learning and Pairwise Image Comparison

Speaker: George Nekhoroshkov

Detecting Manual Alterations in Biological Image Data Using Contrastive Learning and Pairwise Image Comparison.pdf

15:10 Kolmogorov-Arnold Networks (KANs): Альтернатива многослойным перцептронам

Speaker: Georgii Bulgakov

KANs.pdf