Технологии программирования, искусственный интеллект, биоинформатика
- Асадулаев А.А. (науч. рук. Фильченков А.А.) Алгоритм Регуляризации Проксимальной Оптимизации Политики
- Безбородов Р.С. (науч. рук. Фильченков А.А.) Использование обучения с подкреплением для компрессии данных захвата движения
- Брильянтов В.А. (науч. рук. Шалыто А.А.) Поддержка STM в языке Kotlin на уровне компилятора без привязки к конкретной реализации STM
- Буковкина Т.А. (науч. рук. Сметанников И.Б.) Совместная детекция и распознавание символов на изображениях с помощью глубокого обучения
- Вахрушев К.К. (науч. рук. Фильченков А.А., Шаламов В.В.) Автоматическое создание текстов синонимов с использованием методов машинного обучения
- Винокуров Д.В. (науч. рук. Буздалов М.В.) Анализ динамики работы эволюционных алгоритмов
- Гречишкина Д., Чухарев К.И. (науч. рук. Чивилихин Д.С.) Программный интерфейс для SAT-решателей на основе технологии JNI
- Давлетшин Р.О. (науч. рук. Чивилихин Д.С.) Разработка методов формальной верификации нейросетевых контроллеров в задачах маршрутизации
- Дзюба А.П. (науч. рук. Хонина С.Н.) Расчет бинарного фазового элемента для увеличения глубины фокуса изображающей системы в задаче классификации изображений нейронной сетью
- Дугинец Н.Д. (науч. рук. Фильченков А.А., Полевая Т.А.) Использование модулей внимания для классификации дерматологических атрибутов родинок
- Дымникова Н.А. Система маркировки и прослеживания продукции
- Ефимова В.А. (науч. рук. Сметанников И.Б.) Рекурсивное исключение признаков в задаче определения типа лейкемии
- Забашта А.С. (науч. рук. Фильченков А.А.) Генерация данных для повышения качества мета-классификации
- Забашта А.С. (науч. рук. Фильченков А.А.) Генеративные противоборствующие сети для синтеза оптимального маршрута
- Закирзянов И.Т. (науч. рук. Ульянцев В.И.) Построение минимального ДКА на основе сведения к SAT с использованием предположений
- Звягинцева Д.А. (науч. рук. Ульянцев В.И., Кириенко А.) Изучение фазовых переходов в открытой квантовой оптической системе с помощью методов машинного обучения
- Иванов А.Б. (науч. рук. Ульянцев В.И.) Разработка и реализация алгоритма для диагностирования воспалительных заболеваний кишечника на основе неинвазивных клинических исследований
- Ионов Д.П. (науч. рук. Ульянцев В.И.) Использование машинного обучения для автоматизированного расширения формальных грамматик, использующихся для классификации текстов в диалоговых системах
- Каширин М.Ю. (науч. рук. Сметанников И.Б.) ADD-DEL: выбор набора признаков поочередным добавлением и удалением
- Каширин М.Ю. (науч. рук. Фильченков А.А.) Математическая модель ленточного конвейера
- Клочков А.П. (науч. рук. Лобанцев А.А.) Применение генеративно-состязательных сетей для вариативной аугментации наборов данных, использующихся в задачах распознавания рака лёгких
- Кокорин И.В. (науч. рук. Аксенов В.Е.) Разработка алгоритма исполнения программ в модели Nesting-Safe Recoverable Linearizability
- Королева А.С. (науч. рук. Кузнецов П.В.) Реализация криптовалюты в распределенных системах с федеративными кворумами
- Корчагин М.А. (науч. рук. Захаров А.С.) Динамическая обрезка составных запросов к R-дереву
- Коханов А.И. (науч. рук. Шалыто А.А.) Разработка распределенной высоконагруженной системы тегирования
- Кочкова С.В. (науч. рук. Сергушичев А.А.) Предсказание третичной структуры белка с использованием методов машинного обучения
- Крылов Д.П. (науч. рук. Сметанников И.Б.) Активное обучение для мультимодальной сети
- Крючков М.И. (науч. рук. Фильченков А.А., Ефимова В.А.) Распознавание ключевых объектов по видеозаписям хирургических операций
- Кузнецов И.С. (науч. рук. Фильченков А.А.) Обучение репрезентации графа с использованием механизмов внимания
- Куриленко В.Ю. (науч. рук. Сметанников И.Б.) Алгоритм автоматического выбора отсекающих правил для фильтрующих алгоритмов выбора признаков
- Кустарева А.Д. (науч. рук. Шалыто А.А.) Разработка алгоритма оффлайновой подготовки данных для высоконагруженного приложения
- Лебедев Р.В. (науч. рук. Алексеев Н.В.) Применение гиперграфов к гаплотипированию вирусов
- Лисицына А.К. (науч. рук. Буланова Н.С.) Разработка эффективных операторов скрещивания и мутации в мультиплоидных алгоритмах
- Марченко А.М., Овчинников И.Д. (науч. рук. Шалыто А.А.) Выделение отрицания и его контекстных зависимостей с учетом лингвистических особенностей русского языка
- Мурзина А.А. (науч. рук. Буздалов М.В.) Вычислительно эффективные методы построения графиков для больших объёмов данных
- Наумов С.С. (науч. рук. Фильченков А.А.) Масштабируемая аппроксимация UPGMA для евклидовых данных
- Нериновский А.К. (науч. рук. Сметанников И.Б.) Отбор признаков на основании критерия взаимной информации
- Нериновский А.К. (науч. рук. Фильченков А.А.) Алгоритм маршрутизации, оптимальный к изменениям сети, на основе глубокого обучения с подкреплением
- Новик Д.С. (науч. рук. Алексеев Н.В.) Байесовский подход к построению филогенетических сетей
- Овсянникова П.А. (науч. рук. Чивилихин Д.С.) Oeritte: программное средство для объяснения контрпримеров для метода формальной верификации посредством проверки моделей
- Павленко А.Л. (науч. рук. Ульянцев В.И.) Эволюционные алгоритмы построения декомпозиционных множеств для трудных вариантов задач о булевой выполнимости, позволяющих достичь сверхлинейного ускорения при решении
- Панчишин И.Р. Умный сервис информирования для образовательных учреждений
- Пац К.М. (науч. рук. Сергушичев А.А., Молнар Ф.) Структурные дескрипторы для предсказания аллостерического поведения ядерных рецепторов
- Пикалов М.В., Миронович В.А. Анализ ландшафта функции приспособленности для дискретных задач оптимизации
- Пильненьский Н.Д. (науч. рук. Сметанников И.Б.) Алгоритм по отбору признаков с улучшенной стабильностью для наборов данных с малым количеством объектов
- Поляков И.Р. (науч. рук. Хвастунов А.П.) Разработка системы обнаружения сервисов с использованием технологии вызова удаленных процедур и сервера управления конфигурацией
- Самохин В.Я. (науч. рук. Чивилихин Д.С.) Анализ функций приспособленности эволюционного алгоритма для метода синтеза темпоральных спецификаций функционального блока IEC 61499
- Смирнова В.С. (науч. рук. Фильченков А.А.) Алгоритмы настройки гиперпараметров на основе объединения априорных и апостериорных знаний о задаче
- Сорокин Р.О. (науч. рук. Чивилихин Д.С.) Разработка открытой модульной платформы стандарта IEC 61499
- Суворов Д.М. (науч. рук. Чивилихин Д.С.) Cинтез конечно-автоматных алгоритмов управления для распределенных киберфизических систем с использованием симуляционных моделей
- Сухов В.Д., Короткевич Г.В. (науч. рук. Сергушичев А.А.) Определение статистически значимых наборов генов методом FGSEA при множественной проверке гипотез
- Сушенцев И.М. (науч. рук. Ульянцев В.И.) Поиск дизайна наноантенны при помощи алгоритмов оптимизации
- Терещук М.А. (науч. рук. Овсянникова П.А., Вяткин В.В.) Визуализация причин несоответствия спецификации формальной модели киберфизической системы
- Утикеев С.М. (науч. рук. Степанов Д.В.) Распознавание именованных сущностей в биомедицинских статьях
- Федер Е.А. (науч. рук. Аксенов В.Е.) Самоподстраивающиеся сети на базе splay-деревьев
- Хужин П.А. (науч. рук. Носкова Е.Э., Ульянцев В.И.) Применение байесовской оптимизации для вывода демографической истории популяций по геномным данным
- Хусаинов А.Р. (науч. рук. Сметанников И.Б.) Построение графа связей между метриками по множеству экспериментов
- Чекашев А.А. (науч. рук. Ефимова В.А.) Интеллектуальное объединение и композиция изображений методами машинного обучения
- Чухарев К.И. (науч. рук. Чивилихин Д.С.) Синтез конечно-автоматных моделей модульных логических контроллеров по примерам поведения с помощью SAT-решателей
- Шах Е.А. (науч. рук. Буздалов М.В.) Исследование недоминируемой сортировки в применении к стохастической функции приспособленности
- Шкарупин Д.Е. (науч. рук. Буздалова А.С.) Адаптивная настройка параметров эволюционных алгоритмов при решении задач с динамически изменяющейся функцией приспособленности
- Шостина А.Д. Эффективное декодирование кодов с малой плотностью проверок на четность для сетевых приложений
- Штейн Г. (науч. рук. Фильченков А.А.) Generative models for action sequence generation in reinforcement learning settings // Генеративные модели для синтеза последовательностей действий в постановке обучения с подкреплением
- Шутов В.В. (науч. рук. Симончик К.К.) Разработка текстонезависимой системы идентификации по голосу с использованием рекуррентных нейронных сетей
- Шушарин Д.Р. (науч. рук. Сметанников И.Б.) Алгоритм выбора признаков в условии наличия заранее известных казуально-значимых признаков