Abstract is missing.
- Першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями (First-order composition-nominative logics with generalized renominations)Mykola Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak. 17-28 [doi]
- Согласованное описание алгоритмов в рамках алгебраического аппарата (Coordinated description of algorithms within the framework of algebraic vehicle)Valeriy Akulovskiy, Anatoliy Doroshenko. 29-37 [doi]
- NP-трудность задач оптимизации коллективного преследования (NP-hardness of collective pursuiting optimization problems)Serhei Pashko. 44-51 [doi]
- Формалізоване проектування та генерація паралельної програми чисельного прогнозування погоди (Formalized designing and generation of parallel program for numerical weather forecasting task)Anatoliy Doroshenko, Olexiy Beketov, Vitaliy Prusov, Yurii Tyrchak, Olena Yatsenko. 72-81 [doi]
- Блочний алгоритм перетворень Хаусхолдера для комп'ютерів гібридної архітектури (Block algorithm for Householder transformations for hybrid architecture computers)Alexandr Popov, Olga Rudich. 99-106 [doi]
- Регрессивное тестирование: методы и будущие направления исследований (Regression testing: techniques and future research directions)Grigorii Moroz, Andey Plys. 133-145 [doi]
- Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем (Static method of consistency and completeness checking in formal model of distributed software systems)Alexander Kolchin, Aleksandr A. Letichevsky, Stepan Potiyenko. 146-150 [doi]
- Формальна семантика агрегатних операцій мультимножинної табличної алгебри (A formal semantics of aggregate operations of multiset table algebra)Irina Glushko. 166-173 [doi]
- Онтолого-ориеентированная интеграция данных в Семантическом Вебе (Ontology-oriented data integration on the Semantic Web)Inna Chystiakova. 188-196 [doi]
- Завадостійкий код на основі скінченного автомата та подання чисел у двобазисній системі числення (Error correcting code based on finite automaton and representation of numbers in the two-base numeration system)Igor Zavadskyi. 205-211 [doi]
- Методы моделирования поведения агентов в мультиагентной системе «Навигация» (Methods of simulation of behavior of agents in multi-agent system "Navigation")Andriy Yalovets. 212-220 [doi]
- Развитие формальных моделей, алгоритмов, процедур, разработки и функционирования программной системы "Инструментальный комплекс онтологического назначения" (Development of formal models, algorithms, procedures, engineering and functioning of the software system "Instrumental complex for ontological engineering purpose")Alexander Palagin, Nikolay Petrenko, Vitalii Velychko, Kiril Malakhov. 221-232 [doi]
- Mathematical foundations for designing and development of intelligent systems of information analysisDmytro Terletskyi, Olexander Provotar. 233-241 [doi]
- Проектирование специализированной компьютерной системы для проведения пульмонологического диагностирования (Designing of the specialized computer system for making pulmonology diagnosis)Natalia Komlevaya, Aleksandr Komlevoy, Kyrylo Chernega. 253-262 [doi]
- Евристичний алгоритм морфолексичного аналізу для невідомих слів (Heuristic algorithm of morpholexical analysys of unknown words)Vladimir Taranukha. 279-284 [doi]
- Автоматизований переклад з української мови на українську жестову мову: алгоритмична реалізація (Automated translation from ukrainian to sign language: algorithmic implementation)Iurii Krak, Olexander Barmak, Sergii Romanyshyn. 285-294 [doi]
- Розробка архітектури програмного забезпечення для інтерактивного навчання жестовій мові (Software architectural design for the interactive learning of sign language)Iurii Kryvonos, Iurii Krak, Miroslav Lisniak, Anton Ternov. 295-302 [doi]
- Пошукова система наукових матеріалів українською мовою із соціальною складовою (Specialized search engine system of scientific materials in Ukrainian language with social aspects)Andrey Glybovets. 312-317 [doi]