Volume 38, issue 6, part 1

Khanevskaya K.A., Tsiazhkorob U.V., Ignatiev V.N. Detection of Multiple Enumeration in the C# Source Code Using Static Analysis pp. 9-22

Domo0ratskiy E.A., Boulytchev D.Yu. Certified Unification for Rational Terms pp. 23-40

Kryukov O.S., Voloshko A.G., Ivutin A.N. Approach to static verification of multithreaded applications based on a graph model of a program pp. 41-62

Tikhonov D.M., Strijov V.V. Unifying state spaces of a dynamical system via multilinear mapping pp. 63-72

Moiseykin A.D., Drobyshevskiy M.D., Soloviov M.V. Tri-Level Anomaly Detection in Text-Attributed Graphs with Graph Foundation Model pp. 73-86

Balashov S.A. Comparative Analysis of Open-Source Video Analytics Systems for Task Distribution in Heterogeneous Computing Environments pp. 87-96

Poddubny I.A., Dorodnykh N.O., Armaev A.S. Study of Semantic Representation of Tabular Data for Fact Verification pp. 97-122

Poimanov D.R. Enhancing Quantization Efficiency in Mixture-of-Experts Large Language Models pp. 123-138

Gotsdanker A.S. LLM Simulation as Affective Lesion: Decomposing Cognitive-Discursive and Motivational Layers in Group Regulation Through Simulation–Human Triangulation pp. 139-160

Shchelov V.A. Comparison of classical control algorithms and reinforcement learning methods using an industrial benchmark in the context of adaptive digital twins pp. 161-176

Eremeev M.A., Humonen I.S., Golyadkin M.Yu, Fitiskina A.A., Makarov I.A. Automatic Restoration of Birchbark Manuscripts Using Masked Language Modeling pp. 177-192

Dogadushkin D.M., Normanskaja Ju.V. The Relationship between Economic Cycles and the Timing of Proto-Language Divergence: A Glottochronological Perspective (Evidence from the Mordvin Languages) pp. 193-202

Vorobeva V.V., Fedorinova Z.V. Methods of Encoding Direct Evidentiality in the Vakh-Vasyugan Dialect of Khanty pp. 203-218

Novak I.P. “The Karelian Confession”: a 19th century Tver Karelian written language monument pp. 219-234

Muratova R.T. The color term *Āl ‘red, scarlet’ in Turkic languages: search for cognates, etymological analysis, and mapping on the linguistic platform LingvoDoc pp. 235-242

Kuchina M.A., Kildyakov A.S., Papay I.D. Dependence of Text Intrinsic Dimension on Language pp. 243-258

Lazareva P.A., Gurko N.V. Visual-inertial navigation of UAVs with adaptive uncertainty estimation of neural network localization based on evidential learning pp. 259-278

Bugaev A.S., Sichkar G.K., Vasenina A.I. Extension of LZ4 compression algorithm for handling scatter-gather buffers in the Linux kernel block layer pp. 279-298

Vasilyev M.D., Struchkov I.V. Anonymous Transaction System in Public Blockchain with Proof of Funds Origin Trustworthiness pp. 299-310

Gridin V.N., Salem B.R., Solodovnikov V.I., Novikov I.A., Rodina E.S. Interpretability of Vision Transformer in bacterial classification on SEM images pp. 311-322

Pylov P.A., Maitak R.V., Pimonov A.G. Operator-graph relaxation for enhanced automatic segmentation of cardiac anatomical structures in medical images pp. 323-352