Skip to main content
main-content
Top

Journal

Automatic Control and Computer Sciences

Automatic Control and Computer Sciences 7/2019

Issue 7/2019

Table of Contents ( 29 Articles )

01-12-2019 | Issue 7/2019

Even Simple π-Calculus Processes Are Difficult to Analyze

M. M. Abbas, V. A. Zakharov

01-12-2019 | Issue 7/2019

Verification-Oriented Process Ontology

N. O. Garanina, I. S. Anureev, O. I. Borovikova

01-12-2019 | Issue 7/2019

Platform-Independent Specification and Verification of the Standard Mathematical Square Root Function

N. V. Shilov, D. A. Kondratyev, I. S. Anureev, E. V. Bodin, A. V. Promsky

01-12-2019 | Issue 7/2019

Application of a Genetic Algorithm for Finding Edit Distances between Process Models

A. A. Kalenkova, D. A. Kolesnikov

01-12-2019 | Issue 7/2019

Application of Neural Networks for Recognizing Rail Structural Elements in Magnetic and Eddy Current Defectograms

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

01-12-2019 | Issue 7/2019

Word Embedding for Semantically Related Words: An Experimental Study

M. S. Karyaeva, P. I. Braslavski, V. A. Sokolov

01-12-2019 | Issue 7/2019

On Some Problems for a Simplex and a Ball in

M. V. Nevskii

01-12-2019 | Issue 7/2019

The Automation of C Program Verification by the Symbolic Method of Loop Invariant Elimination

D. A. Kondratyev, I. V. Maryasov, V. A. Nepomniaschy

01-12-2019 | Issue 7/2019

On the Expressive Power of Some Extensions of Linear Temporal Logic

A. R. Gnatenko, V. A. Zakharov

01-12-2019 | Issue 7/2019

On Methods of the Verification and Elaboration of Development Programs for Agricultural Territories

J. L. Vega Vice, V. Y. Mikhailov

01-12-2019 | Issue 7/2019

On Safety of Unary and Nonunary IFP Operators

S. M. Dudakov

01-12-2019 | Issue 7/2019

Dynamic Model of Information Exchange Processes in a Peer-to-Peer Network

A. I. Kononova

01-12-2019 | Issue 7/2019

A Question-Answering System for Applicant Support Using Modern Messaging Apps

D. R. Filonov, D. Ju. Chalyy, D. M. Murin, V. G. Durnev, V. A. Sokolov

01-12-2019 | Issue 7/2019

Russian-Language Thesauri: Automatic Construction and Application for Natural Language Processing Tasks

N. S. Lagutina, K. V. Lagutina, A. S. Adrianov, I. V. Paramonov

01-12-2019 | Issue 7/2019

On the Support Splitting Algorithm for Induced Codes

Yu. V. Kosolapov, A. N. Shigaev

01-12-2019 | Issue 7/2019

Estimating the Average Temporal Benefit in Probabilistic Environmental–Economic Models

L. I. Rodina, I. I. Tyuteev

01-12-2019 | Issue 7/2019

Dynamics of Population Distribution by Patches

A. N. Kirillov, I. V. Danilova

01-12-2019 | Issue 7/2019

Codes in a Dihedral Group Algebra

K. V. Vedenev, V. M. Deundyak

01-12-2019 | Issue 7/2019

Asymptotic Integration of Certain Differential Equations in Banach Space

P. N. Nesterov

01-12-2019 | Issue 7/2019

A Mathematical Model for Optimal Number of Heat Consumers Connection to the Heat Supply System

S. M. Terekhov, V. A. Nemtinov, K. S. Kornilov

01-12-2019 | Issue 7/2019

Comparison of Doubling the Size of Image Algorithms

S. E. Vaganov, S. I. Khashin

01-12-2019 | Issue 7/2019

Computer Simulation of a Smart Building

O. Yu. Maryasin, A. S. Kolodkina, A. A. Ogarkov

01-12-2019 | Issue 7/2019

Building a Data Store with the Dynamic Structure

Yu. N. Artamonov

01-12-2019 | Issue 7/2019

Cloud Service for Interactive Simulation of Interregional Trade Flows

A. S. Velichko, V. V. Gribova, L. A. Fedorishchev

01-12-2019 | Issue 7/2019

Poetology: Problems of Constructing a Thesaurus and Verse Text Specification

V. N. Boykov, M. S. Karyaeva

01-12-2019 | Issue 7/2019

Synthesis of Control and State Observer for Weakly Nonlinear Systems Based on the Pseudo-Linearization Technique

D. A. Makarov

01-12-2019 | Issue 7/2019

Analysis of Influence of Different Relations Types on the Quality of Thesaurus Application to Text Classification Problems

N. S. Lagutina, K. V. Lagutina, I. A. Shchitov, I. V. Paramonov

01-12-2019 | Issue 7/2019

Probabilistic Analysis of Tournament Organization Systems

A. M. Tsirlin, Al. A. Akhremenkov

01-12-2019 | Issue 7/2019

Design and Security Analysis of a Fragment of Internet of Things Telecommunication System

V. A. Alexandrov, V. A. Desnitsky, D. Y. Chaly

Current Publications