|
 |
Шалыто
Анатолий
Абрамович
д.т.н., профессор, заведующий кафедрой технологии программирования СПбГУ ИТМО
|
|
Автоматное программирование, машинное обучение и биоинформатика
Большинство ответственных технических систем являются событийными, а используемое
в них управление является автоматным. Для таких систем может осуществляться ко-дизайн –
поведение как аппаратной. так и программной части может быть описано с помощью автоматов.
Автоматы могут быть либо построены эвристически, либо созданы с помощью машинного обучения.
Программы, реализующие поведение рассматриваемого класса систем, называются автоматными.
Такие программы могут быть эффективно верифицированы на основе метода Model Checking.
Методы машинного обучения основаны на применении идей из живых систем, а в биоинформатике
имеет место обратная ситуация – для исследования живых систем применяются дискретная
математика, машинное обучение и программи-рование.
|
| пт 28 апреля |
 |
утренняя секция |
| ауд. 2448 |
|
Яковлева Ю.В., Коваленко Т.В., Галинский Р.Б., Никифоров И.В.
Библиотека построения векторной модели текста на основе морфемного разбора слов
Мельник М.В.
Алгоритм извлечения контекста изображения из веб-страницы
Пендряк А.А., Фильченков. А.А.
Автоматическая генерация потоков работ с использованием мета-обучения и генетического программирования
Забашта А.С., Фильченков А.А.
Генерация экземпляров для задачи бинарной классификации по их характеристическому описанию
Танфильев И.Д., Фильченков А.А.
Исследование рекомендательных систем алгоритмов выбора подмножества признаков основанных на мета-обучении
Ткаченко Г.С., Фильченков. А.А.
Автоматическое распознавание слов из ограниченного словаря на основе визуальных признаков
Буланова Н.С., Буздалов М.В.
Дерандомизация OneMax с помощью бинарного оператора
Петрова И.А., Буздалова А.С.
Теоретический анализ метода выбора вспомогательных критериев на задачах XdivK и Generalized OneMax
Антипов Д.С., Буздалов М.В.
Поиск оптимальной вероятности мутации для решения задачи XdivK
Миронович В.А., Буздалов М.В.
Выбор функции приспособленности для автоматической генерации связей данных в программах из функциональных блоков
|
|
|
