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

Вычислительная сложность задачи парного доминирования в графах

Адаптация lincheck для тестирования многопоточных алгоритмов на C/C++

Декларативное тестирование высокоуровневых свойств разделенных алгоритмов

Алгоритмы сэмплирования текстовых данных для ускорения обучения языковых моделей при помощи обучения по плану

Разработка и реализация модели для обработки автоматически сгенерированных отчетов об ошибках

Переоснащение неявных модулей для языка 1ML

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

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

Определение категории товара для электронной доски объявлений

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

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

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

Автоматизация доказательств в liquidhaskell с помощью реляционных типов

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

Алгоритм PPO с обменом сообщениями для эффективного управления железнодорожным трафиком

Разработка и реализация интегрированного легковесного редактора кода для Unity3D

Автоматизация проектирования микрорайонов