Дипломы
Темы магистерских диссертаций, бакалаврских и курсовых работ для студентов "Компьютерные технологии" (внешняя ссылка: docs.google.com)
![](/images/spacer.gif)
Бакалаврские 2003
Наумов Л.А. Разработка среды и библиотеки CAME&L для решения задач с использованием клеточных автоматов
![](/images/spacer.gif)
Южаков Е.М. Построение автономного виртуального робота на основе автоматного подхода (на примере игры «CodeRally», предложенной на Java Challenge туре чемпионата мира по программированию по версии ACM 2003 г.)
![](/images/spacer.gif)
Бакалаврские 2004
Наумов А.С. Объектно-ориентированное программирование с явным выделением состояний
![](/images/spacer.gif)
Бакалаврские 2005
Коротков М.А. Разработка и реализация алгоритма укладки диаграмм состояний
![](/images/spacer.gif)
Лукьянова А.П. Моделирование и верификация потоков данных на диаграммах состояний
![](/images/spacer.gif)
Столбов С.А. Разработка метода реализации игр на тетрагональном поле, в которых преобладают локальные взаимодействия
![](/images/spacer.gif)
Фельдман П.И. Разработка средств для отладки автоматных программ, построенных на основе предложенной библиотеки
![](/images/spacer.gif)
Бакалаврские 2006
Бедный Ю.Д. Применение генетических алгоритмов для построения клеточных автоматов
![](/images/spacer.gif)
Вельдер С.Э. Введение в верификацию автоматных программ на основе метода Model Checking (PDF)
![](/images/spacer.gif)
Маврин П.Ю. Реализация диаграмм состояний
![](/images/spacer.gif)
Поликарпова Н.И. Объектно-ориентированный подход к моделированию и спецификации сущностей со сложным поведением
![](/images/spacer.gif)
Магистерские 2006
Корниенко А.А. Автоматный подход к реализации элементов графического пользовательского интерфейса
![](/images/spacer.gif)
Ларионов А.В. Визуальный язык автоматного программирования для Microsoft Visual Studio 2005
![](/images/spacer.gif)
Раер М.Г. Автоматное расширение языка C#
![](/images/spacer.gif)
Гуисов М.И. Применение нейронных сетей для оценки позиции в игре Го
![](/images/spacer.gif)
Бакалаврские 2007
Данилов В.Р. Технология генетического программирования для генерации автоматов управления системами со сложным поведением
![](/images/spacer.gif)
Козлов В.А. Оптимальный поиск в длинных строках с использованием внешней памяти (PDF)
![](/images/spacer.gif)
Кочелаев Д.Ю. Методы динамической проверки непротиворечивости автоматной модели (PDF)
![](/images/spacer.gif)
Лукин М.А. Верификация автоматных программ (PDF)
![](/images/spacer.gif)
Паращенко Д.А. Обработка строк на основе суффиксных автоматов
![](/images/spacer.gif)
Решетников О.Е. Инструментальное средство для визуального проектирования автоматных программ на основе Microsoft Domain-Specific Language Tools
![](/images/spacer.gif)
Царев Ф.Н. Разработка метода совместного применения генетического программирования и конечных автоматов (PDF)
![](/images/spacer.gif)
Хасянзянов Б.З. Метод создания отладчиков для доменно-ориентированных языков программирования на основе технологии Eclipse Modeling
![](/images/spacer.gif)
Яминов Б.Р. Автоматизация верификации автоматных UniMod-моделей на основе инструментального средства Bogor (PDF)
![](/images/spacer.gif)
Магистерские 2007
Коротков М.А. Алгоритмы укладки диаграмм состояний
![](/images/spacer.gif)
Лукьянова А.П. Преобразования программ, сохраняющие поведение
![](/images/spacer.gif)
Скаков П.С. Классификация поведения одномерных клеточных автоматов (PDF)
![](/images/spacer.gif)
Столбов С.А. Автоматизированное построение клеточного автомата на основе описания логики игры
![](/images/spacer.gif)
Суясов Д.И. Разработка алгоритмов распознавания текста на основе клеточных автоматов
![](/images/spacer.gif)
Бакалаврские 2008
Акишев И.Р. Разработка и анализ параллельных поисковых структур данных, нечувствительных к размеру кеша
![](/images/spacer.gif)
Дворкин М.Э. Методы оптимизации доказательства NP-полноты двумерных локально зависимых задач (PDF)
![](/images/spacer.gif)
Егоров К.В. Разработка верификатора автоматных программ
![](/images/spacer.gif)
Законов А.Ю. Применение автоматного подхода при создании JavaCard-приложений
![](/images/spacer.gif)
Иринев А.В. Генерация вероятностных автоматов методами стимулирующего обучения
![](/images/spacer.gif)
Каширин В.В. Метод модификации оценочных функций для оптимизации работы генетических алгоритмов, генерирующих конечные автоматы
![](/images/spacer.gif)
Лагунов И.А. Разработка текстового языка автоматного программирования и его реализация для инструментального средства UniMod на основе автоматного подхода
![](/images/spacer.gif)
Магистерские 2008
Абдрашитов Д.С. Применение деревьев для представления строковой информации
![](/images/spacer.gif)
Бедный Ю.Д. Применение генетических алгоритмов для генерации автоматов при построении модели максимального правдоподобия и в задачах управления
![](/images/spacer.gif)
Вельдер С.Э. Применение методов снижения размерности к задачам верификации TCTL и оптимальной укладки графов (PDF)
![](/images/spacer.gif)
Котов А.Н. Моделирование дорожного движения на многополосной магистрали при помощи двумерного вероятностного клеточного автомата с тремя состояниями
![](/images/spacer.gif)
Тихонова У.Т. Определение языков программирования интерпретируемыми автоматами
![](/images/spacer.gif)
Точилин В.Н. Метод сокращенных таблиц для генерации автоматов с большим числом входных воздействий на основе генетического программирования
![](/images/spacer.gif)
Цимбалюк Е.А. Текстовый язык автоматного программирования ТАВР
![](/images/spacer.gif)
Поликарпова Н.И. Динамический вывод утверждений в языке программирования с поддержкой проектирования по контракту (на примере языка Eiffel) (PDF)
![](/images/spacer.gif)
Бакалаврские 2009
Гиндин С.И. Верификация автоматной модели мобильного банковского приложения (PDF)
![](/images/spacer.gif)
Пенькин Д.М. Построение автоматной модели по спецификации на примере банковского сервера аутентификации
![](/images/spacer.gif)
Селифонов Е.В. Оптимизация работы программ для графического процессора (PDF)
![](/images/spacer.gif)
Смирнов Е.В. Приведение объектно-ориентированных программ к автоматному виду (PDF)
![](/images/spacer.gif)
Соколов Д.О. Применение двухэтапного генетического программирования для построения автомата, управляющего моделью танка в игре Robocode (PDF)
![](/images/spacer.gif)
Тихомиров А.В. Адаптивная модификация текстурной раскладки для карт освещенности (PDF)
![](/images/spacer.gif)
Федотов П.В. Подход к безопасному внесению изменений в графы переходов автоматных систем (PDF)
![](/images/spacer.gif)
Буздалов М.В. Применение генетических алгоритмов для генерации тестов, выявляющих неэффективные решения олимпиадных задач по программированию, на примере задачи о рюкзаке (PDF)
![](/images/spacer.gif)
Магистерские 2009
Данилов В.Р. Методы представления функции переходов при генерации автоматов управления на основе генетического программирования (PDF)
![](/images/spacer.gif)
Кочелаев Д.Ю. Проектирование, спецификация и реализация автоматизированных классов (PDF)
![](/images/spacer.gif)
Лукин М.А. Верификация визуальных автоматных программ с использованием инструментального средства SPIN (PDF)
![](/images/spacer.gif)
Паращенко Д.А. Суффиксные автоматы с сохранением промежуточных версий и их приложений (PDF)
![](/images/spacer.gif)
Решетников Е.О. Инструментальное средство для поддержки автоматного программирования в среде разработки Microsoft Visual Studio 2008
![](/images/spacer.gif)
Царев Ф.Н. Разработка методов совместного применения генетического и автоматного программирования (PDF)
![](/images/spacer.gif)
Яминов Б.Р. Сравнение методов верификации UniMod-моделей (PDF)
![](/images/spacer.gif)
Бакалаврские 2010
Алексеев С.А. Программно-аппаратный комплекс для исследования автоматного управления мобильными роботами (PDF)
![](/images/spacer.gif)
Борисенко А.А. Интеграция верификации в интерактивный процесс разработки программ с явным выделением состояний (PDF)
![](/images/spacer.gif)
Долгих Е.Д. Разработка системы, моделирующей поведение агента в стохастической игре с неполной информацией, на примере игры "Покер Техасский Холдем"
![](/images/spacer.gif)
Исенбаев В.В. Разработка системы секвенирования ДНК с использованием paired-end данных (PDF)
![](/images/spacer.gif)
Капун Е.Д. Разработка метода сравнения нуклеотидных последовательностей путем разбиения на фрагменты (PDF)
![](/images/spacer.gif)
Попов С.И. Многоэтапное обучение агентов, управляемых автоматами, с помощью генетических алгоритмов (PDF)
![](/images/spacer.gif)
Родиков Д.Е. Синхронное определение местоположения и составление 2D-карты по стерео изображению в режиме реального времени (PDF)
![](/images/spacer.gif)
Терескин А.А. Метод выделения факторов, влияющих на решения объекта моделирования, на примере игры "Покер техасский холдем"
![](/images/spacer.gif)
Чебатуркин А.А. Методы верификации конечных автоматов, взаимодействующих по акторной модели
![](/images/spacer.gif)
Чернявский И.И. Применение машинного обучения для создания управляющих автоматов на примере игры "Robocode" (PDF)
![](/images/spacer.gif)
Магистерские 2010
Дворкин М.Э. Методы минимизации необходимого числа цепей для секвенирования ДНК (PDF)
![](/images/spacer.gif)
Егоров К.В. Совместное применение генетического программирования и верификации моделей для построения автоматов управления системами со сложным поведением (PDF)
![](/images/spacer.gif)
Законов А.Ю. Применение генетических алгоритмов к генерации тестов для автоматных программ (PDF)
![](/images/spacer.gif)
Клебанов А.А. Применение шаблонов требований для формальной спецификации и верификации автоматных программ (PDF)
![](/images/spacer.gif)
Кулев В.А. Метод генетического программирования на основе моделирования противоборствующих популяций автоматных программ (PDF)
![](/images/spacer.gif)
Мандриков Е.А. Совместное использование автоматного программирования и генетических алгоритмов для управления мультиагентными системами (PDF)
![](/images/spacer.gif)
Синев И.А. Применение двухфазного метода для генерации тестов для олимпиадных задач по теории графов (PDF)
![](/images/spacer.gif)
Бакалаврские 2011
Ахи А.А. Автоматические методы модификации решений для тестирования проверяющих программ
![](/images/spacer.gif)
Банных А.Г. Применение деревьев для реализации массовых операций на многомерных массивах данных
![](/images/spacer.gif)
Казаков С.В. Разработка метода построения конечных автоматов верхнего уровня для управления моделью беспилотного самолета на основе обучающих примеров
![](/images/spacer.gif)
Ульянцев В.И. Применение методов решения задачи о выполнимости булевой формулы для построения управляющих конечных автоматов по сценариям работы
![](/images/spacer.gif)
Шестаков А.В. Разработка методов модификации автоматных программ при изменении сценариев их работы
![](/images/spacer.gif)
Сергушичев А.А. Разработка метода восстановления фрагментов нуклеотидной последовательности по парным чтениям
![](/images/spacer.gif)
Магистерские 2011
Буздалов М.В. Генерация тестов для олимпиадных задач по теории графов с использованием эволюционных алгоритмов
![](/images/spacer.gif)
Селифонов Е.В. Оптимизация высокопроизводительных вычислений с использованием графических процессоров (PDF)
![](/images/spacer.gif)
Бакалаврские 2012
Афанасьева А.С. Выбор вспомогательных оптимизируемых величин для ускорения процесса оптимизации с помощью машинного обучения
![](/images/spacer.gif)
Николаев К.В. Методы оптимизации мобильных интерфейсов
![](/images/spacer.gif)
Магистерские 2012
Тяхти А.С. Применение генетических алгоритмов и эволюционных стратегий для построения управляющих конечных автоматов по сценариям работы
![](/images/spacer.gif)
Чернявский И.И. Извлечение отношений из текстов на естественном языке
![](/images/spacer.gif)
Бакалаврские 2013
Бужинский И.П. Метод построения управляющих конечных автоматов с учетом непрерывных выходных воздействий на основе обучающих примеров (PDF)
![](/images/spacer.gif)
Петрова И.А. Повышение эффективности алгоритмов многокритериальной оптимизации с помощью машинного обучения для решения задач составления расписаний (PDF)
![](/images/spacer.gif)
Рост А.Ю. Методы автоматизированного покрытия кода тестами на основе эволюционных алгоритмов (PDF)
![](/images/spacer.gif)
Магистерские 2013
Александров А.В. Разработка метода исправления ошибок вставки и удаления в наборе чтений нуклеотидной последовательности (PDF)
![](/images/spacer.gif)
Чивилихин Д.С. Метод построения конечных автоматов на основе муравьиного алгоритма
![](/images/spacer.gif)
Казаков С.В. Разработка алгоритма упрощения графа перекрытий при сборке геномных последовательностей (PDF)
![](/images/spacer.gif)
Сергушичев А.А. Разработка метода восстановления фрагментов генома по парным чтениям с ошибками вставки и удаления (PDF)
![](/images/spacer.gif)
Ульянцев В.И. Построение управляющих конечных автоматов по сценариям работы на основе решения задачи удовлетворения ограничений
![](/images/spacer.gif)
Бакалаврские 2014
Васин А.Ю. Сборка скэффолдов геномной последовательности на основе принципа максимального правдоподобия
![](/images/spacer.gif)
Муравьев С.Б. Разработка метода оценки качества сборки генома на основе принципа максимального правдоподобия
![](/images/spacer.gif)
Попов А.Л. Разработка классификатора для оценки качества перевода без использования эталонов перевода (PDF)
![](/images/spacer.gif)
Муцянко М.С. Статический и динамический вывод типов скомпилированных макросов языка программирования Scala (PDF)
![](/images/spacer.gif)
Магистерские 2014
Долганов В.О. Разработка метода сборки транскриптома на основе анализа компонент связности графа де Брейна (PDF)
![](/images/spacer.gif)
Кевер М.Е. Теоретическое исследование вычислительной сложности задачи Jump-K (PDF)
![](/images/spacer.gif)
Бакалаврские 2015
Зайцев К.В. Проектирование и реализация веб-сервиса для анализа экспрессии генов (PDF)
![](/images/spacer.gif)
Закирзянов И.Т. Разработка предикатов нарушения симметрии для построения детерминированных конечных автоматов при помощи сведения к задаче о выполнимости (PDF)
![](/images/spacer.gif)
Мельник М.В. Применение методов решения задачи о выполнимости булевой формулы для построения минимальной филогенетической сети (PDF)
![](/images/spacer.gif)
Ткаченко Г.С. Параллельные алгоритмы поиска кратчайших путей на графах (PDF)
![](/images/spacer.gif)
Магистерские 2015
Аксенов В.Е. Комбинаторные конструкции для вычисления числа паросочетаний и определителей на решетках (PDF)
![](/images/spacer.gif)
Архипов В.С. Разработка эффективной параллельной реализации эволюционной стратегии с адаптацией ковариационной матрицы (PDF)
![](/images/spacer.gif)
Бужинский И.П. Генерация покрывающих наборов тестов для систем, представленных в стандарте IEC 61499, на основе эволюционных алгоритмов (PDF)
![](/images/spacer.gif)
Буланова Н.С. Исследование эффективности применения вспомогательных оптимизируемых величин при использовании методов оптимизации на основе искусственных иммунных систем (PDF)
![](/images/spacer.gif)
Кириллова А.А. Разработка алгоритма неточного поиска чтений в геноме с применением вычислений на видеокартах (PDF)
![](/images/spacer.gif)
Ливарский Р.Ю. Построение модели для определения вероятностей ошибок в данных секвенирования в зависимости от контекста (PDF)
![](/images/spacer.gif)
Матвеева А.А. Выбор вспомогательных оптимизируемых величин в эволюционных алгоритмах при помощи многокритериального обучения с подкреплением (PDF)
![](/images/spacer.gif)
Нигматуллин Н.Г. Поддержка вычисления вспомогательных оценочных величин в структурах данных для инкрементальной недоминирующей сортировки (PDF)
![](/images/spacer.gif)
Петрова И.А. Выбор вспомогательных оптимизируемых величин для повышения эффективности эволюционных алгоритмов в нестационарных условиях (PDF)
![](/images/spacer.gif)
Рост А.Ю. Адаптивная настройка параметров эволюционных алгоритмов с помощью обучения с подкреплением (PDF)
![](/images/spacer.gif)
Якупов И.Ю. Разработка структуры данных для инкрементальной недоминирующей сортировки (PDF)
![](/images/spacer.gif)
Бакаларские 2016
Лобода А.А. "Решение задачи нахождения связного подграфа максимального веса с учетом весов ребер" (PDF)
![](/images/spacer.gif)
Магистерские 2016
Муцянко М.С. Compiler-agnostic модель раскрытия макроопределений с динамическим выводом типов языка программирования Scala (PDF)
![](/images/spacer.gif)
Русин Н.С. "Разработка системы управления малогабаритным беспилотным вертолетом на основе автоматного программирования и машинного обучения" (PDF)
![](/images/spacer.gif)
Бакалаврские 2017
Зенкова Д.М. Реализация эффективного взаимодействия между платформой для анализа экспрессии генов Morpheus и библиотекой вычислительных методов R/Bioconductor (PDF)
![](/images/spacer.gif)
Моклев В.В. Нарушение симметрий в графах на основе обхода в ширину (PDF)
![](/images/spacer.gif)
Мухутдинов Д.В. Глубокие самообучающиеся агенты в мультиагентной системе маршрутизации (PDF)
![](/images/spacer.gif)
Магистерские 2017
Ковшаров А.П. Исследование зависимости вероятности ошибки на блок от спектра графа Таннера для кодов с малой плотностью проверок на четность (PDF)
![](/images/spacer.gif)
Самборский И.М. Мультимодальный кроссплатформенный анализ данных для выявления индивидуальных и групповых атрибутов пользователей социальных сетей (PDF)
![](/images/spacer.gif)
Эсаулова Е.Н. Предсказание взаимодействий между раковой опухолью и организмом по данным метилирования ДНК, экзомного и РНК-секвенирования (PDF)
![](/images/spacer.gif)
Бакалаврские 2018
Коликов Д.А. Индукция алгоритмов с помощью Тьюринг-полных сетей глубокого обучения (PDF)
![](/images/spacer.gif)
Якутов Д.А. Солвер для задачи линейной оптимизации в пространстве сбалансированных потоков с термодинамическими ограничениями (PDF)
![](/images/spacer.gif)
Магистерские 2018
Коноплич Г.В. Распознование именованных сущностей в русском языке с использованием глубоких нейронных сетей (PDF)
![](/images/spacer.gif)
Магистерские 2019
Мухутдинов Д.В. Децентрализованный алгоритм управления конвейерной системой с использованием методов мультиагентного обучения с подкреплением (PDF)
![](/images/spacer.gif)
Работы коллег
Spichakova M. Genetic Inference of Finite State Machines (внешняя ссылка: s-ma-u-g.googlecode.com)
![](/images/spacer.gif)
Бахорина А.П. Рекуррентные соотношения и конечные автоматы в решении задач информатики (PDF)
![](/images/spacer.gif)