1. Iterative methods of program analysis: Equalities and inequalities

   • A. B. Godlevskii
   • Yu. V. Kapitonova
   • A. A. Letichevskii

   OriginalPaper Pages: 307 - 318

2. Control space of natural-language syntactic structures

   • A. V. Anisimov

   OriginalPaper Pages: 319 - 328

3. Using semantic-attributed models of discrete systems for synthesis of simulation and control programs

   • O. V. German
   • A. M. Sukhodol'skii
   • Yu. R. Beityuk

   OriginalPaper Pages: 328 - 334

4. An improved merging algorithm using a minimum number of comparisons

   • E. P. Zabello

   OriginalPaper Pages: 334 - 344

5. Algorithms of Boolean differential calculus for systolic processors

   • V. P. Shmerko
   • S. N. Yanushkevich

   OriginalPaper Pages: 345 - 360

6. Formalized design of systolic processors: The example of processors for triangular decomposition of symmetrical matrices

   • R. Vyzhikovski
   • Yu. S. Kanevskii

   OriginalPaper Pages: 361 - 370

7. Multilevel classification and reduction of complex structures

   • N. S. Popov
   • V. I. Bodrov
   • V. G. Matveikin

   OriginalPaper Pages: 370 - 383

8. A numerical method for solving systems of nonlinear equations

   • N. N. Redkovskii

   OriginalPaper Pages: 384 - 393

9. Calculating the concordance coefficient of expert judgments in group choice and decision making

   • A. L. Gorelik
   • L. Ch. Abaev

   OriginalPaper Pages: 393 - 399

10. Stability of linear dynamic systems with random time-dependent parameters

    • A. N. Demenin
    • M. M. Diesperova

    OriginalPaper Pages: 400 - 405

11. An optimization problem in queueing theory and a numerical solution method

    • F. Mirzoakhmedov

    OriginalPaper Pages: 405 - 409

12. An estimation problem for linear stochastic equations with memory

    • V. B. Kolmanovskii
    • A. V. Frolov
    • L. E. Shaikhet

    OriginalPaper Pages: 409 - 417

13. Modeling of nonrigorous reasoning in familiar situations

    • O. G. Kovrizhkin

    OriginalPaper Pages: 418 - 423

14. Validating the knowledge base of a production system by the operator coverage criterion

    • Ya. Ya. Tepandi

    OriginalPaper Pages: 424 - 428

15. Integration of a linear many-valued mapping of a special type

    • V. V. Ostapenko
    • I. P. Grabovol

    OriginalPaper Pages: 428 - 436

16. Existence of solutions in zero-sum differential games

    • É. R. Smol'yakov

    OriginalPaper Pages: 437 - 442

17. On some classes of algorithmic algebras

    • S. V. Surzhko

    OriginalPaper Pages: 442 - 446

18. Parallel programming of economic systems with the use of decomposition methods

    • A. V. Anisimov
    • Yu. E. Boreisha
    • M. S. Karapetyan

    OriginalPaper Pages: 447 - 454