Герасимов
Михаил
Александрович

к.ф.-м.н., доцент кафедры информатики

Соруководитель секции:
Фундаментальная информатика

На секции ожидаются доклады по тематикам, описанным ниже.

  1. Формализованные эффективные спецификации компьютерных программ, алгоритмов и сетей:
    • Рекурсивно логическое программирование.
    • Другие парадигмы спецификаций и примеры их использования.
  2. Доказательства свойств программ и алгоритмов:
    • Доказательства полиномиальности алгоритмов.
    • Доказательства корректности программ и алгоритмов.
    • Другие доказательства.
чт 25 апреля дневная секция
ауд. 4337

Буянов С.В.

Достаточные условия сходимости несинхронизируемых итерационных процессов

Заболотский Е.Д.

Разработка и реализация быстрых алгоритмов классификации текстов опубликованных online

Августинов Д.М.

Разработка и реализация быстрых алгоритмов классификации текстов опубликованных online

Антон Ю.Ф.

WEB приложения для работы с изображениями биометрического характера

Симуни М.Л.

Функциональное программирование с использованием обобщенных регулярных выражений

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

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

Петухова Н.Д.

Обратный метод Маслова и муравьиная тактика решения задач искусственного интеллекта

Гошев В.А.

Схема универсальной функции для языка Рефал-5

Герасимов М.А.

NP-полная задача о разбиении множества на К подмножеств и субэкспоненциальные функции

Шульгин Д.С.

Сравнительный анализ производительности современных серверов приложений

Герасимов М.А., Носовец А.А.

Классификация древнетибетских текстов методом спектрального анализа

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

Инициаторы

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

Расписание

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

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

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

Публикации

Контесты

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

Оргкомитет

Документы

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

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

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

Булычев Д.Ю.

Бурова И.Г.

Гейн А.Г.

Герасимов М.А.

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

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

Зикратов И.А.

Кандоба И.Н.

Кириленко Я.А.

Клейменов А.Ф.

Косовский Н.К.

Крук Е.А.

Леонов Г.А.

Лучин Р.М.

Нестеров В.М.

Новиков Б.А.

Прохоров В.В.

Сафонов В.О.

Терехов А.Н.

Тимофеев А.В.

Трифонов П.В.

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

Фёдоров А.Р.

Фрадков А.Л.

Шалыто А.А.

Юсупов Р.М.