| Vol-2866 urn:nbn:de:0074-2866-1 Copyright © 2020 for the individual papers by the papers' authors. Copyright © 2020 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 2020
12th International Conference of Programming

### Proceedings of the 12th International Scientific and Practical Conference of Programming (UkrPROG 2020)

### Kyiv, Ukraine, September 15-16, 2020.

Edited by

### Ivan Sergienko *
Philip Andon **

* Glushkov's Institute of Cybernetics, 03187 Kyiv, Ukraine
** Institute of Software Systems, 03187 Kyiv, Ukraine

## Table of Contents

### Information Systems

- Development of the Information System for Semantic Identification and Documentation of the Results of Non-Formal and Informal Education 11-19
  Serhii Pryima, Оksana Strokan, Dmitro Lubko, Yuliia Lytvyn, Nadia Bilyk
- Elements of Concrete Algoritmics: Computability and Solvability. Web-based System for Regional Development Level Evaluation 22-30
  Oleg Pursky, Tetyana Melnyk, Alexander Kharchenko, Volodymyr Gamaliy, Tetyana Filimonova
- Модель інформаційного об’єкта для електронної бібліотеки та її верифікація
  Model of Information Object for Digital Library and its Verification 31-38
  Alexander Novitskyi, Valery Reznichenko
- Context WEB-services Matching in the Discovery Task Resolving. Ontological Approaches 39-49
  Olga Zakharova
- Ontology-based Methods and Tools for Validation of Non-formal Learning Outcomes 50-60
  Serhii Pryima, Оksana Strokan, Julia Rogushina, Anatoly Gladun, Andriy Mozgovenko

### Educational and Training Aspects of Programming

- Ontological Methods and Tools for Semantic Extension of the Media WIKI Technology 61-73
  Julia Rogushina, Irina Grishanova
- Description Model of Programming Style Ecosystem 74-81
  Nikolay Sydorov, Nika Sydorova, Eugen Sydorov

### Parallel Programming. Distributed Systems and Networks

- Автоматизоване проектування та розпаралелювання програм для гетерогенних платформ із використанням алгебро-алгоритмічного інструментарію
  Automated Design and Parallelization of Programs for Heterogeneous Platforms Using Algebra-Algorithmic Tools 103-114
  Anatoliy Doroshenko, Oleksii Beketov, Mykola Bondarenko, Olena Yatsenko
- Improving Performance of Python Code Using Rewriting Rules Technique 115-125
  Kostiantyn Zhereb
- Оптимізація паралельних алгоритмів з використанням моделі акторів
  Parallel Algorithms Optimization Using Actor Model 126-137
  Anatoliy Doroshenko, Eugene Tulika

### Applied Software

- Засіб статичного аналізу .NET програм за допомогою переписування правил
  Static Analysis of .NET Programs Using Rewriting Rules 157-163
  Tural Mamedov, Anatoliy Doroshenko, Ruslan Shevchenko
- Domain Engineering Approach of Software Requirements Analysis 164-172
  Olena Chebanyuk, Oleksandr Palagin, Krassimir Markov
- Розпізнавання емоційних проявів за групуванням скупченостей характерних мімічних станів обличчя людини
  Recognition of Emotional Expressions Using the Grouping Crowdings of Characteristic Mimic States 173-181
  Olexander Barmak, Eduard Manziuk, Oleg Kalyta, Iurii Krak, Vladislav Kuznetsov, Anatoly Kulias

### Theory and Methodology of Programming

- Sequent Calculi of First-order Logics of Partial Predicates with Extended Renominations and Composition of Predicate Complement 182-197
  Mykola Nikitchenko, Oksana Shkilniak, Stepan Shkilniak
- Elements of Concrete Algorithmics: Computability and Solvability 198-207
  Oleksandr Provotar, Olga Provotar
- Hybrid Algorithm Newton Method for Solving Systems of Nonlinear Equations with Block Jacobi Matrix 208-217
  Alexandr Khimich, Volodymyr Sydoruk, Alla Nesterenko
- Decision Support System in Electronic Demography 228-236
  Gulnara Nabibayova

### Expert and Intelligent Information Systems

- Вплив ціноутворення хмарних сервісів на прибуток провайдера, споживчий надлишок і суспільний добробут
  The Impact of Cloud Services Pricing on Provider Profit, Consumer Surplus, and Social Welfare 237-245
  Vasyl Gorbachuk, Serge Gavrylenko

### Models and Facilities for Data and Knowledge Bases

- Experience of Semantic Technologies Use for Development of Intelligent Web Encyclopedia 246-259
  Philip Andon, Julia Rogushina, Irina Grishanova, Valery Reznichenko, Alla Kyrydon, Alla Aristova, Andrew Tyschenko
- Knowledge Based and Description Logics Applications to Natural Language Texts Analysis 259-269
  Hryhorii Hoherchak

### Information Protection

- Криптосистема на основі абелевих груп і кілець
  Encryption System Based on Abelian Groups and Rings 270-279
  Sergii Kryvyi
- Cyber Security and Cyber Protection: the Current State of Public Administration in Ukraine 280-289
  Andrii Semenchenko, Valentyna Pleskach, Oleh Zaiarnyi, Mariia Pleskach

### Methods and Means of Computer Modelling

- Про оптимальне керування в системі "хижак-жертва"
  About an Optimal Control for a “Predator-Prey” System 290-295
  Serhei Pashko

### Machine Learning Methods

- Automated Methods of Coherence Evaluation of Ukrainian Texts Using Machine Learning Techniques 297-305
  Artem Kramov, Sergiy Pogorilyy
- Neural Networks’ Learning Process Acceleration 313-322
  Larysa Katerynych, Maksym Veres, Eduard Safarov
- Method of Information Obtaining from Ontology on the Basis of a Natural Language Phrase Analysis 323-330
  Anna Litvin, Vitalii Velychko, Vladyslav Kaverynskyi
- Efficient Increasing of the Mutation Score During Model-Based Test Suite Generation 331-341
  Alexander Kolchin, Stepan Potiyenko, Thomas Weigert
- Distributional Semantic Modeling: a Revised Technique to Train Term/Word Vector Space Models Applying the Ontology-related Approach 342-352
  Oleksandr Palagin, Vitalii Velychko, Kyrylo Malakhov, Oleksandr Shchurov
- Побудова семантичної моделі зображення з використанням машинного навчання на базі згорткових нейронних мереж
  Developing a Semantic Image Model Using Machine Learning Based on Convolutional Neural Networks 353-364
  Philip Andon, Andrii Hlybovets, Volodymir Kuryliak
- Про аналіз коректності автотьюнінгу програм з використанням техніки переписувальних правил
  Analyzing Correctness of Auto-tuning Code Transformations with Rule Rewriting Systems 368-374
  Pavlo Ivanenko
- Застосування машинного навчання для уточнення чисельних метеорологічних прогнозів
  Application of Machine Learning to Improving Numerical Weather Prediction 375-383
  Anatoliy Doroshenko, Vitalii Shpyg, Roman Kushnirenko
- Побудова діагностичної експертно-медичної системи з використанням нейронних мереж
  Construction of Diagnostic Expert-medical System Using Neural Networks 384-392
  Nazar Tkach, Kirill Salata, Mykola Glybovets
- Відтворення каузальних моделей з даних. Проблеми адекватності структур з прихованими причинами
  Causal Inference from Data. On Some Inadequacy Problems of Structures with Hidden Causes 392-406
  Olexandr Balabanov

2021-02-14: submitted by Philip Andon, metadata incl. bibliographic data published under Creative Commons License Attribution 4.0 International (CC BY 4.0)
2021-05-18: published on CEUR-WS.org |valid HTML5|