UkrPROG 2018
International Conference of Programming UkrPROG 2018

Table of Contents

Theory and Methodology of Programming

• Формалізований метод проектування застосувань в технології GPGPU
  Transition systems as method of designing applications in GPGPU technology 12-20
  Sergii Kryvyi, Sergii Porogilyy, Maksym Slynko
• Числення контекстних термів для систем переписування
  Context term calculus for rewriting systems 21-30
  Ruslan Shevchenko
• Логіки загальних недетермінованих предикатів: cемантичні аспекти
  Logics of general non-deterministic predicates: semantic aspects 31-45
  Mykola Nikitchenko, Oksana Shkilniak, Stepan Shkilniak

Parallel Programming. Distributed Systems and Networks

• Автотюнінг паралельних програм із використанням статистичного моделювання та машинного навчання
  Parallel software auto-tuning using statistical modeling and machine learning 46-53
  Anatoly Doroshenko, Pavlo Ivanenko, Oleksandr Novak, Olena Yatsenko
• Паралельні алгоритми розв’язування систем нелінійних рівнянь та задач Коші для систем звичайних диференціальних рівнянь на багатоядерних комп’ютерах з процесорами Intel Xeon Phi
  Parallel algorithms for the solving both of non-linear systems and initial-value problems for systems of ordinary differential equations on multi-core computers with processors Intel Xeon Phi 54-60
  Tetyana Gerasimova, Alla Nesterenko
• Системные аспекты проектирования гарантоспособных облачных вычислений
  System aspects of design guaranteased cloud calculations 61-67
  Mykola Коsovets, Ihor Shchetynin, Lilija Tovstenko
• Розширення системи синтезу програм з метою аналізу великих наборів даних
  Extension of the program synthesis system to analyze large data sets 68-74
  Olga Ovdii
• Теоретико-ігровий аналіз планувальників у багатопроцесорних системах. Імітаційна модель
  Game-theory analysis of multi-processor schedulers. Simulation model 75-82
  Oleksii Ignatenko, Vladislav Odobesku
• Багаторівнева модель паралельних обчислень для задач лінійної алгебри
  Multi-level Model of Parallel Computing for Linear Algebra Problems 83-92
  Oleksandr Popov, Olga Rudich, Oleksii Chystiakov
• Еквівалентність двох систем паралельного виконання
  Equivalence of two parallel execution systems 93-98
  Taras Panchenko, Fabunmi Sunmade
• Архітектура програмної системи ієрархічного нечіткого логічного виведення
  Architecture of softwаre system for hierarhical fuzzy inference 99-108
  Sergey Yershov, Roman Ponomarenko

Methods and Facilities of Software Engineering

• Use of metods of algebraic programming for the formal verification of legal acts 109-114
  Volodymyr Peschanenko, Maksim Poltorackiy
• Interactive method for cumulative analysis of software formal models behavior 115-123
  Alexander Kolchin
• Formal foundations for software model to model transformation operation 124-131
  Olena Chebanyuk

Models and Facilities for Data and Knowledge Bases

• Онтологоподібні системи аналізу природномовних текстів
  Ontological similar systems for analysis of texts of natural language 132-139
  Sergii Kryvyi, Nataliia Darchuk, Aleksandr Provotar
• Оптимальне розміщення багатосенсорної системи
  Optimal placement of a multi-sensor system 140-148
  Serhei Pashko
• Автоматизована екстракція структурованої інформації з множини веб сторінок
  Automated extraction of structured information from a variety of web pages 149-158
  Sergiy Pogorilyy, Artem Kramov
• Про зв'язок між табличною алгеброю нескінченних таблиць та мультимножинною табличною алгеброю
  About relationship between table algebra of infinite tables and multiset table algebra 159-163
  Iryna Glushko
• Достовірність нечіткості: теорія та застосування
  Credibility of fuzziness: theory and application 164-170
  Olexander I. Provotar, Olexander O. Provotar
• Характеристика для вибору моделей у ансамблі класифікаторів
  Characteristics for choice of models in the ansables classification 171-179
  Olexander Barmak, Yuryi Krak, Eduard Manziuk
• Класи каузальних структур, що ідентифікуються тестами простого формату
  On the classes of causal networks, identifiable by simple independence tests 180-188
  Olexandr Balabanov
• Predicting the Probability of Exceeding Critical System Thresholds 189-196
  Peter Krammer, Marcel Kvassay, Ladislav Hluchý
• Моделі та методи використання онтологій у семантичному пошуку у web
  Models and Methods of Ontology Use for the Web Semantic search 197-203
  Julia Rogushina
• Специфікація процесу семантичної анотації Веб-сервісів
  Specification of the process of the semantic annotation the web services 204-213
  Olga Zakharova
• Отображение реляционной алгебры в дескриптивную логику
  Mapping of the relational algebra to the description logic 214-225
  Inna Chystiakova
• Use of semantic technologies in the process of recognizing the outcomes of non-formal and informal learning 226-235
  Serhii Pryima, Julia Rogushina, Oksana Strokan

Education and Learning Aspects of Programming

• Система моделей предметної області «Метатехнологія програмування»
  The system of models of domain «Software Metatechnology» 236-244
  Yevhen Morentsov
• Практична реалізація інформаційної технології автоматизованого визначення множини семантичних термінів в контенті навчальних матеріалів
  The practice implementation of the information technology for automated definition of semantic terms sets in the content of educational materials 245-254
  Yuryi Krak, Olexander Barmak, Olexander Mazurets

Information Systems

• Research and development workstation environment: the new class of Current Research Information Systems 255-269
  Oleksandr Palagin, Vitalii Velychko, Kyrylo Malakhov, Oleksandr Shchurov

Software Environment and Tools

• Інструментальні засоби дослідження часової та функціональної ефективності біонічних алгоритмів розв’язку екстремальних задач
  Tools of investigation of time and functional efficiency of bionic algorithms for function optimization problems 270-279
  Viktor Shynkarenko, Petro Ilchenko, Hennadii Zabula

Applied Software

• Специализированный компьютерный симулятор «SimEnPhysiol»
  Specialised computer simulator "SimEnPhysiol" 280-287
  Rafik Grygoryan, Tetiana Aksenova, Anna Degoda
• Імітаційне моделювання та генетична оптимізація систем керування засобами програмування LabVIEW
  Simulation and genetic optimization of control systems by LabVIEW programming 288-295
  Valerii Zherebko, Oleg Pisarenko, Vitalii Drabynko
• Програмні засоби моделювання системи управління векторною тягою реактивного двигуна
  Software means of modeling of the vector type of reactive engine control system 296-304
  Anatoly Doroshenko, Volodymyr Shymkovych, Vladyslav Fedorenko