Intelligent systems. Theory and applications: Latest issue http://www.mathnet.ru/eng/ista 2026, Volume 30, Issue Issue 1 en-gb Copyright 2026, Thu, 26 Mar 2026 00:00:00 +0300 math-net2026_04@mi-ras.ru tche@mi-ras.ru Intelligent systems. Theory and applications http://www.mathnet.ru/JrnLogos/ista/ista_big.jpg http://www.mathnet.ru/eng/ista Architecture of a simplified automated reasoning system based on A. S. Podkolzin's approach A. P. Annenkov Intelligent systems. Theory and applications, 2026, 30:1, 6--35 http://mi.mathnet.ru/eng/ista580 Thu, 26 Mar 2026 00:00:00 +0300 Thu, 26 Mar 2026 00:00:00 +0300 http://mi.mathnet.ru/eng/ista580 Notes on identification and estimation of causal effects using observational data A. M. Chentsov, N. I. Toropov Intelligent systems. Theory and applications, 2026, 30:1, 36--55 http://mi.mathnet.ru/eng/ista581 Thu, 26 Mar 2026 00:00:00 +0300 Thu, 26 Mar 2026 00:00:00 +0300 http://mi.mathnet.ru/eng/ista581 Formal verification and censorship resistance of byzantine consensus protocols: an IBFT case study K. V. Ziborov, N. S. Bondarev, Yu. A. Yanovich Intelligent systems. Theory and applications, 2026, 30:1, 58--86 http://mi.mathnet.ru/eng/ista582 Thu, 26 Mar 2026 00:00:00 +0300 Thu, 26 Mar 2026 00:00:00 +0300 http://mi.mathnet.ru/eng/ista582 Improving the quality of vector representations of words by using several sources of representations A. M. Kolosov, A. I. Maĭsuradze Intelligent systems. Theory and applications, 2026, 30:1, 87--100 http://mi.mathnet.ru/eng/ista583 Thu, 26 Mar 2026 00:00:00 +0300 Thu, 26 Mar 2026 00:00:00 +0300 http://mi.mathnet.ru/eng/ista583 Addressing the training challenges of siamese networks for optical character recognition A. K. Mokin Intelligent systems. Theory and applications, 2026, 30:1, 101--123 http://mi.mathnet.ru/eng/ista584 Thu, 26 Mar 2026 00:00:00 +0300 Thu, 26 Mar 2026 00:00:00 +0300 http://mi.mathnet.ru/eng/ista584 Estimates for the proportion of sequences with small deviations from the mean V. V. Kochergin Intelligent systems. Theory and applications, 2026, 30:1, 126--150 http://mi.mathnet.ru/eng/ista585 Thu, 26 Mar 2026 00:00:00 +0300 Thu, 26 Mar 2026 00:00:00 +0300 http://mi.mathnet.ru/eng/ista585 On certain approaches to obtaining asymptotic complexity estimates for the implementation of systems of Boolean functions in the cellular circuit model S. A. Lozhkin, V. S. Zizov Intelligent systems. Theory and applications, 2026, 30:1, 151--163 http://mi.mathnet.ru/eng/ista586 Thu, 26 Mar 2026 00:00:00 +0300 Thu, 26 Mar 2026 00:00:00 +0300 http://mi.mathnet.ru/eng/ista586 Complexity of basic Boolean operators for digital circuit design I. S. Sergeev Intelligent systems. Theory and applications, 2026, 30:1, 164--186 http://mi.mathnet.ru/eng/ista587 Thu, 26 Mar 2026 00:00:00 +0300 Thu, 26 Mar 2026 00:00:00 +0300 http://mi.mathnet.ru/eng/ista587