Vol. 57, No. 7, 2023

Automatic Control and Computer Sciences

An Algorithm of Angular Superresolution Using the Cholesky Decomposition and Its Implementation Based on Parallel Computing Technology

S. E. Mishchenko and N. V. Shatskiy p. 661 abstract

Recursive-Parallel Algorithm for Solving the Graph-Subgraph Isomorphism Problem

V. V. Vasilchikov p. 672 abstract

Linear Temporal Logic Specification of Bounded Counter Machines

E. V. Kuzmin p. 683 abstract

Methods for Changing Parallelism in the Process of High-Level VLSI Synthesis

I. N. Ryzhenko, O. V. Nepomnyaschy, A. I. Legalov and V. V. Shaidurov p. 696 abstract

The Application of Majority Voting Functions to Estimate the Number of Monotone Self-Dual Boolean Functions

L. Y. Bystrov and E. V. Kuzmin p. 706 abstract

On Some Estimate for the Norm of an Interpolation Projector

Mikhail Nevskii p. 718 abstract

Neural Network Sentiment Classification of Russian Sentences into Four Classes

M. A. Kosterin and I. V. Paramonov p. 727 abstract

Recursive Sentiment Detection Algorithm for Russian Sentences

A. Y. Poletaev and I. V. Paramonov p. 740 abstract

Research of Models of Topological Relations of Spatial Features

V. G. Gorshkov, D. M. Murin and O. P. Yakimova p. 750 abstract

Two-Step Coloring of Grid Graphs of Different Types

A. V. Smirnov p. 760 abstract

On Building Self-Complementary Codes and Their Application in Information Hiding

Y. V. Kosolapov, F. S. Pevnev and M. V. Yagubyants p. 772 abstract

Testing Dependencies and Inference Rules in Databases

S. V. Zykin p. 788 abstract

Transformation of C Programming Language Memory Model into Object-Oriented Representation of EO Language

A. I. Legalov, Y. G. Bugayenko, N. K. Chuykin, M. V. Shipitsin, Y. I. Riabtsev and A. N. Kamenskiy p. 803 abstract

Genre Classification of Russian Texts Based on Modern Embeddings and Rhythm

K. V. Lagutina p. 817 abstract

Text Model for the Automatic Scoring of Business Letter Writing

D. D. Zafievsky, N. S. Lagutina, O. A. Melnikova and A. Y. Poletaev p. 828 abstract

The Polynomial Algorithm of Finding the Shortest Path in a Divisible Multiple Graph

A. V. Smirnov p. 841 abstract