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

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

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

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

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

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

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

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

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

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

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