Том 38, выпуск 6, часть 1

Ханевская К.А., Тяжкороб У.В., Игнатьев В.Н. Поиск множественного перечисления коллекций в исходном коде на языке C# методами статического анализа Стр. 9-22.

Доморацкий Э.А., Булычев Д.Ю. Формальная верификация алгоритма унификации рациональных термов Стр. 23-40.

Крюков О.С., Волошко А.Г., Ивутин А.Н. Подход к статической верификации многопоточных приложений на основе графовых моделей программы Стр. 41-62.

Тихонов Д.М., Стрижов В.В. Объединение пространств состояний динамической системы через полилинейное отображение Стр. 63-72.

Моисейкин А.Д., Дробышевский М.Д., Соловьев М.В. Трёхуровневое обнаружение аномалий в графах c текстовыми атрибутами с использованием графовой фундаментальной модели Стр. 73-86.

Балашов С.А. Сравнительный анализ открытых систем видеоаналитики по критериям масштабируемости, скорости и надёжности в контексте распределения задач в гетерогенных вычислительных средах Стр. 87-96.

Поддубный А.И., Дородных Н.О., Армаев А.С. Исследование семантического представления табличных данных для верификации фактов Стр. 97-122.

Пойманов Д.Р. Повышение эффективности квантования больших языковых моделей с архитектурой смеси экспертов Стр. 123-138.

Готсданкер А.С. Мультиагентная LLM-симуляция как аффективная абляция: декомпозиция когнитивно-дискурсивного и мотивационного слоёв групповой регуляции методом триангуляции симуляция–человек Стр. 139-160.

Щелов В.А. Сравнение классических алгоритмов контроля и методов обучения с подкреплением на примере промышленной эталонной модели в контексте адаптивных цифровых двойников Стр. 161-176.

Еремеев М.А., Хумонен И.С., Голядкин М.Ю., Фитискина А.А., Макаров И.А. Автоматическое восстановление берестяных грамот методами маскированного языкового моделирования Стр. 177-192.

Догадушкин Д.М., Норманская Ю.В. Связь экономических циклов и времени распада праязыков с точки зрения глоттохронологии (на материале мордовских языков) Стр. 193-202.

Воробьева В.В., Федоринова З.В. Способы маркирования прямой эвиденциальности в вах-васюганском диалекте хантыйского языка Стр. 203-218.

Новак И.П. «Корельская Исповѣдь»: памятник тверской карельской письменности XIX в Стр. 219-234

Муратова Р.Т. Цветообозначение *Āl ‘красный, алый’ в тюркских языках: поиск когнатов, этимологический анализ и картографирование на лингвистической платформе ЛингвоДок Стр. 235-242.

Кучина М.А., Кильдяков А.С., Папай И.Д. Зависимость внутренней размерности текста от языка Стр. 243-258.

Лазарева П.А., Гурько Н.В. Визуально-инерциальная навигация БПЛА с адаптивной оценкой неопределённости нейросетевой локализации на основе эвиденциального обучения Стр. 259-278.

Бугаев А.С., Сичкар Г.К., Васенина А.И. Расширение алгоритма сжатия в библиотеке LZ4 для работы с разрывными буферами блочного уровня ядра Linux Стр. 279-298.

Васильев М.Д., Стручков И.В. Система для проведения анонимных транзакций в публичной блокчейн-сети с доказательством благонадежности происхождения средств Стр. 299-310.

Гридин В.Н., Салем Б.Р., Солодовников В.И., Новиков И.А., Родина Е.С. Интерпретируемость визуального трансформера при классификации бактерий на изображениях сканирующей электронной микроскопии Стр. 311-322.

Пылов П.А., Майтак Р.В., Пимонов А.Г. Метод операторно-графовой релаксации для повышения качества автоматической сегментации анатомических структур сердца на медицинских изображениях Стр. 323-352.