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

Skip to main content Skip to main navigation menu Skip to site footer

Current Issue

Vol. 69 (2026)

Published: 2026-03-30

Full Issue

PDF (Українська)

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 (Українська)
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 (Українська)
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 (Українська)
The impact of GNN architecture on the robustness of edge routes in scenarios of single node types

Denys Turchak, Kyrylo Rukkas

101-110
- PDF (Українська)
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 (Українська)

View All Issues