default search action
UkrPROG 2024: Kyiv, Ukraine
- Igor Sinitsyn, Philip Andon:
Proceedings of the 14th International Scientific and Practical Programming Conference (UkrPROG 2024), Kyiv, Ukraine, May 14-15, 2024. CEUR Workshop Proceedings 3806, CEUR-WS.org 2024
Theory and Methodology of Programming
- Iryna Lysenko, Olha Moroz:
Extension of Tuple Calculus to Multisets. 5-15 - Viktor Shynkarenko, Oleksii Makarov:
Structural Adaptation of Sorting Algorithms Based on Constructive Fragments. 16-29 - Oksana Shkilniak, Stepan S. Shkilniak:
Transitional Modal Logics of Quasiary Predicates with Equality and Sequent Calculi for these Logics. 30-49
Methods and Facilities of Software Engineering
- Oleksandr Nesterenko, Oleksandr Trofymchuk:
Decision Support for Requirements Prioritization in Software Engineering. 50-61 - Olena Chebanyuk:
Requirement Analysis Approach to Estimate the Possibility of Software Development Artifacts Reusing Consulting with Artificial Intelligence Technologies. 62-74
Programming Tools and Environments
- Viktor Shynkarenko, Robert Chyhir:
Constructive-Synthesizing Modelling of Multifractals Based on Multiconstructors. 75-88
Software Architecture
- Viacheslav Bezditnyi, Olena Chebanyuk:
Software Engineering Fundamentals to Design Application for Modern Game Engines. 89-99 - Vira Liubchenko:
Evaluating Software Architecture: A Systematic Mapping Study on Design Metrics and Their Applications. 100-111
Programming Languages
- Ruslan Shevchenko:
About the Direct Syntax for Monadic Effect Systems. 112-121
Applied Software
- Anatoliy Doroshenko, Dmytro Zhora, Vladyslav Haidukevych, Yaroslav Haidukevych, Olena Yatsenko:
Predicting 24-Hour Nationwide Electrical Energy Consumption Based on Regression Techniques. 122-138 - Maksym Ogurtsov, Oleh Rybalchenko, Vyacheslav Korolyov, Oleksandr Khodzinskyi:
Development of the Local Navigation Algorithm of the Agricultural UAVs During Swarm Movement. 139-152 - Vladyslav Hromenko, Viktor Shevchenko:
Development of software for contextual advertising in the real estate industry. 153-167
Information Systems
- Valentyna Pleskach, Yevheniia Vakulenko, Anatoliy Serdyuk:
Information System for Calorie Calculation. 168-179 - Oleksandra Dmytrenko, Mariia A. Skulysh, Larysa S. Globa:
Microservice Complimentary Groups Determination Algorithm for the Effective Resource Usage. 180-201
Agent-oriented Information Systems
- Igor Sinitsyn, Anatoliy Doroshenko, Serhii Pashko:
Optimal Planning in Systems Consisting of Rational Agents. 202-213
Parallel Programming
- Kostiantyn Nesterenko, Inna V. Stetsenko, Eduard Zharikov:
Tasks Execution in Multithreaded Program According to the Dependency Graph. 214-225
Programming for computer networks and the Internet
- Yurii Kravchenko, Kostiantyn Herasymenko, Olena Starkova, Anna Bulgakova:
Routing Technology Based On Virtualization Software-Defined Networking Conceptі. 226-238 - Larysa Katerynych, Maksym Veres, Kyrylo Riabov, Kostiantyn Zhereb:
Governance Transformation: Establishing Scalable and Adaptable Decentralized Network on EVM-Compatible Blockchain. 239-252
Expert and Intelligent Information Systems, Artificial Intelligence
- Vladislav Kaverinskiy, Oleksandr V. Palagin, Anna Litvin:
Development and Testing of a Large Language Models Prompt for Natural Language Phrases Synthesis from Ontological Semantic Structures. 253-264 - Gulnara Nabibayova, Lyidmila Sukhostat:
Neural Networks as an Intellectualization Tool of OLAP Technology. 265-275 - Yuri Kravchenko, Hennadii Dakhno, Olga Leshchenko, Andriy Dudnik, Andriy Miroshnyk:
Development of the Intelligent Control System of an Unmanned Car. 276-287 - Viktoriia Fuks, Anastasiia Tsurkan, Viktoriia Zhebka, Yuriy Novikov:
Application for Working with Musical Notes Using Artificial Intelligence. 288-300
Mashine Learning and Neural Networks
- Iaroslav Omelianenko, Anatoliy Doroshenko, Yevheniy Rodin:
Autonomous Navigation Through the Maze Using Coevolution Strategy. 301-311 - Iurii Krak, Volodymyr Didur, Maryna Molchanova, Olexander Mazurets, Olena Sobko, Olha Zalutska, Olexander Barmak:
Method for Political Propaganda Detection in Internet Content Using Recurrent Neural Network Models Ensemble. 312-324 - Svitlana Popereshnyak, Rodion Skoryk, Dmytro Kuptsov, Roman Kravchenko:
Software Tool for Recognition of Human Face in Video Stream. 325-336
Big Data and Data Science
- Vladyslav A. Kuznetsov, Iurii Krak, Oleksander Barmak, Hrygorii Kudin, Anatolii Kulias, Rostyslav Trokhymchuk:
An Approach to Model Network Dynamics of a Decentralized Supply Chain Network Using Optimal Predictive Control. 337-350 - Oleksandr Tsaryniuk, Andrii Hlybovets, Oleksiy Oletsky:
Automated Pipelines for Large-Scale Height-Based Vegetation Segmentation. 351-360
Linguistic Systems
- Sergiy Pogorilyy, Maksym Slynko, Pavlo Biletskyi:
The Verification of Decision Tree Model for Coreference Resolution Using Marked Transition Systems, Petri Nets and Büchi Automata. 361-371
Models and Facilities for Data and Knowledge Bases
- Oleksandr Palagin, Mykola Petrenko, Anna Litvin, Mykola Boyko:
Method of Developing an Ontological System with Automatic Formation of a Knowledge Base and User Queries. 372-388 - Svitlana Popereshnyak, Serhiy Panchenko, Oleksii Fedorchenko, Serhii Ilyin:
Features of Data Processing Using the Virtual File System. 389-400
Computer Modelling
- Mykhaylo Petryk, Anatoliy Doroshenko, Dmytro Mykhalyk, Olena Yatsenko:
Modeling Diffusion Transport Mechanisms in Multilayer Nanofilms Using Computer Simulations. 401-410 - Oleksandr Lysenko, Elena Tachynina, Sergiy Ponomarenko, Oleksandr Guida:
Algorithm for Simulating the Optimal Movement of a Complex Dynamic System. 411-420 - Yuriy Syvytsky, Viktor Shevchenko:
Computer Simulation Model of the Organization at the Stage of Transformation for the Purpose of Adaptation to New Projects. 421-433
Informatization of scientific research
- Kyrylo Malakhov, Tetyana Semykopna:
Integrating Hybrid Cloud Solutions in Telerehabilitation. 434-448 - Oleksandr Novytskyi, Oleg Spirin:
Methods and Tools for Building Open Systems of Scientific Research Support. 449-461
Informatization of education
- Sergii Kryvyi, Olena Grinenko:
Model of the "Department" Ecosystem. 462-461
Educational and Training Aspects of Programming
- Viktor Shynkarenko, Oleksandr Zhevaho:
A Video-Based Approach to Learning Debugging Techniques. 462-473
Ontological Analysis, Semantic Web and Management in Open Environment
- Julia Rogushina:
Expressive Capabilities of Semantic MediaWiki: Advantages and Limitations. 474-486 - Julia Rogushina, Anatoly Y. Gladun, Olena V. Anishchenko, Serhii M. Pryima:
Semantic Support of Personal Learning Trajectory Development. 487-505
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-20 20:47 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: