Table of Contents

• Development of the Information System for Semantic Identification and Documentation of the Results of Non-Formal and Informal EducationSerhii M. Pryima, Oksana V. Strokan, Dmitro V. Lubko, Yuliya Lytvyn, Nadia Bilyk. 11-19 [doi]
• Elements of Concrete Algoritmics: Computability and Solvability. Web-based System for Regional Development Level EvaluationOleg Pursky, Tetyana Melnyk, Alexander Kharchenko, Volodymir Gamaliy, Tetyana O. Filimonova. 22-30 [doi]
• Модель інформаційного об'єкта для електронної бібліотеки та її верифікація Model of Information Object for Digital Library and its VerificationAlexander Novitskyi, Valeriy Reznichenko. 31-38 [doi]
• Context WEB-services Matching in the Discovery Task Resolving. Ontological ApproachesOlga Zakharova. 39-49 [doi]
• Ontology-based Methods and Tools for Validation of Non-formal Learning OutcomesSerhii M. Pryima, Oksana V. Strokan, Julia V. Rogushina, Anatoly Y. Gladun, Andriy Mozgovenko. 50-60 [doi]
• Ontological Methods and Tools for Semantic Extension of the Media WIKI TechnologyJulia Rogushina, Irina Grishanova. 61-73 [doi]
• Description Model of Programming Style EcosystemNykolay Sydorov, Nika Sydorova, Eugen Sydorov. 74-81 [doi]
• Автоматизоване проектування та розпаралелювання програм для гетерогенних платформ із використанням алгебро-алгоритмічного інструментарію Automated Design and Parallelization of Programs for Heterogeneous Platforms Using Algebra-Algorithmic ToolsAnatoliy Doroshenko, Oleksii Beketov, Mykola Bondarenko, Olena Yatsenko. 103-114 [doi]
• Improving Performance of Python Code Using Rewriting Rules TechniqueKostiantyn Zhereb. 115-125 [doi]
• Оптимізація паралельних алгоритмів з використанням моделі акторів Parallel Algorithms Optimization Using Actor ModelAnatoliy Doroshenko, Eugene Tulika. 126-137 [doi]
• Засіб статичного аналізу .NET програм за допомогою переписування правил Static Analysis of .NET Programs Using Rewriting RulesTural Mamedov, Anatoliy Doroshenko, Ruslan Shevchenko. 157-163 [doi]
• Domain Engineering Approach of Software Requirements AnalysisOlena Chebanyuk, Oleksandr Palagin, Krassimir Markov. 164-172 [doi]
• Розпізнавання емоційних проявів за групуванням скупченостей характерних мімічних станів обличчя людини - Recognition of Emotional Expressions Using the Grouping Crowdings of Characteristic Mimic StatesOlexander Barmak, Eduard Manziuk, Oleg Kalyta, Iurii Krak, Vladislav A. Kuznetsov, Anatoliy Kulias. 173-181 [doi]
• Sequent Calculi of First-order Logics of Partial Predicates with Extended Renominations and Composition of Predicate ComplementMykola Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak. 182-197 [doi]
• Elements of Concrete Algorithmics: Computability and SolvabilityOleksandr Provotar, Olga Provotar. 198-207 [doi]
• Hybrid Algorithm Newton Method for Solving Systems of Nonlinear Equations with Block Jacobi MatrixAlexandr Khimich, Volodymyr Sydoruk, Alla Nesterenko. 208-217 [doi]
• Decision Support System in Electronic DemographyGulnara Nabibayova. 228-236 [doi]
• Вплив ціноутворення хмарних сервісів на прибуток провайдера, споживчий надлишок і суспільний добробут The Impact of Cloud Services Pricing on Provider Profit, Consumer Surplus, and Social WelfareVasyl Gorbachuk, Serge Gavrylenko. 237-245 [doi]
• Досвід використання семантичних технологій для створення інтелектуальних веб-енциклопедій (на прикладі розробки порталу е-ВУЕ) Experience of the Semantic Technologies Use for Intelligent Web Encyclopedia Creation (on Example of the Great Ukrainian Encyclopedia Portal)Philip Andon, Julia Rogushina, Irina Grishanova, Valeriy Reznichenko, Alla Kyrydon, Alla Aristova, Andrew Tyschenko. 246-259 [doi]
• Knowledge Based and Description Logics Applications to Natural Language Texts AnalysisHryhorii Hoherchak. 259-269 [doi]
• Криптосистема на основі абелевих груп і кілець Encryption System Based on Abelian Groups and RingsSergii Kryvyi. 270-279 [doi]
• Cyber Security and Cyber Protection: the Current State of Public Administration in UkraineAndrii Semenchenko, Valentyna Pleskach, Oleh Zaiarnyi, Mariia Pleskach. 280-289 [doi]
• Про оптимальне керування в системі "хижак-жертва" About an Optimal Control for a "Predator-Prey" SystemSerhei Pashko. 290-295 [doi]
• Automated Methods of Coherence Evaluation of Ukrainian Texts Using Machine Learning TechniquesArtem Kramov, Sergiy Pogorilyy. 297-305 [doi]
• Neural Networks' Learning Process AccelerationLarysa Katerynych, Maksym Veres, Eduard Safarov. 313-322 [doi]
• Method of Information Obtaining from Ontology on the Basis of a Natural Language Phrase AnalysisAnna Litvin, Vitalii Velychko, Vladyslav Kaverynskyi. 323-330 [doi]
• Efficient Increasing of the Mutation Score During Model-Based Test Suite GenerationAlexander Kolchin, Stepan Potiyenko, Thomas Weigert. 331-341 [doi]
• Distributional Semantic Modeling: a Revised Technique to Train Term/Word Vector Space Models Applying the Ontology-related ApproachOleksandr Palagin, Vitalii Velychko, Kyrylo Malakhov, Oleksandr Shchurov. 342-352 [doi]
• Побудова семантичної моделі зображення з використанням машинного навчання на базі згорткових нейронних мереж Developing a Semantic Image Model Using Machine Learning Based on Convolutional Neural NetworksPhilip Andon, Andrii Hlybovets, Volodymir Kuryliak. 353-364 [doi]
• Про аналіз коректності автотьюнінгу програм з використанням техніки переписувальних правил Analyzing Correctness of Auto-tuning Code Transformations with Rule Rewriting SystemsPavlo A. Ivanenko. 368-374 [doi]
• Застосування машинного навчання для уточнення чисельних метеорологічних прогнозів Application of Machine Learning to Improving Numerical Weather PredictionAnatoliy Doroshenko, Vitalii Shpyg, Roman Kushnirenko. 375-383 [doi]
• Побудова діагностичної експертно-медичної системи з використанням нейронних мереж Construction of Diagnostic Expert-medical System Using Neural NetworksNazar Tkach, Kirill Salata, Mykola Glybovets. 384-392 [doi]
• Відтворення каузальних моделей з даних. Проблеми адекватності структур з прихованими причинами Causal Inference from Data. On Some Inadequacy Problems of Structures with Hidden CausesOlexandr Balabanov. 392-406 [doi]