Table of Contents

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