| Vol-3501 urn:nbn:de:0074-3501-6 Copyright © 2022 for the individual papers by the papers' authors. Copyright © 2022 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 2022
Scientific and Practical Programming - UkrPROG 2022

### Proceedings of the 13th International Scientific and Practical Programming Conference UkrPROG 2022

### Kyiv, Ukraine, October 11-12, 2022.

Edited by

### Igor Sinitsyn *
Philip Andon *

* Institute of Software Systems, 03187 Kyiv, Ukraine

## Table of Contents

### Theory and Methodology of Programming

- First Order Sequent Calculi of Logics of Quasiary Predicates with Extended Renominations and Equality 3-18
  Stepan Shkilniak, Oksana Shkilniak
- Computation Method of Quasi-Optimal Related Resources Distribution Between Automated Workstations in Local Corporative Networks 19-28
  Oleg Pursky, Valery Kozlov, Tetyana Tomashevska, Volodymyr Dyvak, Nataliia Hordiiko, Mykola Sinitsky
- Data Stochastic Preprocessing for Sorting Algorithms 29-38
  Viktor Shynkarenko, Anatoliy Doroshenko, Olena Yatsenko, Valentyn Raznosilin, Kostiantyn Halanin
- Generation of Multipurpose Formal Models from Legacy Code 39-48
  Stepan Potiyenko, Alexander Kolchin

### Parallel Programming. Distributed Systems and Networks

- Massively Parallel Program Analysis Using Simulation of Graphics Processing Unit 49-59
  Dmytro Rahozin
- Automated Design of a Parallel Program for Modeling Intraparticle Diffusion and Adsorption in Heterogeneous Nanoporous Media 60-69
  Anatoliy Doroshenko, Mykhaylo Petryk, Dmytro Mykhalyk, Pavlo Ivanenko, Olena Yatsenko

### Methods and Means of Software Engineering

- Software Engineering and Big Data Software 70-80
  Nykolay Sydorov, Nika Sydorova
- Coreference Resolution Algorithm for Ukrainian-Language Texts Using Decision Trees 81-90
  Sergiy Pogorily, Pavlo Biletskyi
- Software Engineering Ecosystems 91-100
  Nykolay Sydorov
- Computing Education & Technological Trends: a Systematic Review Study 101-112
  Oleksandr Nesterenko

### Models and Facilities for Data and Knowledge Bases

- Conceptual Knowledge Extraction and Retrieval Within Decomposition of Classes and Objects 113-139
  Dmytro Terletskyi, Sergey Yershov
- Hospital Information Smart-System for Hybrid E-Rehabilitation 140-157
  Oleksandr Palagin, Kyrylo Malakhov,
  Vitalii Velychko
  , Tetiana Semykopna, Oleksandr Shchurov
- Semantic Information Resources with a Complex Structure: Knowledge Representation, Scaling and Search Problems 158-171
  Julia Rogushina, Irina Grishanova
- A New Approach to Automatic Ontology Generation from the Natural Language Texts with Complex Inflection Structures in the Dialogue Systems Development 172-185
  Anna Litvin,
  Vitalii Velychko
  , Vladislav Kaverinsky
- Applying Description Logics with Concrete Domains to Solve the Problem of Semantic Web Services Discovery and Composition 186-195
  Olha Zakharova
- Tabular Interpretation of the Temporal Description Logic LTLALC 196-211
  Valery Reznichenko, Inna Chystiakova

### Tools for Modeling Processes and Objects

- Effective Use of Sparse Matrices in Problems of Mathematical Modeling 212-221
  Olexandr Khimich, Aleksandr Popov, Oleksii Chystiakov

### Data Analytics Software

- Use of Ontological Knowledge for Multi-Criteria Comparison of Complex Information Objects 222-231
  Julia Rogushina, Anatoly Gladun
- The Concept and Evaluating of Big Data Quality in the Semantic Environment 232-245
  Oleksandr Novytskyi
- Identification of the Native Language of a Person 246-255
  Yana Lazorenko, Viktor Shevchenko, Igor Sinitsyn

### Artificial Intelligence Software

- Multilingual Question-Driven Approach and Software System to Obtaining Information From Texts 256-265
  Olena Chebanyuk
- Engineering of Software Recommender Systems Based on a Neural Network with Multithreading 266-278
  Nataliia Komleva, Svitlana Zinovatna, Vira Liubchenko, Oleksandr Komlevoi
- Ontology-related Complex for Semantic Processing of Scientific Data 279-290
  Oleksandr Palagin, Mykola Petrenko, Mykola Boyko

### Information Systems

- Study on Approaches of Building an Interactive Map in Web Application 291-301
  Larysa Katerynych, Nikita Sazonov
- Models, Methods and Technological Usage of Expert Knowledge Formalization for Strategic Decision Making under Deep Uncertainty 302-314
  Olena Ilina, Igor Sinitsyn, Olga Slabospitska

### Information Protection

- Flow-based Botnet Detection with AI Models 315-328
  Bohdan Panchuk
- Improved Friend-or-Foe Recognition Algorithm Development 329-341
  Maksym Ogurtsov
- Methods of Detection of Http Attacks on a Smart Home Using the Algebraic Matching Method 342-353
  Viktor Horbatiuk, Serhii Horbatiuk
- Development of OLAP Based Decision Support System for Information Security Monitoring at National, Regional and Corporate Levels 354-363
  Konul Dashdamirova
- Secure Authentication Model for Public Clients 364-374
  Bohdan Bodak, Anatoliy Doroshenko
- Improving Methods for Generating Encryption Keys Using Strange Attractors 375-384
  Volodymyr Shevchenko, Igor Sinitsyn, Viktor Shevchenko

### Application Software

- Creation of Applied Software and Methodical Support of a Wireless Sensor Network for Agriculture 385-401
  Volodymyr Romanov, Hanna Antonova, Igor Galelyuka, Volodymyr Hrusha, Anna Kedych, Oleksandr Voronenko
- Software Package for Evaluation the Stereo Camera Calibration for 3D Reconstruction in Robotics Grasping System 402-411
  Alona Vitiuk, Anatoliy Doroshenko
- Cloud Service for Electrocardiogram Registration for Using in Authentication 412-421
  Yurii Luhovskyi
- Information Intermediaries for Digital Platforms 422-432
  Vasyl Gorbachuk, Serge Gavrylenko, Gennadii Golotsukov, Mykhailo Pustovoit

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