Even Simple π-Calculus Processes Are Difficult to Analyze M. M. AbbasV. A. Zakharov OriginalPaper 04 March 2020 Pages: 573 - 583
Verification-Oriented Process Ontology N. O. GaraninaI. S. AnureevO. I. Borovikova OriginalPaper 04 March 2020 Pages: 584 - 594
Platform-Independent Specification and Verification of the Standard Mathematical Square Root Function N. V. ShilovD. A. KondratyevA. V. Promsky OriginalPaper 04 March 2020 Pages: 595 - 616
Application of a Genetic Algorithm for Finding Edit Distances between Process Models A. A. KalenkovaD. A. Kolesnikov OriginalPaper 04 March 2020 Pages: 617 - 627
Application of Neural Networks for Recognizing Rail Structural Elements in Magnetic and Eddy Current Defectograms E. V. KuzminO. E. GorbunovV. A. Bashkin OriginalPaper 04 March 2020 Pages: 628 - 637
Word Embedding for Semantically Related Words: An Experimental Study M. S. KaryaevaP. I. BraslavskiV. A. Sokolov OriginalPaper 04 March 2020 Pages: 638 - 643
On Some Problems for a Simplex and a Ball in \({{\mathbb{R}}^{n}}\) M. V. Nevskii OriginalPaper 04 March 2020 Pages: 644 - 652
The Automation of C Program Verification by the Symbolic Method of Loop Invariant Elimination D. A. KondratyevI. V. MaryasovV. A. Nepomniaschy OriginalPaper 04 March 2020 Pages: 653 - 662
On the Expressive Power of Some Extensions of Linear Temporal Logic A. R. GnatenkoV. A. Zakharov OriginalPaper 04 March 2020 Pages: 663 - 675
On Methods of the Verification and Elaboration of Development Programs for Agricultural Territories J. L. Vega ViceV. Y. Mikhailov OriginalPaper 04 March 2020 Pages: 676 - 682
On Safety of Unary and Nonunary IFP Operators S. M. Dudakov OriginalPaper 04 March 2020 Pages: 683 - 688
Dynamic Model of Information Exchange Processes in a Peer-to-Peer Network A. I. Kononova OriginalPaper 04 March 2020 Pages: 689 - 698
A Question-Answering System for Applicant Support Using Modern Messaging Apps D. R. FilonovD. Ju. ChalyyV. A. Sokolov OriginalPaper 04 March 2020 Pages: 699 - 704
Russian-Language Thesauri: Automatic Construction and Application for Natural Language Processing Tasks N. S. LagutinaK. V. LagutinaI. V. Paramonov OriginalPaper 04 March 2020 Pages: 705 - 718
On the Support Splitting Algorithm for Induced Codes Yu. V. KosolapovA. N. Shigaev OriginalPaper 04 March 2020 Pages: 719 - 729
Estimating the Average Temporal Benefit in Probabilistic Environmental–Economic Models L. I. RodinaI. I. Tyuteev OriginalPaper 04 March 2020 Pages: 730 - 737
Dynamics of Population Distribution by Patches A. N. KirillovI. V. Danilova OriginalPaper 04 March 2020 Pages: 738 - 744
Codes in a Dihedral Group Algebra K. V. VedenevV. M. Deundyak OriginalPaper 04 March 2020 Pages: 745 - 754
Asymptotic Integration of Certain Differential Equations in Banach Space P. N. Nesterov OriginalPaper 04 March 2020 Pages: 755 - 768
A Mathematical Model for Optimal Number of Heat Consumers Connection to the Heat Supply System S. M. TerekhovV. A. NemtinovK. S. Kornilov OriginalPaper 04 March 2020 Pages: 769 - 778
Comparison of Doubling the Size of Image Algorithms S. E. VaganovS. I. Khashin OriginalPaper 04 March 2020 Pages: 779 - 786
Computer Simulation of a Smart Building O. Yu. MaryasinA. S. KolodkinaA. A. Ogarkov OriginalPaper 04 March 2020 Pages: 787 - 793
Building a Data Store with the Dynamic Structure Yu. N. Artamonov OriginalPaper 04 March 2020 Pages: 794 - 810
Cloud Service for Interactive Simulation of Interregional Trade Flows A. S. VelichkoV. V. GribovaL. A. Fedorishchev OriginalPaper 04 March 2020 Pages: 811 - 820
Poetology: Problems of Constructing a Thesaurus and Verse Text Specification V. N. BoykovM. S. Karyaeva OriginalPaper 04 March 2020 Pages: 821 - 823
Synthesis of Control and State Observer for Weakly Nonlinear Systems Based on the Pseudo-Linearization Technique D. A. Makarov OriginalPaper 04 March 2020 Pages: 824 - 829
Analysis of Influence of Different Relations Types on the Quality of Thesaurus Application to Text Classification Problems N. S. LagutinaK. V. LagutinaI. V. Paramonov OriginalPaper 04 March 2020 Pages: 830 - 838
Probabilistic Analysis of Tournament Organization Systems A. M. TsirlinAl. A. Akhremenkov OriginalPaper 04 March 2020 Pages: 839 - 850
Design and Security Analysis of a Fragment of Internet of Things Telecommunication System V. A. AlexandrovV. A. DesnitskyD. Y. Chaly OriginalPaper 04 March 2020 Pages: 851 - 856
