Automatic Control and Computer Sciences

An algorithm of angular superresolution based on the Cholesky decomposition, which is a modification of the Capon algorithm, is proposed. It is shown that the proposed algorithm makes it possible to abandon the inversion of the covariance matrix ...

The paper proposes a parallel algorithm for solving the graph-subgraph isomorphism problem and makes an experimental study of its efficiency. The problem is one of the most well-known NP-complete problems. Its solution may be required when solving ...

This article revises the results of work devoted to representing the behavior of a program system as a set of formulae of linear temporal logic (LTL), followed by the use of this representation to verify the satisfiability of the program ...

In this paper, methods for increasing the efficiency of VLSI development based on the method of architecture-independent design are proposed. The route of high-level VLSI synthesis is considered. The principle of constructing a VLSI hardware model ...

One of the problems of modern discrete mathematics is Dedekind’s problem on the number of monotone Boolean functions. For other precomplete classes, general formulas for the number of functions of the classes had been found, but it has not been ...

Let be the unit cube in and let be the space of continuous functions with the norm By denote the set of polynomials of degree , i. e., the set of linear functions on . The interpolation projector with the nodes is defined by the equalities , . Let ...

This work is devoted to the sentiment classification of Russian sentences into four classes: positive, negative, mixed, and neutral. Unlike most modern works in this area, a mixed-sentiment class of sentences is introduced. Mixed-sentiment ...

The article is devoted to the task of sentiment detection of Russian sentences. The sentiment is conceived as the author’s attitude to the topic of a sentence. This assay considers positive, neutral, and negative sentiment classes, i.e., the task ...

In map production it is necessary to keep the spatial relationships between map features. Generalization is simplification performed on geographical data when decreasing its representation scale. It is a common practice to simplify each type of ...

In this article, we consider the NP-hard problem of the two-step coloring of a graph. It is required to color the graph in the given number of colors in a way, when no pair of vertices has the same color, if these vertices are at a distance of one ...

Line codes are widely used to protect data transmission and storage systems against errors, keep various cryptographic algorithms and protocols working stably, and protect hidden information from errors in a stegocontainer. One of the code classes ...

The process of testing dependencies and inference rules can be used in two ways. First of all, testing allows verifying hypotheses about unknown inference rules. In this case, the main goal is to search for a counterexample relation that showcases ...

The paper analyzes the possibilities of transforming C programming language constructs into objects of EO programming language. The key challenge of the method is the transpilation from a system programming language into a language of a higher ...

This article investigates modern vector text models for solving the problem of genre classifying Russian-language texts. The models include ELMo embeddings, a pretrained BERT language model, and a set of numerical rhythmic characteristics based on ...

This article describes a text model designed to automatically score a cohesive text in the form of a letter on a theme. The scoring parameters are formulated and formalized in the form of 14 criteria with the help of expert English language ...

In this paper, we study undirected multiple graphs of any natural multiplicity k > 1. There are edges of three types: ordinary edges, multiple edges, and multiedges. Each edge of the last two types is a union of k linked edges, which connect 2 or (...