Том 38, выпуск 4, часть 2

Твардовский А.С., Бурдонов И.Б., Евтушенко Н.В. Идентификация финального состояния в автоматах с таймаутами и временными ограничениями Стр. 7-22.

Громов Р.С., Нестеров Р.А. Об эффективности алгоритма поиска кратчайшего пути на графе из множества стартовых вершин Стр. 23-44.

Шевцов А.А., Чуркин Я.А., Бучацкий Р.А., Камкин А.С., Мельник Д.М. Автоматическая проверка синтезируемости описаний аппаратуры Стр. 45-66.

Кулямин В.В., Петренко А.К. Об оценке и метриках защищенности операционных систем Стр. 67-80.

Ефремов Д.В. Сравнительная количественная оценка механизмов усиления защищенности ядер операционных систем Стр. 81-108.

Антипов З.A. Методика сравнения и анализа безопасности подсистем обработки прерываний в ядрах операционных систем и устойчивости к штормам прерываний Стр. 109-122.

Маринин Н.Д., Гетьман А.И. Определение эффективности обнаружения DNS-туннелей при помощи нейронной сети в системе обнаружения вторжений Стр. 123-142.

Братенков А.М., Степина Н.О., Никифоров И.В., Юсупова О.А. Квантование матриц модели Изинга для комбинаторной оптимизации на RISC-V с использованием Lichee Pi 4A Стр. 143-160.

Курмангалеев Ш.Ф., Юрьев А.С., Дацук Н.А Методы формирования структур запросов к серверным точкам мобильных приложений для определения поверхности атаки Стр. 161-176.

Чернобровенко А.Е., Лылов Д.А., Панченко М.В. Сравнительный анализ производительности библиотек объектно-реляционного отображения для Python Стр. 177-192.

Турдаков Д.Ю., Майоров В.Д., Рындин М.А. TDM: формальная модель данных для интеграции структурированных и неструктурированных данных Стр. 193-214.

Жулитов А.К., Ломазова И.А. Синтез ациклических моделей для процессов без повторяющихся событий Стр. 215-224.

Акименков А.А., Обыденков Д.О., Якушев А.Ю., Абуд Х.Н., Маркин Ю.В. AWA: выравнивание весов на основе активаций для повышения устойчивости статических методов маркирования нейронных сетей Стр. 225-244.

Авдошин С.М., Патрушев К.А. Дискретная оптимизация портфеля Марковица с использованием открытых классических и квантово-вдохновлённых алгоритмов: кросс-рыночное исследование с пошаговой валидацией Стр. 245-256.

Чикаке Т. М., Михайлов А.А. Гибридный подход к оценке эссе без обучения на целевом корпусе с помощью LLM-агентов на основе рубрик и детерминированных лингвистических признаков Стр. 257-266.

Ковылин С.В. Рефлексы самодийских *j-: k-, tʲ-/čʲ- и *-ŋk-: -ŋq-, -qq- в селькупских диалектах Стр. 267-278.

Полыгалов Б.А., Ланин В.В. Разработка CASE-платформы с генеративным искусственным интеллектом и агентным слоем модельного контекста Стр. 279-292.