Automatic Control and Computer Sciences 7/2021

Estimation of Distribution of Node-to-Node Path Lengths in the Global Network

A. I. Kononova, A. V. Gorodilov

On a Segment Partition for Entropy Estimation

E. A. Timofeev

Modern Approaches to Detecting and Classifying Toxic Comments Using Neural Networks

S. V. Morzhov

Parallel Algorithm for Solving the Graph Isomorphism Problem

V. V. Vasilchikov

Markov Model of Nonmutually Exclusive Cyberthreats and Its Applications for Selecting an Optimal Set of Information Security Tools

A. A. Kassenov, A. A. Magazev, V. F. Tsyrulnik

Dynamically Changing Parallelism with Asynchronous Sequential Data Flows

A. I. Legalov, I. V. Matkovskii, M. S. Ushakova, D. S. Romanova

Method for Joint Clustering in Graph and Correlation Spaces

A. N. Gainullina, A. A. Shalyto, A. A. Sergushichev

Research and Development of an Algorithm for Response Time Estimation in Multiprocessor Systems under Interval Uncertainty of Task Execution Times

M. G. Gonopolskiy, A. B. Glonina

Efficient Equivalence Checking Technique for Some Classes of Finite-State Machines

V. A. Zakharov

On the Existence Problem of Finite Bases of Identities in the Algebras of Recursive Functions

V. A. Sokolov

Application of Convolutional Neural Networks for Recognizing Long Structural Elements of Rails in Eddy Current Defectograms

E. V. Kuzmin, O. E. Gorbunov, P. O. Plotnikov, V. A. Tyukin, V. A. Bashkin

Features of the Algorithmic Implementation of Difference Analogs of the Delayed Logistic Equation

S. D. Glyzin, S. A. Kashchenko, A. O. Tolbey

Generalization of Derivation Rules for Join Dependencies in Database

S. V. Zykin

Deriving Homing Sequences for Finite State Machines with Timed Guards

A. S. Tvardovskii, N. V. Yevtushenko

On the Modeling of Sequential Reactive Systems by Means of Real Time Automata

E. M. Vinarskii, V. A. Zakharov

A Temporal Logic for Programmable Logic Controllers

N. O. Garanina, I. S. Anureev, V. E. Zyubin, S. M. Staroletov, T. V. Liakh, A. S. Rozov, S. P. Gorlatch

On the Model Checking Problem for Some Extension of CTL*

A. R. Gnatenko, V. A. Zakharov

Knowledge-Based Algorithms for BDI Agents

N. V. Shilov, N. O. Garanina

On the Properties of Algebraic Geometric Codes as Copy Protection Codes

V. M. Deundyak, D. V. Zagumennov

Hierarchical Clustering as a Dimension Reduction Technique in the Markowitz Portfolio Optimization Problem

A. Y. Poletaev, E. M. Spiridonova

The Branch-and-Bound Algorithm for the Traveling Salesman Problem is Not a Direct Algorithm

A. N. Maksimenko

On the Detection of Exploitation of Vulnerabilities That Leads to the Execution of a Malicious Code

Y. V. Kosolapov

On a Mechanism for the Formation of Spatially Inhomogeneous Structures of Light Waves in Optical Information Transmission Systems

E. P. Kubyshkin, V. A. Kulikov

VTMine for Visio: A Graphical Tool for Modeling in Process Mining

S. A. Shershakov

Automated Search and Analysis of the Stylometric Features That Describe the Style of the Prose of 19th–21st Centuries

K. V. Lagutina, A. M. Manakhova

Features of the Computational Implementation of the Algorithm for Estimating the Lyapunov Exponents of Systems with Delay

V. E. Goryunov

The “One-Fifth Rule” with Rollbacks for Self-Adjustment of the Population Size in the (1 + (λ, λ)) Genetic Algorithm

A. O. Bassin, M. V. Buzdalov, A. A. Shalyto

Springer Professional

Automatic Control and Computer Sciences

Content (27 Articles)

Current Publications