Bulletin of V.N. Karazin Kharkiv National University, series «Mathematical modeling. Information technology. Automated control systems»

Статті

• Application of Exploratory Data Analysis for Investigating Factors Influencing Sleep Quality

  Kseniia Bazilevych, Yurii Parfeniuk

  6-19

  • PDF

• Autonomous orchestrated incident response system based on SIEM

  Dmytro Bratko, Volodymyr Kubrak, Aleksandra Matiiko

  20-32

  • PDF (Ukrainian)

• A Mathematical Model of Automatic Verification of Formalized Proofs and a Conservative Presentation Interface over Lean

  Oleksandr Yevdokymov, Oksana Luchsheva

  33-40

  • PDF

• Assessment of the impact of photorealistic textures on the accuracy of computer vision models using synthetic datasets

  Vladyslav Korshenko, Dmytro Uzlov

  41-58

  • PDF (Ukrainian)

• Modular JavaScript library for ensuring web interface accessibility in accordance with WCAG 2.2

  Mykhailo Savchenko, Svitlana Sulima

  59-72

  • PDF

• An Entropy Leakage Algebra for IEEE 754 Floating-Point Cryptographic Computations

  Taras Starushenko

  73-81

  • PDF

• Mathematical modeling of tumor growth dynamics for personalized therapy selection

  Ivan Tiurdo, Anastasiia Sediuk, Natalya Kizilova

  82-100

  • PDF (Ukrainian)

• The impact of GNN architecture on the robustness of edge routes in scenarios of single node types

  Denys Turchak, Kyrylo Rukkas

  101-110

  • PDF (Ukrainian)

• Application of a precedent analysis paradigm for the purposes of multibase cloud monitoring of DNS traffic

  Danylo Chepel, Serhii Malakhov, Mykyta Honcharov

  111-121

  • PDF (Ukrainian)