Том 38, выпуск 5

Герюгова А.Э., Луценко В.В., Синицын А.А. Алгоритм обратного преобразования из гибридной позиционно-остаточной системы счисления Стр. 7-20.

Алейник В.В., Фомин Д.С., Чепцов В.Ю. Архитектура детерминированного сетевого стека UDP/IP в операционной системе реального времени с поддержкой стандарта ARINC 653 Стр. 21-36.

Семенов Г.В. Эпистемический подход к бесконфликтно реплицируемым типам Стр. 37-50.

Кемаев И.О., Девянин П.Н. Способ выявления нарушений безопасности (на примере вирусов-шифровальщиков) OC Astra Linux с использованием машинного обучения Стр. 51-72.

Александров Д.В., Василевский В.И., Резуник Л.А., Кулигин Л.А., Манушкина А.В., Думкин Н.А., Прозорский М.А., Пинигин К.Ю. JavaCapsule: Итеративная генерация и отладка Java-кода на основе структурированной обратной связи Стр. 73-90.

Янин А.С., Ицыксон В.М., Кечин В.В., Ковалевский В.М. DIFFuzzer: шаг на пути к тестированию файловых систем на основе спецификаций Стр. 91-102.

Чжоу Ц., Шершаков С.А. OCSD: Исследование СОА-систем с помощью объектно-центрических диаграмм последовательности Стр. 103-118.

Тимонин А.С., Шершаков С.А. Применимость подхода «SOFA/SODA» для обнаружения проблем проектирования многомодульных решений на основе подключаемого предподготовленного анализатора исходного кода Стр. 119-132.

Якушев А.Ю., Акименков А.А., Обыденков Д.О., Абуд Х.Н., Токарев С.Е., Маркин Ю.В. Контроль целостности изображений на основе цифровых водяных знаков, перцептивного хеширования и цифровой подписи Стр. 133-154.

Стародубцев Н.О. Обратимые малошаговые диффузионные модели для редактирования изображений по текстовому описанию Стр. 155-174.

Стародубцев Н.О. Малошаговые диффузионные модели с прогрессивным увеличением разрешения для генерации изображений и видео Стр. 175-194.

Великонивцев Ф.С. Эффективное масштабирование графовых нейронных сетей за счёт реализации алгоритмов, учитывающих устройство графических ускорителей Стр. 195-216.

Великонивцев Ф.С. Проблемы генерации структурно разнообразных графов Стр. 217-234.

Баженов Г.В. Оценка устойчивости и неопределённости графовых моделей при структурных сдвигах распределения данных Стр. 235-256.

Баженов Г.В. Оценка качества графовых моделей машинного обучения на разнообразных промышленных данных Стр. 257-286.

Рубачёв И.В. Глубокое обучение на табличных данных: от надежной оценки к передовым результатам на академических наборах данных Стр. 287-304.

Рубачёв И.В. Оценка табличного глубокого обучения в условиях временного сдвига и высокоразмерных признаковых пространств Стр. 305-324.

Аккузина В.М., Викентьева О.Л. Метод автоматической проверки и исправления форматирования текстовых документов в образовательной среде Стр. 325-336.

Петров О.М. Мемоизация абстракций блоков для символьных графов памяти Стр. 337-350.