1. Twenty Similarity Functions for Two Finite Sequences

   • I. Burdonov
   • A. Maksimov

   OriginalPaper 09 October 2023 Pages: 373 - 387

2. Application of Computer Simulation to the Anonymization of Personal Data: Synthesis-Based Anonymization Model and Algorithm

   • A. V. Borisov
   • A. V. Bosov
   • A. V. Ivanov

   OriginalPaper 09 October 2023 Pages: 388 - 400

   

3. Searching for Laurent Solutions of Systems of Linear Differential Equations with Truncated Power Series in the Role of Coefficients

   • S. A. Abramov
   • A. A. Ryabenko
   • D. E. Khmelnov

   OriginalPaper 09 October 2023 Pages: 401 - 411

   

4. On Implementation of Numerical Methods for Solving Ordinary Differential Equations in Computer Algebra Systems

   • A. Baddour
   • M. M. Gambaryan
   • M. D. Malykh

   OriginalPaper 09 October 2023 Pages: 412 - 422

   

5. Complementarity in Finite Quantum Mechanics and Computer-Aided Computations of Complementary Observables

   • V. V. Kornyak

   OriginalPaper 09 October 2023 Pages: 423 - 432

6. Resonances and Periodic Motions of Atwood’s Machine with Two Oscillating Weights

   • A. N. Prokopenya

   OriginalPaper 09 October 2023 Pages: 433 - 440

   

7. Effective Lower Bounds on the Matrix Rank and Their Applications

   • O. A. Zverkov
   • A. V. Seliverstov

   OriginalPaper 09 October 2023 Pages: 441 - 447

8. Automated Verification of Multi-Party Agreements and Scheduling of Sending Messages in Distributed Ledger Systems

   • I. A. Fedotov
   • A. S. Khritankov
   • M. D. Obidare

   OriginalPaper 09 October 2023 Pages: 448 - 454

   

9. Database Migration from ORACLE to PostgreSQL

   • E. A. Kurako
   • V. L. Orlov

   OriginalPaper 09 October 2023 Pages: 455 - 463

   

10. Metaclasses in UML and in Programming Languages

    • M. V. Sergievskiy

    OriginalPaper 09 October 2023 Pages: 464 - 469

    

11. Automata-Based Software Engineering with Event-B

    • V. I. Shelekhov

    OriginalPaper 09 October 2023 Pages: 470 - 483