• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Выпускники (2021)

Андреев Никита

Вычислительная сложность задачи парного доминирования в графах (PDF, 484 Кб)

Презентация (PDF, 1,62 Мб)

Видео

 

Буков Антон

Разделения без зависти с учетом социальных сетей с помощью скрытия информации (PDF, 298 Кб)

Презентация (PDF, 107 Кб)

Видео

 

Василенко Елизавета

Автоматизация доказательств в liquidhaskell с помощью реляционных типов (PDF, 264 Кб)

Презентация (PDF, 982 Кб)

 

Гаев Александр

Адаптация lincheck для тестирования многопоточных алгоритмов на C/C++ (PDF, 579 Кб)

Презентация (PDF, 1,08 Мб)

Видео

 

Епифанов Владислав

Задача поиска максимального разреза, параметризованная над нижней оценкой, на специальных классах грифов (PDF, 325 Кб)

Презентация (PDF, 84 Кб)

Видео

 

Зуев Максим

Тестирование многопоточных алгоритмов для энергонезависимой памяти (NVRAM) (PDF, 894 Кб)

Презентация (PDF, 526 Кб)

Видео

Лупуляк Ольга

Декларативное тестирование высокоуровневых свойств разделенных алгоритмов (PDF, 399 Кб)

Презентация (PDF, 252 Кб)

Видео

Люборт Константин

Определение категории товара для электронной доски объявлений (PDF, 225 Кб)

Презентация (PDF, 675 Кб)

Видео

Махнев Константин

Алгоритм PPO с обменом сообщениями для эффективного управления железнодорожным трафиком (PDF, 1,15 Мб)

Презентация (PDF, 1,35 Мб)

Видео

 

Мосин Владислав

Алгоритмы сэмплирования текстовых данных для ускорения обучения языковых моделей при помощи обучения по плану (PDF, 3,61 Мб)

Презентация (PDF, 1,16 Мб)

Видео

Олемская Александра

О некоторых частных случаях задачи поиска путей с контекстно-свободными ограничениями (PDF, 358 Кб)

Презентация (PDF, 123 Кб)

Видео

Селищев Виталий

Разработка и реализация интегрированного легковесного редактора кода для Unity3D (PDF, 1,10 Мб)

Презентация (PDF, 1,18 Мб)

Видео

Смирнов Игорь

Разработка и реализация модели для обработки автоматически сгенерированных отчетов об ошибках (PDF, 982 Кб)

Презентация (PDF, 1,20 Мб)

Видео

 

Сурков Максим

Методы оценки сложности текстовых данных для ускорения обучения языковых моделей с помощью обучения по плану (PDF, 744 Кб)

Презентация (PDF, 538 Кб)

Видео

 

Тигина Мария

Автоматизация проектирования микрорайонов (PDF, 8,97 Мб)

Презентация (PDF, 9,86 Мб)

Видео

Трилис Алексей

Переоснащение неявных модулей для языка 1ML (PDF, 260 Кб)

Презентация (PDF, 118 Кб)

Видео

Федоркина Мария

Реализация алгебраических алгоритмов приближенного поиска по образцу в сжатых данных (PDF, 618 Кб)

Презентация (PDF, 237 Кб)

Видео