UkrPROG 2024

Table of Contents

• Extension of Tuple Calculus to Multisets 5-15 PDF
  Iryna Lysenko, Olha Moroz
• Structural Adaptation of Sorting Algorithms Based on Constructive Fragments 16-29 PDF
  Viktor Shynkarenko, Oleksii Makarov
• Transitional Modal Logics of Quasiary Predicates with Equality and Sequent Calculi for these Logics 30-49 PDF
  Stepan S. Shkilniak, Oksana Shkilniak
• Decision Support for Requirements Prioritization in Software Engineering 50-61 PDF
  Oleksandr Nesterenko, Oleksandr Trofymchuk
• Requirement Analysis Approach to Estimate the Possibility of Software Development Artifacts Reusing Consulting with Artificial Intelligence Technologies 62-74 PDF
  Olena Chebanyuk
• Constructive-Synthesizing Modelling of Multifractals Based on Multiconstructors 75-88 PDF
  Viktor Shynkarenko, Robert Chyhir
• Software Engineering Fundamentals to Design Application for Modern Game Engines 89-99 PDF
  Olena Chebanyuk, Viacheslav Bezditnyi
• Evaluating Software Architecture: A Systematic Mapping Study on Design Metrics and Their Applications 100-111 PDF
  Vira Liubchenko
• About the Direct Syntax for Monadic Effect Systems 112-121 PDF
  Ruslan Shevchenko
• Predicting 24-Hour Nationwide Electrical Energy Consumption Based on Regression Techniques 122-138 PDF
  Dmytro Zhora, Olena Yatsenko, Anatoliy Doroshenko, Vladyslav Haidukevych, Yaroslav Haidukevych
• Development of the Local Navigation Algorithm of the Agricultural UAVs During Swarm Movement 139-152 PDF
  Oleh Rybalchenko, Oleksandr Khodzinskyi, Maksym Ogurtsov, Vyacheslav Korolyov
• Development of software for contextual advertising in the real estate industry 153-167 PDF
  Viktor Shevchenko, Vladyslav Hromenko
• Information System for Calorie Calculation 168-179 PDF
  Anatoliy Serdyuk, Yevheniia Vakulenko, Valentyna Pleskach
• Microservice Complimentary Groups Determination Algorithm for the Effective Resource Usage 180-201 PDF
  Mariia A. Skulysh, Oleksandra Dmytrenko, Larisa S. Globa
• Optimal Planning in Systems Consisting of Rational Agents 202-213 PDF
  Serhii Pashko, Anatoliy Doroshenko, Igor Sinitsyn
• Tasks Execution in Multithreaded Program According to the Dependency Graph 214-225 PDF
  Inna V. Stetsenko, Eduard Zharikov, Kostiantyn Nesterenko
• Routing Technology Based On Virtualization Software-Defined Networking Conceptі 226-238 PDF
  Yurii Kravchenko, Olena Starkova, Kostiantyn Herasymenko, Anna Bulgakova
• Governance Transformation: Establishing Scalable and Adaptable Decentralized Network on EVM-Compatible Blockchain 239-252 PDF
  Maksym Veres, Larysa Katerynych, Kyrylo Riabov, Kostiantyn Zhereb
• Development and Testing of a Large Language Models Prompt for Natural Language Phrases Synthesis from Ontological Semantic Structures 253-264 PDF
  Alexandr V. Palagin, Vladislav Kaverinskiy, Anna Litvin
• Neural Networks as an Intellectualization Tool of OLAP Technology 265-275 PDF
  Lyudmila V. Sukhostat, Gulnara Nabibayova
• Development of the Intelligent Control System of an Unmanned Car 276-287 PDF
  Andriy Dudnik, Yuri Kravchenko, Olga Leshchenko, Andriy Miroshnyk, Hennadii Dakhno
• Application for Working with Musical Notes Using Artificial Intelligence 288-300 PDF
  Viktoriia Zhebka, Viktoriia Fuks, Anastasiia Tsurkan, Yuriy Novikov
• Autonomous Navigation Through the Maze Using Coevolution Strategy 301-311 PDF
  Iaroslav Omelianenko, Yevheniy Rodin, Anatoliy Doroshenko
• Method for Political Propaganda Detection in Internet Content Using Recurrent Neural Network Models Ensemble 312-324 PDF
  Olena Sobko, Volodymyr Didur, Olha Zalutska, Olexander Mazurets, Maryna Molchanova, Olexander Barmak, Iurii Krak
• Software Tool for Recognition of Human Face in Video Stream 325-336 PDF
  Svitlana Popereshnyak, Roman Kravchenko, Dmytro Kuptsov, Rodion Skoryk
• An Approach to Model Network Dynamics of a Decentralized Supply Chain Network Using Optimal Predictive Control 337-350 PDF
  Rostyslav Trokhymchuk, Hrygorii Kudin, Iurii Krak, Olexander Barmak, Anatolii Kulias, Vladislav A. Kuznetsov
• Automated Pipelines for Large-Scale Height-Based Vegetation Segmentation 351-360 PDF
  Oleksiy Oletsky, Oleksandr Tsaryniuk, Andrii Hlybovets
• The Verification of Decision Tree Model for Coreference Resolution Using Marked Transition Systems, Petri Nets and Büchi Automata 361-371 PDF
  Maksym Slynko, Pavlo Biletskyi, Sergiy Pogorilyy
• Method of Developing an Ontological System with Automatic Formation of a Knowledge Base and User Queries 372-388 PDF
  Mykola Petrenko, Anna Litvin, Mykola Boyko, Oleksandr Palagin
• Features of Data Processing Using the Virtual File System 389-400 PDF
  Svitlana Popereshnyak, Oleksii Fedorchenko, Serhii Ilyin, Serhiy Panchenko
• Modeling Diffusion Transport Mechanisms in Multilayer Nanofilms Using Computer Simulations 401-410 PDF
  Olena Yatsenko, Anatoliy Doroshenko, Dmytro Mykhalyk, Mykhaylo Petryk
• Algorithm for Simulating the Optimal Movement of a Complex Dynamic System 411-420 PDF
  Oleksandr Guida, Sergiy Ponomarenko, Elena Tachynina, Oleksandr Lysenko
• Computer Simulation Model of the Organization at the Stage of Transformation for the Purpose of Adaptation to New Projects 421-433 PDF
  Viktor Shevchenko, Yuriy Syvytsky
• Integrating Hybrid Cloud Solutions in Telerehabilitation 434-448 PDF
  Kyrylo Malakhov, Tetyana Semykopna
• Methods and Tools for Building Open Systems of Scientific Research Support 449-461 PDF
  Oleksandr Novytskyi, Oleg Spirin
• Model of the “Department” Ecosystem 462-461 PDF
  Olena Grinenko, Sergii Kryvyi
• A Video-Based Approach to Learning Debugging Techniques 462-473 PDF
  Viktor Shynkarenko, Oleksandr Zhevago
• Expressive Capabilities of Semantic MediaWiki: Advantages and Limitations 474-486 PDF
  Julia V. Rogushina
• Semantic Support of Personal Learning Trajectory Development 487-505 PDF
  Julia V. Rogushina, Serhii M. Pryima, Olena V. Anishchenko, Anatoly Jasonovich Gladun