| Vol-3806 urn:nbn:de:0074-3806-4 Copyright © 2024 for the individual papers by the papers' authors. Copyright © 2024 for the volume as a collection by its editors. This volume and its papers are published under the Creative Commons License Attribution 4.0 International (CC BY 4.0).

# UkrPROG 2024
International Scientific and Practical Programming Conference 2024

### Proceedings of the 14th International Scientific and Practical Programming Conference (UkrPROG 2024)

### Kyiv, Ukraine, May 14-15, 2024.

Edited by

### Igor Sinitsyn *
Philip Andon *

* Institute of Software Systems, 03187 Kyiv, Ukraine

## Table of Contents

### Theory and Methodology of Programming

- Extension of Tuple Calculus to Multisets 5-15
  Iryna Lysenko, Olha Moroz
- Structural Adaptation of Sorting Algorithms Based on Constructive Fragments 16-29
  Viktor Shynkarenko, Oleksii Makarov
- Transitional Modal Logics of Quasiary Predicates with Equality and Sequent Calculi for these Logics 30-49
  Oksana Shkilniak, Stepan Shkilniak

### Methods and Facilities of Software Engineering

- Decision Support for Requirements Prioritization in Software Engineering 50-61
  Oleksandr Nesterenko, Oleksandr Trofymchuk
- Requirement Analysis Approach to Estimate the Possibility of Software Development Artifacts Reusing Consulting with Artificial Intelligence Technologies 62-74
  Olena Chebanyuk

### Programming Tools and Environments

- Constructive-Synthesizing Modelling of Multifractals Based on Multiconstructors 75-88
  Viktor Shynkarenko, Robert Chyhir

### Software Architecture

- Software Engineering Fundamentals to Design Application for Modern Game Engines 89-99
  Viacheslav Bezditnyi, Olena Chebanyuk
- Evaluating Software Architecture: A Systematic Mapping Study on Design Metrics and Their Applications 100-111
  Vira Liubchenko

### Programming Languages

- About the Direct Syntax for Monadic Effect Systems 112-121
  Ruslan Shevchenko

### Applied Software

- Predicting 24-Hour Nationwide Electrical Energy Consumption Based on Regression Techniques 122-138
  Anatoliy Doroshenko, Dmytro Zhora, Vladyslav Haidukevych, Yaroslav Haidukevych, Olena Yatsenko
- Development of the Local Navigation Algorithm of the Agricultural UAVs During Swarm Movement 139-152
  Maksym Ogurtsov, Oleh Rybalchenko, Vyacheslav Korolyov, Oleksandr Khodzinsky
- Development of software for contextual advertising in the real estate industry 153-167
  Vladyslav Hromenko, Viktor Shevchenko

### Information Systems

- Information System for Calorie Calculation 168-179
  Valentyna Pleskach, Yevheniia Vakulenko, Anatoliy Serdyuk
- Microservice Complimentary Groups Determination Algorithm for the Effective Resource Usage 180-201
  Oleksandra Dmytrenko, Mariia Skulysh, Larysa Globa

### Agent-oriented Information Systems

- Optimal Planning in Systems Consisting of Rational Agents 202-213
  Igor Sinitsyn, Anatoliy Doroshenko, Serhii Pashko

### Parallel Programming

- Tasks Execution in Multithreaded Program According to the Dependency Graph 214-225
  Kostiantyn Nesterenko, Inna Stetsenko, Eduard Zharikov

### Programming for computer networks and the Internet

- Routing Technology Based On Virtualization Software-Defined Networking Conceptі 226-238
  Yurii Kravchenko, Kostiantyn Herasymenko, Olena Starkova, Anna Bulgakova
- Governance Transformation: Establishing Scalable and Adaptable Decentralized Network on EVM-Compatible Blockchain 239-252
  Larysa Katerynych, Maksym Veres, Kyrylo Riabov, Kostiantyn Zhereb

### Expert and Intelligent Information Systems, Artificial Intelligence

- Development and Testing of a Large Language Models Prompt for Natural Language Phrases Synthesis from Ontological Semantic Structures 253-264
  Vladislav Kaverinskiy, Oleksandr Palagin, Anna Litvin
- Neural Networks as an Intellectualization Tool of OLAP Technology 265-275
  Gulnara Nabibayova, Lyidmila Sukhostat
- Development of the Intelligent Control System of an Unmanned Car 276-287
  Yuri Kravchenko, Hennadii Dakhno, Olga Leshchenko, Andriy Dudnik, Andriy Miroshnyk
- Application for Working with Musical Notes Using Artificial Intelligence 288-300
  Viktoriia Fuks, Anastasiia Tsurkan, Viktoriia Zhebka, Yuriy Novikov

### Mashine Learning and Neural Networks

- Autonomous Navigation Through the Maze Using Coevolution Strategy 301-311
  Iaroslav Omelianenko, Anatoliy Doroshenko, Yevheniy Rodin
- Method for Political Propaganda Detection in Internet Content Using Recurrent Neural Network Models Ensemble 312-324
  Iurii Krak, Volodymyr Didur, Maryna Molchanova, Olexander Mazurets, Olena Sobko, Olha Zalutska, Olexander Barmak
- Software Tool for Recognition of Human Face in Video Stream 325-336
  Svitlana Popereshnyak, Rodion Skoryk, Dmytro Kuptsov, Roman Kravchenko

### Big Data and Data Science

- An Approach to Model Network Dynamics of a Decentralized Supply Chain Network Using Optimal Predictive Control 337-350
  Vladyslav Kuznetsov, Iurii Krak, Oleksandr Barmak, Hrygorii Kudin, Anatolii Kulias, Rostyslav Trokhymchuk
- Automated Pipelines for Large-Scale Height-Based Vegetation Segmentation 351-360
  Oleksandr Tsaryniuk, Andriy Hlybovets, Oleksiy Oletsky

### Linguistic Systems

- The Verification of Decision Tree Model for Coreference Resolution Using Marked Transition Systems, Petri Nets and Büchi Automata 361-371
  Sergiy Pogorilyy, Maksym Slynko, Pavlo Biletskyi

### Models and Facilities for Data and Knowledge Bases

- Method of Developing an Ontological System with Automatic Formation of a Knowledge Base and User Queries 372-388
  Oleksandr Palagin, Mykola Petrenko, Anna Litvin, Mykola Boyko
- Features of Data Processing Using the Virtual File System 389-400
  Svitlana Popereshnyak, Serhiy Panchenko, Oleksii Fedorchenko, Serhii Ilyin

### Computer Modelling

- Modeling Diffusion Transport Mechanisms in Multilayer Nanofilms Using Computer Simulations 401-410
  Mykhaylo Petryk, Anatoliy Doroshenko, Dmytro Mykhalyk, Olena Yatsenko
- Algorithm for Simulating the Optimal Movement of a Complex Dynamic System 411-420
  Oleksandr Lysenko, Elena Tachynina, Sergiy Ponomarenko, Oleksandr Guida
- Computer Simulation Model of the Organization at the Stage of Transformation for the Purpose of Adaptation to New Projects 421-433
  Yuriy Syvytsky, Viktor Shevchenko

### Informatization of scientific research

- Integrating Hybrid Cloud Solutions in Telerehabilitation 434-448
  Kyrylo Malakhov, Tetyana Semykopna
- Methods and Tools for Building Open Systems of Scientific Research Support 449-461
  Oleksandr Novytskyi, Oleg Spirin

### Informatization of education

- Model of the “Department” Ecosystem 462-461
  Sergii Kryvyi, Olena Grinenko

### Educational and Training Aspects of Programming

- A Video-Based Approach to Learning Debugging Techniques 462-473
  Viktor Shynkarenko, Oleksandr Zhevaho

### Ontological Analysis, Semantic Web and Management in Open Environment

- Expressive Capabilities of Semantic MediaWiki: Advantages and Limitations 474-486
  Julia Rogushina
- Semantic Support of Personal Learning Trajectory Development 487-505
  Julia Rogushina, Anatoly Gladun, Olena Anishchenko, Serhii Pryima

2024-10-17: submitted by Igor Sinitsyn and Julia Rogushina, metadata incl. bibliographic data published under Creative Commons License Attribution 4.0 International (CC BY 4.0)
2024-10-26: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|