Шалыто
Анатолий
Абрамович

д.т.н., профессор, заведующий кафедрой технологии программирования СПбГУ ИТМО

Автоматное программирование, машинное обучение и биоинформатика

Большинство ответственных технических систем являются событийными, а используемое в них управление является автоматным. Для таких систем может осуществляться ко-дизайн – поведение как аппаратной. так и программной части может быть описано с помощью автоматов. Автоматы могут быть либо построены эвристически, либо созданы с помощью машинного обучения. Программы, реализующие поведение рассматриваемого класса систем, называются автоматными. Такие программы могут быть эффективно верифицированы на основе метода Model Checking. Методы машинного обучения основаны на применении идей из живых систем, а в биоинформатике имеет место обратная ситуация – для исследования живых систем применяются дискретная математика, машинное обучение и программи-рование.

пт 26 апреля утренняя секция
ауд. 3315

Забашта А.С., Фильченков А.А.

Применение активного обучения для повышения качества системы предсказания алгоритмов классификации

Басин А.О., Буздалов М.В.

Адаптация размера популяции в $(1+(\lambda,\lambda))$~ГА при помощи модифицированного правила одной пятой

Суворов Д.М.

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

Овсянникова П.А.

Верификация и генерация гибридных автоматов: задачи и методы

Чухарев К.И.

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

Шатров В.В.

Верификация свойства киберфизического агностицизма в киберфизических системах

Сухов В.Д., Короткевич Г.В., Сергушичев А.А.

Оценка произвольно малых P-значений в тесте представленности функциональных наборов генов

Бебяков А.М., Довидченко Н.В., Одинцова В.Е., Клименко Н.С., Тяхт А.В.

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

Шовкопляс Г.Ф.

Самоподстраивающееся динамическое программирование на примере задачи о поиске наибольшей общей подпоследовательности

Збань И.К.

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

Цель и название

Инициаторы

Место проведения

Расписание

Научная программа

Секции-семинары

Регистрация / Вход

Публикации

Контесты

Программный комитет

Оргкомитет

Документы

Отзывы и рейтинги

Адреса и телефоны

Отчёты о работе

Бурова И.Г.

Гейн А.Г.

Голяндина Н.Э.

Граничин О.Н.

Графеева Н.Г.

Демьянович Ю.К.

Ермаков С.М.

Захаров В.А.

Кац В.М.

Косовская Т.М.

Кривулин Н.К.

Крук Е.А.

Кузнецов Н.В.

Кустова Е.В.

Лукач Ю.С.

Молдовян А.А.

Терехов А.Н.

Тулупьев А.Л.

Чернов А.В.

Фахрутдинов Р.Ш.

Фрадков А.Л.

Шалыто А.А.

Юсупов Р.М.