Каталог проектов

CircuitGen: Графовое представление цифровых схем для маршрута проектирования и машинного обучения

CircuitGen: Многомаршрутная оценка параметров и сбоеустойчивости цифровых схем

Фреймворк тестирования LLM-приложений

Система ранней диагностики редких генетических заболеваний с помощью искусственного интеллекта

Исследование реализаций схем гомоморфного шифрования

Система автоматизированного анализа правильности выполнения элементов фигурного катания

Применение методов геометрического глубокого обучения для задачи обнаружения дипфейков

Слайсер для воспроизведения рельефа живописи

AIDiagnostic: разработка VL-модели для КТ с поддержкой русского языка

Анализ статистических характеристик последовательностей, вырабатываемых криптографическими алгоритмами

Синтез тестов с гарантированной полнотой с использованием мутационного тестирования на основе автоматной модели

Исследование и проектирование архитектуры мультиплексора сетевых соединений для облачной платформы

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

Интеграция комплекса средств проверки Verilog-проектов в систему VAI

Предикторы положительного опыта студентов при взаимодействии с образовательным чат-ботом: совместный анализ логов и данных входной и выходной анкет

Разработка и изготовление платы для измерения динамических характеристик мощных МОПТ с использованием интегрального драйвера

Разработка турбо-эквалайзера для восходящего канала

Стохастическая динамика в системе волна-частица

Реоптимизация плана запроса во время его выполнения в аналитической MPP СУБД Apache Cloudberry (развитие механизма Anser)

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