1. Even Simple π-Calculus Processes Are Difficult to Analyze

   • M. M. Abbas
   • V. A. Zakharov

   OriginalPaper 04 March 2020 Pages: 573 - 583

2. Verification-Oriented Process Ontology

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

   OriginalPaper 04 March 2020 Pages: 584 - 594

   

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

   • N. V. Shilov
   • D. A. Kondratyev
   • A. V. Promsky

   OriginalPaper 04 March 2020 Pages: 595 - 616

   

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

   • A. A. Kalenkova
   • D. A. Kolesnikov

   OriginalPaper 04 March 2020 Pages: 617 - 627

   

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

   • E. V. Kuzmin
   • O. E. Gorbunov
   • V. A. Bashkin

   OriginalPaper 04 March 2020 Pages: 628 - 637

   

6. Word Embedding for Semantically Related Words: An Experimental Study

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

   OriginalPaper 04 March 2020 Pages: 638 - 643

   

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

   • M. V. Nevskii

   OriginalPaper 04 March 2020 Pages: 644 - 652

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

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

   OriginalPaper 04 March 2020 Pages: 653 - 662

9. On the Expressive Power of Some Extensions of Linear Temporal Logic

   • A. R. Gnatenko
   • V. A. Zakharov

   OriginalPaper 04 March 2020 Pages: 663 - 675

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

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

    OriginalPaper 04 March 2020 Pages: 676 - 682

11. On Safety of Unary and Nonunary IFP Operators

    • S. M. Dudakov

    OriginalPaper 04 March 2020 Pages: 683 - 688

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

    • A. I. Kononova

    OriginalPaper 04 March 2020 Pages: 689 - 698

    

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

    • D. R. Filonov
    • D. Ju. Chalyy
    • V. A. Sokolov

    OriginalPaper 04 March 2020 Pages: 699 - 704

    

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

    • N. S. Lagutina
    • K. V. Lagutina
    • I. V. Paramonov

    OriginalPaper 04 March 2020 Pages: 705 - 718

15. On the Support Splitting Algorithm for Induced Codes

    • Yu. V. Kosolapov
    • A. N. Shigaev

    OriginalPaper 04 March 2020 Pages: 719 - 729

16. Estimating the Average Temporal Benefit in Probabilistic Environmental–Economic Models

    • L. I. Rodina
    • I. I. Tyuteev

    OriginalPaper 04 March 2020 Pages: 730 - 737

17. Dynamics of Population Distribution by Patches

    • A. N. Kirillov
    • I. V. Danilova

    OriginalPaper 04 March 2020 Pages: 738 - 744

    

18. Codes in a Dihedral Group Algebra

    • K. V. Vedenev
    • V. M. Deundyak

    OriginalPaper 04 March 2020 Pages: 745 - 754

19. Asymptotic Integration of Certain Differential Equations in Banach Space

    • P. N. Nesterov

    OriginalPaper 04 March 2020 Pages: 755 - 768

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

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

    OriginalPaper 04 March 2020 Pages: 769 - 778

    

21. Comparison of Doubling the Size of Image Algorithms

    • S. E. Vaganov
    • S. I. Khashin

    OriginalPaper 04 March 2020 Pages: 779 - 786

    

22. Computer Simulation of a Smart Building

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

    OriginalPaper 04 March 2020 Pages: 787 - 793

    

23. Building a Data Store with the Dynamic Structure

    • Yu. N. Artamonov

    OriginalPaper 04 March 2020 Pages: 794 - 810

    

24. Cloud Service for Interactive Simulation of Interregional Trade Flows

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

    OriginalPaper 04 March 2020 Pages: 811 - 820

    

25. Poetology: Problems of Constructing a Thesaurus and Verse Text Specification

    • V. N. Boykov
    • M. S. Karyaeva

    OriginalPaper 04 March 2020 Pages: 821 - 823

26. 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

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

    • N. S. Lagutina
    • K. V. Lagutina
    • I. V. Paramonov

    OriginalPaper 04 March 2020 Pages: 830 - 838

28. Probabilistic Analysis of Tournament Organization Systems

    • A. M. Tsirlin
    • Al. A. Akhremenkov

    OriginalPaper 04 March 2020 Pages: 839 - 850

    

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

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

    OriginalPaper 04 March 2020 Pages: 851 - 856