Stop the war!
Остановите войну!
for scientists:
default search action
UkrPROG 2014: Kyiv, Ukraine
- Ivan Sergienko, Philip Andon:
Proceedings of the 9th International Conference of Programming, Kyiv, Ukraine, May 20-22, 2014. CEUR Workshop Proceedings 1843, CEUR-WS.org 2017
Theory and Methodology of Programming
- Mykola Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak:
Першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями (First-order composition-nominative logics with generalized renominations). 17-28 - Valeriy Akulovskiy, Anatoliy Doroshenko:
Согласованное описание алгоритмов в рамках алгебраического аппарата (Coordinated description of algorithms within the framework of algebraic vehicle). 29-37 - Serhei Pashko:
NP-трудность задач оптимизации коллективного преследования (NP-hardness of collective pursuiting optimization problems). 44-51
Parallel Programming. Distributed Systems and Networks
- Anatoliy Doroshenko, Olexiy Beketov, Vitaliy Prusov, Yurii Tyrchak, Olena Yatsenko:
Формалізоване проектування та генерація паралельної програми чисельного прогнозування погоди (Formalized designing and generation of parallel program for numerical weather forecasting task). 72-81 - Alexandr Popov, Olga Rudich:
Блочний алгоритм перетворень Хаусхолдера для комп'ютерів гібридної архітектури (Block algorithm for Householder transformations for hybrid architecture computers). 99-106
Methods and Facilities of Software Engineering
- Grigorii Moroz, Andey Plys:
Регрессивное тестирование: методы и будущие направления исследований (Regression testing: techniques and future research directions). 133-145
Formal Methods of Programming
- Alexander Kolchin, Aleksandr A. Letichevsky, Stepan Potiyenko:
Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем (Static method of consistency and completeness checking in formal model of distributed software systems). 146-150
Models and Facilities for Data and Knowledge Bases
- Irina Glushko:
Формальна семантика агрегатних операцій мультимножинної табличної алгебри (A formal semantics of aggregate operations of multiset table algebra). 166-173 - Inna Chystiakova:
Онтолого-ориеентированная интеграция данных в Семантическом Вебе (Ontology-oriented data integration on the Semantic Web). 188-196
Information Security
- Igor Zavadskyi:
Завадостійкий код на основі скінченного автомата та подання чисел у двобазисній системі числення (Error correcting code based on finite automaton and representation of numbers in the two-base numeration system). 205-211
Intelligent Information Technology
- Andriy Yalovets:
Методы моделирования поведения агентов в мультиагентной системе «Навигация» (Methods of simulation of behavior of agents in multi-agent system "Navigation"). 212-220 - Alexander Palagin, Nikolay Petrenko, Vitalii Velychko, Kiril Malakhov:
Развитие формальных моделей, алгоритмов, процедур, разработки и функционирования программной системы "Инструментальный комплекс онтологического назначения" (Development of formal models, algorithms, procedures, engineering and functioning of the software system "Instrumental complex for ontological engineering purpose"). 221-232 - Dmytro Terletskyi, Olexander Provotar:
Mathematical foundations for designing and development of intelligent systems of information analysis. 233-241
Applied Software
- Natalia Komlevaya, Aleksandr Komlevoy, Kyrylo Chernega:
Проектирование специализированной компьютерной системы для проведения пульмонологического диагностирования (Designing of the specialized computer system for making pulmonology diagnosis). 253-262 - Vladimir Taranukha:
Евристичний алгоритм морфолексичного аналізу для невідомих слів (Heuristic algorithm of morpholexical analysys of unknown words). 279-284 - Iurii Krak, Olexander Barmak, Sergii Romanyshyn:
Автоматизований переклад з української мови на українську жестову мову: алгоритмична реалізація (Automated translation from ukrainian to sign language: algorithmic implementation). 285-294 - Iurii Kryvonos, Iurii Krak, Miroslav Lisniak, Anton Ternov:
Розробка архітектури програмного забезпечення для інтерактивного навчання жестовій мові (Software architectural design for the interactive learning of sign language). 295-302 - Andrey Glybovets:
Пошукова система наукових матеріалів українською мовою із соціальною складовою (Specialized search engine system of scientific materials in Ukrainian language with social aspects). 312-317
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.