UkrPROG 2020
12th International Conference of Programming

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