|
 |
Герасимов
Михаил
Александрович
к.ф.-м.н., доцент кафедры информатики
|
| Соруководитель секции: |
 |
|
Фундаментальная информатика
На секции ожидаются доклады по тематикам, описанным ниже.
- Формализованные эффективные спецификации компьютерных программ, алгоритмов и сетей:
- Рекурсивно логическое программирование.
- Другие парадигмы спецификаций и примеры их использования.
- Доказательства свойств программ и алгоритмов:
- Доказательства полиномиальности алгоритмов.
- Доказательства корректности программ и алгоритмов.
- Другие доказательства.
|
| чт 25 апреля |
 |
дневная секция |
| ауд. 4337 |
|
Буянов С.В.
Достаточные условия сходимости несинхронизируемых итерационных процессов
|
|
Заболотский Е.Д.
Разработка и реализация быстрых алгоритмов классификации текстов опубликованных online
|
|
Августинов Д.М.
Разработка и реализация быстрых алгоритмов классификации текстов опубликованных online
|
|
Антон Ю.Ф.
WEB приложения для работы с изображениями биометрического характера
|
|
Симуни М.Л.
Функциональное программирование с использованием обобщенных регулярных выражений
|
|
Овсянников А.А.
Реализация пакета программ для улучшения качества видеоинформации средствами взаимодополняемых источников
|
|
Петухова Н.Д.
Обратный метод Маслова и муравьиная тактика решения задач искусственного интеллекта
|
|
Гошев В.А.
Схема универсальной функции для языка Рефал-5
|
|
Герасимов М.А.
NP-полная задача о разбиении множества на К подмножеств и субэкспоненциальные функции
|
|
Шульгин Д.С.
Сравнительный анализ производительности современных серверов приложений
|
|
Герасимов М.А., Носовец А.А.
Классификация древнетибетских текстов методом спектрального анализа
|
|
|
