Всероссийская научная конференция
Математические основы информатики и информационно-коммуникационных систем
Поступившие тезисы докладов
| Автор | Научное направление | Тема | Дата поступления |
|---|---|---|---|
| Горбунов Игорь Анатольевич, ТвГУ | Математическая логика и теория алгоритмов | Субституциональные логики | 02.08.2021 |
| Рыбаков Михаил Николаевич, ТвГУ; Шкатов Дмитрий Петрович, ТвГУ, University of the Witwatersrand, Johannesburg | Математическая логика и теория алгоритмов | Неразрешимость логик с унарным предикатом и двумя переменными | 05.08.2021 |
| Афанасьев Григорий Александрович, НИУ МГСУ | Математическое моделирование информационно-телекоммуникационных систем | Системы обслуживания с перерывами в работе прибора и их приложения | 09.08.2021 |
| Афанасьева Лариса Григорьевна, Баштова Елена Евгеньевна, МГУ им.М.В.Ломоносова | Математическое моделирование информационно-телекоммуникационных систем | Асимптотический анализ систем обслуживания с повторными вызовами при регенерирующем входящем потоке | 09.08.2021 |
| Оноприенко Анастасия Александровна, ТвГУ, МГУ им. М.В.Ломоносова | Математическая логика и теория алгоритмов | Топологические модели логик QHC и QH4 | 11.08.2021 |
| Городняя Лидия Васильевна, ИСИ СО РАН | Математическая логика и теория алгоритмов | От дискретной математики к семантике языков программирования | 14.08.2021 |
| Вирбицкайте Ирина Бонавентуровна, Зубарев Алексей Юрьевич, аспирант. ИСИ СО РАН | Математическое моделирование информационно-телекоммуникационных систем | Сравнение языков моделей сетей Петри со слабой временной стратегией | 14.08.2021 |
| Селиверстов Александр Владиславович, ИППИ РАН | Математическая логика и теория алгоритмов | О сводимости систем линейных уравнений | 20.08.2021 |
| Белов Юрий Анатольевич, ЯрГУ им. П.Г.Демидова | Математическое моделирование информационно-телекоммуникационных систем | Вопрос о графах достижимости сетей Петри | 16.09.2021 |
| Новиков Михаил Дмитриевич, МГУ им. М.В.Ломоносова | Алгоритмы и структуры данных | Автоматическое тестирование студенческих программ | 17.09.2021 |
| Авхимович Николь Вадимовна, ТвГУ | Математическая логика и теория алгоритмов | Неподвижная точка для логических программ | 17.09.2021 |
| Куцак Нина Юрьевна, Подымов Владислав Васильевич, МГУ им. М.В.Ломоносова | Математическая логика и теория алгоритмов | Устранение операторов прошлого в троичной логике линейного времени на конечных трассах | 19.09.2021 |
| Айрапетян Жирайр Сережаевич, Фролов Дмитрий Сергеевич, Миркин Борис Григорьевич, ВШЭ | Методы искусственного интеллекта | Метод максимального правдоподобия для обобщения нечетких множеств в таксономиях | 19.09.2021 |
| Биллиг Владимир Арнольдович, ТвГТУ; Звягинцев Николай Васильевич, ТвГУ | Методы искусственного интеллекта | Комплекс алгоритмов Data Mining в исследовании процесса протекания химических реакций | 19.09.2021 |
| Маркович Наталья Михайловна, Рыжов Максим Сергеевич, ИПУ им. В.А. Трапезникова РАН | Математическое моделирование информационно-телекоммуникационных систем | Статистический анализ случайных графов для задачи распространения информации | 19.09.2021 |
| Косовская Татьяна Матвеевна, СПбГУ | Методы искусственного интеллекта | Изоморфизм предикатных формул и его применение для выделения общих свойств сложных структурированных объектов в задачах ИИ | 20.09.2021 |
| Степанов Владимир Алексеевич, ВЦ им.Дородницына РАН | Математическая логика и теория алгоритмов | In defense of the self-referencing quantifier Sx. Approximation of self-referential sentences by dynamic systems | 20.09.2021 |
| Секорин Всеслав Станиславович, ТвГУ | Математическая логика и теория алгоритмов | Элиминация оператора частичной фиксированной точки | 20.09.2021 |
| Кондратенко Александр Евгеньевич, МГУ им.М.В.Ломоносова; Соболев Виталий Николаевич, Лаборатория ТВП | Математическое моделирование информационно-телекоммуникационных систем | О стационарном распределении числа требований в одной системе массового обслуживания | 20.09.2021 |
| Запрягаев Александр Александрович, ВШЭ | Математическая логика и теория алгоритмов | Интерпретации в арифметиках Бюхи | 20.09.2021 |
| Кузнецов Степан Львович, МИ им.В.А.Стеклова РАН | Математическая логика и теория алгоритмов | Принцип декомпозиции и алгоритмическая неразрешимость для моноидов Клини с делениями | 20.09.2021 |
| Лыгин Леонид Ильич, Шилов Николай Вячеславович, «Университет Иннополис» | Математическое моделирование информационно-телекоммуникационных систем | Исчисления алиасов для Cи-подобных языков | 20.09.2021 |
| Пилькевич Павел Вадимович, Луцышен Виталий Алексеевич, СевГУ | Алгоритмы и структуры данных | Подход к обнаружению подозрительной активности на основе кластеризации событий протокола SSH | 20.09.2021 |
| Яковлев Виктор Алексеевич, СПбГУТ; Савинова Светлана Алексеевна, Гатчин Юрий Арменакович, Поляков Владимир Иванович, Чикалов Никита Вячеславович, ИТМО | Математическое моделирование информационно-телекоммуникационных систем | Методические рекомендации по оптимизации параметров системы аутентификации на основе использования универсальных хэш-функций и случайных цепочек бит | 20.09.2021 |
| Куценко Владимир Александрович, Яровая Елена Борисовна, МГУ им.М.В.Ломоносова | Математическое моделирование информационно-телекоммуникационных систем | Моделирование процессов с генерацией и транспортом частиц в случайной среде | 20.09.2021 |
| Сидорова Оксана Игоревна, ТвГУ; Суслов Лев Владимирович, Хохлов Юрий Степанович, МГУ им. М.В.Ломоносова | Математическое моделирование информационно-телекоммуникационных систем | Асимптотические оценки вероятности переполнения большого буфера телекоммуникационной системы для случая неоднородного входящего потока | 20.09.2021 |
| Шехтман Валентин Борисович, ИППИ РАН | Математическая логика и теория алгоритмов | О полноте модальных предикатных логик в семантике Крипке | 20.09.2021 |
| Миронов Андрей Михайлович, МГУ им. М.В.Ломоносова | Алгоритмы и структуры данных | Верификация протоколов аутентификации | 20.09.2021 |
