|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Математические основы информатики и информационно-коммуникационных систем.Конференция
- Член программного комитета: Хохлов Ю.С.
- Охват: Всероссийская
- Даты проведения: 3-8 декабря 2021
- Место проведения: Тверь., Россия
-
Организатор:
Математический институт имени В. А. Стеклова РАН - Число участников: 60
- Число участников из МГУ: 8
- Число докладчиков: 40
-
Описание конференции:
Конференция организована Тверским государственным университетом совместно с Математическим центром мирового уровня «Математический институт им. В. А. Стеклова РАН» и посвящена 85-летию со дня рождения Михаила Абрамовича Тайцлина (1936–2013) и 75-летию со дня рождения Михаила Иосифовича Дехтяря (1946–2018).
- Добавил в систему: Новиков Михаил Дмитриевич
Доклады:
- 2021 Автоматическое тестирование студенческих программ (Устный)
- Автор: Новиков М.Д.
- 2021 Асимптотические оценки вероятности переполнения большого буфера телекоммуникационной системы для случая неоднородного входящего потока (Устный)
- Авторы: Сидорова О.И., Суслов Л.В., Хохлов Ю.С.
- 2021 Верификация криптографических протоколов (Устный)
- Автор: Миронов Андрей Михайлович
- 2021 Моделирование процессов с генерацией и транспортом частиц в случайной среде (Приглашенный)
- Авторы: Куценко В.А., Яровая Е.Б.
- 2021 О полноте модальных предикатных логик в семантике Крипке (Устный)
- Автор: Шехтман В.Б.
- 2021 О стационарном распределении числа требований в одной системе массового обслуживания (Устный)
- Авторы: Кондратенко Александр Евгеньевич, Соболев Виталий Николаевич
- 2021 Основанные на решетках алгебраические системы и их приложения в задачах управления знаниями (Приглашенный)
- Автор: Махортов С.Д.
- 2021 Принцип декомпозиции и алгоритмическая неразрешимость для моноидов Клини с делениями (Устный)
- Автор: Кузнецов Степан Львович
- 2021 Теория определимости в контексте информационно-коммуникационных систем (Приглашенный)
- Автор: Семенов А.Л.
- 2021 Топологические модели логик HC и H4 (Устный)
- Автор: Оноприенко А.А.