Mathematical Problems of Computer Science

Articles

• On Quantified Splitting Proof System for Propositional Calculi

  Anahit A. Chubaryan

  9-16

  • PDF

• On the Proof of the Existence of Nontotal Partial Degree and on the Turing Degree of Representative of This Partial Degree

  Arsen H. Mokatsian

  17–24

  • PDF

• Adequacy and Application of Models of Cognizing by Combinatorial Games

  Sedrak V. Grigoryan, Zaven H. Naghashyan

  25–42

  • PDF

• Advanced Queueing Model of a Multiprocessor Computing System

  Artur P. Vardanyan

  43–51

  • PDF

• Advanced Queueing Model of a Multiprocessor Computing System

  George Giorgobiani, Vakhtang Kvaratskhelia, Vazha Tarieladze

  52–58

  • PDF

• Approach and Challenges of Training an Armenian Version of BERT Language Model

  Mikayel K. Gyurjyan, Andranik Hayrapetyan

  59–71

  • PDF

• Оbfuscated Мalware Detection Model

  Timur V. Jamgharyan, Vaghashak S. Iskandaryan, Artak A. Khemchyan

  72–81

  • PDF

• Analyzing steady state Variance in Hebbian Learning: A Moment Closure Approach

  Edgar A. Vardanyan

  82–93

  • PDF