Mathematical Problems of Computer Science

Articles

• A Note on Large Cycles in Graphs Around Conjectures of Bondy and Jung

  Zhora G. Nikoghosyan

  7-15

  • pdf

• RDNF Oriented Analytics to Random Boolean Functions

  Levon H. Aslanyan, Irina A. Arsenyan, Vilik M. Karakhanyan, Hasmik A. Sahakyan

  16-26

  • pdf

• The Relationship Between the Proof Complexities of Linear Proofs in Quantified Sequent Calculus and Substitution Frege Systems

  Hakob A. Tamazyan

  27-34

  • pdf

• Data Compression-Aware Performance Analysis of Dask and Spark for Earth Observation Data Processing

  Arthur G. Lalayan

  35-44

  • pdf

• Expert Knowledge-Based RGT Solvers for Software Testing

  Mane P. Buniatyan, Sedrak V. Grigoryan, Emma H. Danielyan

  45-56

  • pdf

• Making Speaker Diarization System Noise Tolerant

  Davit S. Karamyan, Grigor A. Kirakosyan, Saten A. Harutyunyan

  57-68

  • pdf

• Research of Model Increasing Reliability Intrusion Detection Systems

  Timur V. Jamgharyan

  69-81

  • PDF