Automatic Control and Computer Sciences 7/2019

Even Simple π-Calculus Processes Are Difficult to Analyze

M. M. Abbas, V. A. Zakharov

Verification-Oriented Process Ontology

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

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

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

A. A. Kalenkova, D. A. Kolesnikov

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

Word Embedding for Semantically Related Words: An Experimental Study

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

On Some Problems for a Simplex and a Ball in

M. V. Nevskii

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

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

On the Expressive Power of Some Extensions of Linear Temporal Logic

A. R. Gnatenko, V. A. Zakharov

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

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

On Safety of Unary and Nonunary IFP Operators

S. M. Dudakov

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

A. I. Kononova

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

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

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

On the Support Splitting Algorithm for Induced Codes

Yu. V. Kosolapov, A. N. Shigaev

Estimating the Average Temporal Benefit in Probabilistic Environmental–Economic Models

L. I. Rodina, I. I. Tyuteev

Dynamics of Population Distribution by Patches

A. N. Kirillov, I. V. Danilova

Codes in a Dihedral Group Algebra

K. V. Vedenev, V. M. Deundyak

Asymptotic Integration of Certain Differential Equations in Banach Space

P. N. Nesterov

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

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

Comparison of Doubling the Size of Image Algorithms

S. E. Vaganov, S. I. Khashin

Computer Simulation of a Smart Building

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

Building a Data Store with the Dynamic Structure

Yu. N. Artamonov

Cloud Service for Interactive Simulation of Interregional Trade Flows

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

Poetology: Problems of Constructing a Thesaurus and Verse Text Specification

V. N. Boykov, M. S. Karyaeva

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

D. A. Makarov

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

Probabilistic Analysis of Tournament Organization Systems

A. M. Tsirlin, Al. A. Akhremenkov

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

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

Springer Professional

Automatic Control and Computer Sciences

Content (29 Articles)

Current Publications