Vol. 62 (2024): 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

• On Sub-Gaussianity in Banach Spaces

  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–92

  • PDF

• A Multispectral Decomposition and Frequency-Based Framework for Salient Object Detection in Remote Sensing Images

  Hayk. A. Gasparyan

  93–111

  • PDF

• Enhancing Thermal Image Classification with Novel Quality Metric-Based Augmentation Techniques

  Hrach Y. Ayunts

  112-125

  • PDF

• Mamba-based Thermal Image Dehazing

  Sargis A. Hovhannisyan

  126-145

  • PDF