UkrPROG 2024
International Scientific and Practical Programming Conference 2024

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