Table of Contents

• Формалізований метод проектування застосувань в технології GPGPU Transition systems as method of designing applications in GPGPU technologySergii Kryvyi, Sergii Porogilyy, Maksym Slynko. 12-20 [doi]
• Числення контекстних термів для систем переписування Context term calculus for rewriting systemsRuslan Shevchenko. 21-30 [doi]
• Логіки загальних недетермінованих предикатів: cемантичні аспекти Logics of general non-deterministic predicates: semantic aspectsMykola Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak. 31-45 [doi]
• Автотюнінг паралельних програм із використанням статистичного моделювання та машинного навчання Parallel software auto-tuning using statistical modeling and machine learningAnatoliy Doroshenko, Pavlo A. Ivanenko, Oleksandr Novak, Olena Yatsenko. 46-53 [doi]
• Паралельні алгоритми розв'язування систем нелінійних рівнянь та задач Коші для систем звичайних диференціальних рівнянь на багатоядерних комп'ютерах з процесорами 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 PhiTetyana Gerasimova, Alla Nesterenko. 54-60 [doi]
• Системные аспекты проектирования гарантоспособных облачных вычислений System aspects of design guaranteased cloud calculationsMykola sovets, Ihor Shchetynin, Lilija Tovstenko. 61-67 [doi]
• Розширення системи синтезу програм з метою аналізу великих наборів даних Extension of the program synthesis system to analyze large data setsOlga Ovdii. 68-74 [doi]
• Теоретико-ігровий аналіз планувальників у багатопроцесорних системах. Імітаційна модель Game-theory analysis of multi-processor schedulers. Simulation modelOleksii Ignatenko, Vladislav Odobesku. 75-82 [doi]
• Багаторівнева модель паралельних обчислень для задач лінійної алгебри Multi-level Model of Parallel Computing for Linear Algebra ProblemsOleksandr Popov, Olga Rudich, Oleksii Chystiakov. 83-92 [doi]
• Еквівалентність двох систем паралельного виконання Equivalence of two parallel execution systemsTaras Panchenko, Sunmade Fabunmi. 93-98 [doi]
• Архітектура програмної системи ієрархічного нечіткого логічного виведення Architecture of softwаre system for hierarhical fuzzy inferenceSergey Yershov, Roman Ponomarenko. 99-108 [doi]
• Use of metods of algebraic programming for the formal verification of legal actsVolodymyr Peschanenko, Maksym Poltorackiy. 109-114 [doi]
• Interactive method for cumulative analysis of software formal models behaviorAlexander Kolchin. 115-123 [doi]
• Formal foundations for software model to model transformation operationOlena Chebanyuk. 124-131 [doi]
• Онтологоподібні системи аналізу природномовних текстів Ontological similar systems for analysis of texts of natural languageSergii Kryvyi, Nataliia Darchuk, Aleksandr Provotar. 132-139 [doi]
• Оптимальне розміщення багатосенсорної системи Optimal placement of a multi-sensor systemSerhei Pashko. 140-148 [doi]
• Автоматизована екстракція структурованої інформації з множини веб сторінок Automated extraction of structured information from a variety of web pagesSergiy Pogorilyy, Artem Kramov. 149-158 [doi]
• Про зв'язок між табличною алгеброю нескінченних таблиць та мультимножинною табличною алгеброю About relationship between table algebra of infinite tables and multiset table algebraIryna Glushko. 159-163 [doi]
• Достовірність нечіткості: теорія та застосування Credibility of fuzziness: theory and applicationOlexander I. Provotar, Olexander O. Provotar. 164-170 [doi]
• Характеристика для вибору моделей у ансамблі класифікаторів Characteristics for choice of models in the ansables classificationOlexander Barmak, Yuri Krak, Eduard Manziuk. 171-179 [doi]
• Класи каузальних структур, що ідентифікуються тестами простого формату On the classes of causal networks, identifiable by simple independence testsOlexandr Balabanov. 180-188 [doi]
• Predicting the Probability of Exceeding Critical System ThresholdsPeter Krammer, Marcel Kvassay, Ladislav Hluchý. 189-196 [doi]
• Моделі та методи використання онтологій у семантичному пошуку у web Models and Methods of Ontology Use for the Web Semantic searchJulia Rogushina. 197-203 [doi]
• Специфікація процесу семантичної анотації Веб-сервісів Specification of the process of the semantic annotation the web servicesOlga Zakharova. 204-213 [doi]
• Отображение реляционной алгебры в дескриптивную логику Mapping of the relational algebra to the description logicInna Chystiakova. 214-225 [doi]
• Use of semantic technologies in the process of recognizing the outcomes of non-formal and informal learningSerhii M. Pryima, Julia V. Rogushina, Oksana V. Strokan. 226-235 [doi]
• Система моделей предметної області «Метатехнологія програмування» The system of models of domain «Software Metatechnology»Yevhen Morentsov. 236-244 [doi]
• Практична реалізація інформаційної технології автоматизованого визначення множини семантичних термінів в контенті навчальних матеріалів The practice implementation of the information technology for automated definition of semantic terms sets in the content of educational materialsYuri Krak, Olexander Barmak, Olexander Mazurets. 245-254 [doi]
• Research and development workstation environment: the new class of Current Research Information SystemsOleksandr Palagin, Vitalii Velychko, Kyrylo Malakhov, Oleksandr Shchurov. 255-269 [doi]
• Інструментальні засоби дослідження часової та функціональної ефективності біонічних алгоритмів розв'язку екстремальних задач Tools of investigation of time and functional efficiency of bionic algorithms for function optimization problemsViktor Shynkarenko, Petro Ilchenko, Hennadii Zabula. 270-279 [doi]
• Специализированный компьютерный симулятор «SimEnPhysiol» Specialised computer simulator "SimEnPhysiol"Rafik Grygoryan, Tetiana Aksenova, Anna Degoda. 280-287 [doi]
• Імітаційне моделювання та генетична оптимізація систем керування засобами програмування LabVIEW Simulation and genetic optimization of control systems by LabVIEW programmingValerii Zherebko, Oleg Pisarenko, Vitalii Drabynko. 288-295 [doi]
• Розробка архітектури програмного забезпечення для інтерактивного навчання жестовій мові (Software architectural design for the interactive learning of sign language)Iurii Kryvonos, Iurii Krak, Miroslav Lisniak, Anton Ternov. 295-302 [doi]
• Програмні засоби моделювання системи управління векторною тягою реактивного двигуна Software means of modeling of the vector type of reactive engine control systemAnatoliy Doroshenko, Volodymyr Shymkovych, Vladyslav Fedorenko. 296-304 [doi]