Магистры, 564 группа

Агапова Татьяна Юрьевна. Построение дискретного плана управления по спецификации в виде LTL-формулы

 

Андреева Мария Александровна. Мобильное приложение для Интернет-магазина на основе параметризуемого шаблона

 

Васильев Алексей Дмитриевич. Персонификация мобильных приложений для конечных пользователей на основе шаблонов

 

Вельямидов Виталий Альбертович. Хранение и поиск N-грамм для распознавания речи в системе с большим объемом оперативной памяти

 

Калитеевский Василий Николаевич. Инверсная кинематика в задаче управления беспилотным летательным аппаратом

 

Кирсанов Александр Юрьевич. Поддержка консистентности модели семантической подсветки в редакторе IDE при конкурентных модификациях

 

Михалев Андрей Дмитриевич. Анализ алгоритмов локального сопоставления отпечатков пальцев

 

Морозов Сергей Валерьевич. Многоярусная файловая система: оптимизация архитектуры и алгоритмов управления

 

Назаренко Валерия Валерьевна. Алгоритм автоматической подстройки автопилота БПЛА самолетного типа различных размеров и типов

 

Полубелова Марина Игоревна. Использование сертифицированных библиотек в несертифицированных системах

 

Теодам Александр Андреевич. Реализация на программируемой логической интегральной схеме оптимизированного алгоритма атаки на алгоритм шифрования KeeLoq