Skip to main content


Automatic Control and Computer Sciences

Automatic Control and Computer Sciences 7/2020

Issue 7/2020

Table of Contents ( 18 Articles )

01-12-2020 | Issue 7/2020

On Detecting Code Reuse Attacks

Y. V. Kosolapov

01-12-2020 | Issue 7/2020

A Key Distribution System Based on Hadamard Designs

V. M. Deundyak, A. A. Taran

01-12-2020 | Issue 7/2020

Using Useful Tasks for Proof-of-Work for Blockchain Systems

D. M. Murin, V. N. Knyazev

01-12-2020 | Issue 7/2020

Linear Interpolation on a Euclidean Ball in ℝn

M. V. Nevskii, A. Yu. Ukhalov

01-12-2020 | Issue 7/2020

eT-Reducibility of Sets

R. R. Iarullin

01-12-2020 | Issue 7/2020

On the Automatic Analysis of the Practical Resistance of Obfuscating Transformations

P. D. Borisov, Yu. V. Kosolapov

01-12-2020 | Issue 7/2020

Formal Verification of Three-Valued Digital Waveforms

N. Yu. Kutsak, V. V. Podymov

01-12-2020 | Issue 7/2020

Dynamic Model of Growing File-Sharing P2P Network

A. I. Kononova, L. G. Gagarina

01-12-2020 | Issue 7/2020

GRID System Based on European EGI Standards for Large-Scale Calculations by the Original Accelerated Method of Quantum Chemistry

N. A. Anikin, A. Y. Muskatin, M. B. Kuzminsky, A. I. Rusakov

01-12-2020 | Issue 7/2020

A New Approach to Gene Network Modeling

S. D. Glyzin, A. Yu. Kolesov, N. Kh. Rozov

01-12-2020 | Issue 7/2020

NP-Completeness and One Polynomial Subclass of the Two-Step Graph Colouring Problem

N. S. Medvedeva, A. V. Smirnov

01-12-2020 | Issue 7/2020

Automated Rhythmic Device Search in Literary Texts Applied to Comparing Original and Translated Texts as Exemplified by English to Russian Translations

N. S. Lagutina, K. V. Lagutina, E. I. Boychuk, I. A. Vorontsova, I. V. Paramonov

01-12-2020 | Issue 7/2020

Geometric Estimates in Interpolation on an n-Dimensional Ball

M. V. Nevskii

01-12-2020 | Issue 7/2020

Operational Semantics of Annotated Reflex Programs

I. S. Anureev

01-12-2020 | Issue 7/2020

The Complex Approach of the C-lightVer System to the Automated Error Localization in C-Programs

D. A. Kondratyev, A. V. Promsky

01-12-2020 | Issue 7/2020

Methods for Domain Specialization of Verification-Oriented Process Ontologies

N. O. Garanina, I. S. Anureev, O. I. Borovikova, V. E. Zyubin

01-12-2020 | Issue 7/2020

Analysis of Occurrence Conditions for Spatially Inhomogeneous Structures of Light Waves in Optical Information Transmission Systems

E. P. Kubyshkin, V. A. Kulikov

01-12-2020 | Issue 7/2020

The Comparison of Diffeomorphic Images based on the Construction of Persistent Homology

S. N. Chukanov

Current Publications