Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top

Automatic Control and Computer Sciences

Issue 7/2020

Content (18 Articles)

On Detecting Code Reuse Attacks

Y. V. Kosolapov

A Key Distribution System Based on Hadamard Designs

V. M. Deundyak, A. A. Taran

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

D. M. Murin, V. N. Knyazev

Linear Interpolation on a Euclidean Ball in ℝn

M. V. Nevskii, A. Yu. Ukhalov

eT-Reducibility of Sets

R. R. Iarullin

On the Automatic Analysis of the Practical Resistance of Obfuscating Transformations

P. D. Borisov, Yu. V. Kosolapov

Formal Verification of Three-Valued Digital Waveforms

N. Yu. Kutsak, V. V. Podymov

Dynamic Model of Growing File-Sharing P2P Network

A. I. Kononova, L. G. Gagarina

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

A New Approach to Gene Network Modeling

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

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

N. S. Medvedeva, A. V. Smirnov

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

Geometric Estimates in Interpolation on an n-Dimensional Ball

M. V. Nevskii

Operational Semantics of Annotated Reflex Programs

I. S. Anureev

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

D. A. Kondratyev, A. V. Promsky

Methods for Domain Specialization of Verification-Oriented Process Ontologies

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

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

E. P. Kubyshkin, V. A. Kulikov

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

S. N. Chukanov

Nov 20
Issue: 6/2020
Dec 20
Issue: 8/2020

Current Publications

scroll for more

use your arrow keys for more

scroll or use arrow keys for more