Volume 53, issue 7, December 2019

29 articles in this issue

Even Simple π-Calculus Processes Are Difficult to Analyze

Authors
- M. M. Abbas
- V. A. Zakharov
- Content type: OriginalPaper
- Published: 04 March 2020
- Pages: 573 - 583
Verification-Oriented Process Ontology

Authors
- N. O. Garanina
- I. S. Anureev
- O. I. Borovikova
- Content type: OriginalPaper
- Published: 04 March 2020
- Pages: 584 - 594
Platform-Independent Specification and Verification of the Standard Mathematical Square Root Function

Authors (first, second and last of 5)
- N. V. Shilov
- D. A. Kondratyev
- A. V. Promsky
- Content type: OriginalPaper
- Published: 04 March 2020
- Pages: 595 - 616
Application of a Genetic Algorithm for Finding Edit Distances between Process Models

Authors
- A. A. Kalenkova
- D. A. Kolesnikov
- Content type: OriginalPaper
- Published: 04 March 2020
- Pages: 617 - 627
Application of Neural Networks for Recognizing Rail Structural Elements in Magnetic and Eddy Current Defectograms

Authors (first, second and last of 5)
- E. V. Kuzmin
- O. E. Gorbunov
- V. A. Bashkin
- Content type: OriginalPaper
- Published: 04 March 2020
- Pages: 628 - 637
Word Embedding for Semantically Related Words: An Experimental Study

Authors
- M. S. Karyaeva
- P. I. Braslavski
- V. A. Sokolov
- Content type: OriginalPaper
- Published: 04 March 2020
- Pages: 638 - 643
On Some Problems for a Simplex and a Ball in \({{\mathbb{R}}^{n}}\)

Authors
- M. V. Nevskii
- Content type: OriginalPaper
- Published: 04 March 2020
- Pages: 644 - 652
The Automation of C Program Verification by the Symbolic Method of Loop Invariant Elimination

Authors
- D. A. Kondratyev
- I. V. Maryasov
- V. A. Nepomniaschy
- Content type: OriginalPaper
- Published: 04 March 2020
- Pages: 653 - 662
On the Expressive Power of Some Extensions of Linear Temporal Logic

Authors
- A. R. Gnatenko
- V. A. Zakharov
- Content type: OriginalPaper
- Published: 04 March 2020
- Pages: 663 - 675
On Methods of the Verification and Elaboration of Development Programs for Agricultural Territories

Authors
- J. L. Vega Vice
- V. Y. Mikhailov
- Content type: OriginalPaper
- Published: 04 March 2020
- Pages: 676 - 682
On Safety of Unary and Nonunary IFP Operators

Authors
- S. M. Dudakov
- Content type: OriginalPaper
- Published: 04 March 2020
- Pages: 683 - 688
Dynamic Model of Information Exchange Processes in a Peer-to-Peer Network

Authors
- A. I. Kononova
- Content type: OriginalPaper
- Published: 04 March 2020
- Pages: 689 - 698
A Question-Answering System for Applicant Support Using Modern Messaging Apps

Authors (first, second and last of 5)
- D. R. Filonov
- D. Ju. Chalyy
- V. A. Sokolov
- Content type: OriginalPaper
- Published: 04 March 2020
- Pages: 699 - 704
Russian-Language Thesauri: Automatic Construction and Application for Natural Language Processing Tasks

Authors (first, second and last of 4)
- N. S. Lagutina
- K. V. Lagutina
- I. V. Paramonov
- Content type: OriginalPaper
- Published: 04 March 2020
- Pages: 705 - 718
On the Support Splitting Algorithm for Induced Codes

Authors
- Yu. V. Kosolapov
- A. N. Shigaev
- Content type: OriginalPaper
- Published: 04 March 2020
- Pages: 719 - 729
Estimating the Average Temporal Benefit in Probabilistic Environmental–Economic Models

Authors
- L. I. Rodina
- I. I. Tyuteev
- Content type: OriginalPaper
- Published: 04 March 2020
- Pages: 730 - 737
Dynamics of Population Distribution by Patches

Authors
- A. N. Kirillov
- I. V. Danilova
- Content type: OriginalPaper
- Published: 04 March 2020
- Pages: 738 - 744
Codes in a Dihedral Group Algebra

Authors
- K. V. Vedenev
- V. M. Deundyak
- Content type: OriginalPaper
- Published: 04 March 2020
- Pages: 745 - 754
Asymptotic Integration of Certain Differential Equations in Banach Space

Authors
- P. N. Nesterov
- Content type: OriginalPaper
- Published: 04 March 2020
- Pages: 755 - 768
A Mathematical Model for Optimal Number of Heat Consumers Connection to the Heat Supply System

Authors
- S. M. Terekhov
- V. A. Nemtinov
- K. S. Kornilov
- Content type: OriginalPaper
- Published: 04 March 2020
- Pages: 769 - 778
Comparison of Doubling the Size of Image Algorithms

Authors
- S. E. Vaganov
- S. I. Khashin
- Content type: OriginalPaper
- Published: 04 March 2020
- Pages: 779 - 786
Computer Simulation of a Smart Building

Authors
- O. Yu. Maryasin
- A. S. Kolodkina
- A. A. Ogarkov
- Content type: OriginalPaper
- Published: 04 March 2020
- Pages: 787 - 793
Building a Data Store with the Dynamic Structure

Authors
- Yu. N. Artamonov
- Content type: OriginalPaper
- Published: 04 March 2020
- Pages: 794 - 810
Cloud Service for Interactive Simulation of Interregional Trade Flows

Authors
- A. S. Velichko
- V. V. Gribova
- L. A. Fedorishchev
- Content type: OriginalPaper
- Published: 04 March 2020
- Pages: 811 - 820
Poetology: Problems of Constructing a Thesaurus and Verse Text Specification

Authors
- V. N. Boykov
- M. S. Karyaeva
- Content type: OriginalPaper
- Published: 04 March 2020
- Pages: 821 - 823
Synthesis of Control and State Observer for Weakly Nonlinear Systems Based on the Pseudo-Linearization Technique

Authors
- D. A. Makarov
- Content type: OriginalPaper
- Published: 04 March 2020
- Pages: 824 - 829
Analysis of Influence of Different Relations Types on the Quality of Thesaurus Application to Text Classification Problems

Authors (first, second and last of 4)
- N. S. Lagutina
- K. V. Lagutina
- I. V. Paramonov
- Content type: OriginalPaper
- Published: 04 March 2020
- Pages: 830 - 838
Probabilistic Analysis of Tournament Organization Systems

Authors
- A. M. Tsirlin
- Al. A. Akhremenkov
- Content type: OriginalPaper
- Published: 04 March 2020
- Pages: 839 - 850
Design and Security Analysis of a Fragment of Internet of Things Telecommunication System

Authors
- V. A. Alexandrov
- V. A. Desnitsky
- D. Y. Chaly
- Content type: OriginalPaper
- Published: 04 March 2020
- Pages: 851 - 856

Volume 53, issue 7, December 2019

Even Simple π-Calculus Processes Are Difficult to Analyze

Verification-Oriented Process Ontology

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

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

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

Word Embedding for Semantically Related Words: An Experimental Study

On Some Problems for a Simplex and a Ball in \({{\mathbb{R}}^{n}}\)

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

On the Expressive Power of Some Extensions of Linear Temporal Logic

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

On Safety of Unary and Nonunary IFP Operators

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

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

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

On the Support Splitting Algorithm for Induced Codes

Estimating the Average Temporal Benefit in Probabilistic Environmental–Economic Models

Dynamics of Population Distribution by Patches

Codes in a Dihedral Group Algebra

Asymptotic Integration of Certain Differential Equations in Banach Space

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

Comparison of Doubling the Size of Image Algorithms

Computer Simulation of a Smart Building

Building a Data Store with the Dynamic Structure

Cloud Service for Interactive Simulation of Interregional Trade Flows

Poetology: Problems of Constructing a Thesaurus and Verse Text Specification

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

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

Probabilistic Analysis of Tournament Organization Systems

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

For authors

Explore

Volume 53, issue 7, December 2019

Authors

Authors

Authors (first, second and last of 5)

Authors

Authors (first, second and last of 5)

Authors

Authors

Authors

Authors

Authors

Authors

Authors

Authors (first, second and last of 5)

Authors (first, second and last of 4)

Authors

Authors

Authors

Authors

Authors

Authors

Authors

Authors

Authors

Authors

Authors

Authors

Authors (first, second and last of 4)

Authors

Authors

For authors

Explore