UkrPROG 2022
Scientific and Practical Programming - UkrPROG 2022

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 LTL_ALC 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