Личный кабинет
Секция
Технологии программирования, искусственный интеллект, биоинформатика
-
Асадулаев А.А. (науч. рук. Фильченков А.А.) Алгоритм Регуляризации Проксимальной Оптимизации Политики
-
Безбородов Р.С. (науч. рук. Фильченков А.А.) Использование обучения с подкреплением для компрессии данных захвата движения
-
Брильянтов В.А. (науч. рук. Шалыто А.А.) Поддержка 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 // Генеративные модели для синтеза последовательностей действий в постановке обучения с подкреплением
-
Шутов В.В. (науч. рук. Симончик К.К.) Разработка текстонезависимой системы идентификации по голосу с использованием рекуррентных нейронных сетей
-
Шушарин Д.Р. (науч. рук. Сметанников И.Б.) Алгоритм выбора признаков в условии наличия заранее известных казуально-значимых признаков