Поступившие тезисы докладов - Всероссийская научная конференция

Автор	Научное направление	Тема	Дата поступления
Горбунов Игорь Анатольевич, ТвГУ	Математическая логика и теория алгоритмов	Субституциональные логики	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

Всероссийская научная конференция

Информация