Ausgabe 7/2022
Inhalt (20 Artikel)
On the Characteristics of Symbolic Execution in the Problem of Assessing the Quality of Obfuscating Transformations
P. D. Borisov, Y. V. Kosolapov
Online Testing of Dynamic Reconfigurations w.r.t. Adaptation Policies
F. Dadeau, J.-Ph. Gros, O. Kouchnarenko
An Algorithm for Finding Feedback in a Problem with Constraints for One Class of Nonlinear Control Systems
M. G. Dmitriev, Z. N. Murzabekov, G. A. Mirzakhmedova
Satisfiability and Model Checking for One Parameterized Extension of Linear Temporal Logic
A. R. Gnatenko, V. A. Zakharov
An Algorithm for Estimating the Signal Frequency at the Output of a Channel with a Controlled Information Flow under Phase Noise
L. N. Kazakov, E. P. Kubyshkin, I. V. Lukyanov
Backtracking Algorithms for Constructing the Hamiltonian Decomposition of a 4-Regular Multigraph
A. V. Korostil, A. V. Nikolaev
An Algorithm for Correcting Levels of Useful Signals on Interpretation of Eddy-Current Defectograms
E. V. Kuzmin, O. E. Gorbunov, P. O. Plotnikov, V. A. Tyukin, V. A. Bashkin
Assessing Flaw Severity on Interpretation of Eddy-Current Defectograms
E. V. Kuzmin, O. E. Gorbunov, P. O. Plotnikov, V. A. Tyukin, V. A. Bashkin
Text Classification by Genres Based on Rhythmic Characteristics
K. V. Lagutina, N. S. Lagutina, E. I. Boychuk
Analysis of the Influence of Mixed-Level Stylometric Characteristics on the Verification of Authors of Literary Works
A. M. Manakhova, N. S. Lagutina
Identification Conditions for the Solvability of NP-Complete Problems for the Class of Prefractal Graphs
A. V. Tymoshenko, R. A. Kochkarov, A. A. Kochkarov
Transformation of Functional Dataflow Parallel Programs into Imperative Programs
V. S. Vasilev, A. I. Legalov, S. V. Zykov