Защиты диссертаций

Автоматизация сборки генома и сравнительного анализа метагеномов для обучения геномной биоинформатике

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

Генерация конечных автоматов с использованием программных средств решения задач выполнимости и удовлетворения ограничений

Генерация конечных автоматов на основе муравьиных алгоритмов

Верификация автоматных программ

Методы, модели и инструментальные средства проектирования неизображающих оптических систем с применением поверхностей типа "FREEFORM"

Генерация тестов для определения неэффективных решений олимпиадных задач по программированию с использованием эволюционных алгоритмов

Информация © 2015-2017 Университет ИТМО
Разработка © 2015 Департамент информационных технологий