Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Peter Krammer, Marcel Kvassay, Ladislav Hluchý |
Predicting the Probability of Exceeding Critical System Thresholds. |
UkrPROG |
2018 |
DBLP BibTeX RDF |
|
1 | Taras Panchenko, Sunmade Fabunmi |
Еквівалентність двох систем паралельного виконання Equivalence of two parallel execution systems. |
UkrPROG |
2018 |
DBLP BibTeX RDF |
|
1 | Sergey Yershov, Roman Ponomarenko |
Архітектура програмної системи ієрархічного нечіткого логічного виведення Architecture of softwаre system for hierarhical fuzzy inference. |
UkrPROG |
2018 |
DBLP BibTeX RDF |
|
1 | Oleksii Ignatenko, Vladislav Odobesku |
Теоретико-ігровий аналіз планувальників у багатопроцесорних системах. Імітаційна модель Game-theory analysis of multi-processor schedulers. Simulation model. |
UkrPROG |
2018 |
DBLP BibTeX RDF |
|
1 | Sergii Kryvyi, Sergii Porogilyy, Maksym Slynko |
Формалізований метод проектування застосувань в технології GPGPU Transition systems as method of designing applications in GPGPU technology. |
UkrPROG |
2018 |
DBLP BibTeX RDF |
|
1 | Ivan Sergienko, Philip Andon (eds.) |
Proceedings of the 9th International Conference of Programming, Kyiv, Ukraine, May 20-22, 2014. |
UkrPROG |
2017 |
DBLP BibTeX RDF |
|
1 | Olexandra Moldavskaya |
Method of forming multi-leveled sequential patterns. |
UkrPROG |
2016 |
DBLP BibTeX RDF |
|
1 | Tetiana Lytvynenko |
Problem of data analysis and forecasting using decision trees method. |
UkrPROG |
2016 |
DBLP BibTeX RDF |
|
1 | Andrey Novokshonov |
Performance analysis of arithmetic algorithms implemented in C++ and Python programming languages. |
UkrPROG |
2016 |
DBLP BibTeX RDF |
|
1 | Viktor Shynkarenko, Olena Kuropiatnyk |
Constructive-synthesizing model of text graph representation. |
UkrPROG |
2016 |
DBLP BibTeX RDF |
|
1 | Irina Glushko |
Outer Set Operations of Table Algebra of Infinite Tables. |
UkrPROG |
2016 |
DBLP BibTeX RDF |
|
1 | Sergey Yershov, Felix Kostukevich |
Modeling technology based on fuzzy object-oriented Bayesian belief networks. |
UkrPROG |
2016 |
DBLP BibTeX RDF |
|
1 | Olga Zakharova |
Usage of AI-planning techniques to solve problems of Web-services composition. |
UkrPROG |
2016 |
DBLP BibTeX RDF |
|
1 | Julia Rogushina, Irina Grishanova |
Processing of activity of Wiki resources users for development of their ontological model. |
UkrPROG |
2016 |
DBLP BibTeX RDF |
|
1 | Olexiy Beketov, Evgeniy Vitriak, Igor Myronenko, Olga Ovdii |
Development of meteorological forecasting web portal on multiprocessor platform. |
UkrPROG |
2016 |
DBLP BibTeX RDF |
|
1 | Anton Guba, Olexander Kolchin, Stepan Potiyenko |
A method for business logic extraction from legacy COBOL code of industrial systems. |
UkrPROG |
2016 |
DBLP BibTeX RDF |
|
1 | Tetiana Aksenova |
Simulations of hypertrophied heart's hemodynamics. |
UkrPROG |
2016 |
DBLP BibTeX RDF |
|
1 | Vladimir Opanasenko, Sergyi Kryvyi |
Synthesis of multilevel structures with multiple outputs. |
UkrPROG |
2016 |
DBLP BibTeX RDF |
|
1 | Olexander I. Provotar, Olexiy Vasylenko, Olexander O. Provotar |
Fuzzy probability and fuzzy events. |
UkrPROG |
2016 |
DBLP BibTeX RDF |
|
1 | Sergiy Pogorilyy, Maxim Slynko |
Research and development of Johnson's algorithm parallel schemes in GPGPU technology. |
UkrPROG |
2016 |
DBLP BibTeX RDF |
|
1 | Sergyi Yershov, Roman Ponomarenko |
Methods of parallel computing for multilevel fuzzy Takagi-Sugeno systems. |
UkrPROG |
2016 |
DBLP BibTeX RDF |
|
1 | Andrey Zhygallo |
Peterson's algorithm total correctness proof in IPCL. |
UkrPROG |
2016 |
DBLP BibTeX RDF |
|
1 | Stepan S. Shkilniak, Dmytro Volkovytskyi |
Composition-nominative logics of free-quantifier levels. |
UkrPROG |
2016 |
DBLP BibTeX RDF |
|
1 | Olexander Marchenko |
Machine-learning methods for text named entity recognition. |
UkrPROG |
2016 |
DBLP BibTeX RDF |
|
1 | Dmytro Voloshyn |
Application of deep learning and computer vision frameworks for solving video context prediction problem. |
UkrPROG |
2016 |
DBLP BibTeX RDF |
|
1 | Julia Rogushina |
Semantic Wiki resources and their use for the construction of personalized ontologies. |
UkrPROG |
2016 |
DBLP BibTeX RDF |
|
1 | Olexander Novitckiy |
Extension of the UML specifications for modeling of the semantic objects. |
UkrPROG |
2016 |
DBLP BibTeX RDF |
|
1 | Iurii Krak, Olexander Barmak, Olexander Mazurets |
The practice investigation of the information technology efficiency for automated definition of terms in the semantic content of educational materials. |
UkrPROG |
2016 |
DBLP BibTeX RDF |
|
1 | Mykola Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak |
Pure first-order logics of quasiary predicates. |
UkrPROG |
2016 |
DBLP BibTeX RDF |
|
1 | Kateryna Chernichenko, Anastasya Kapkanets, Taras Panchenko |
Contact center load forecasting and operator schedule planning. |
UkrPROG |
2016 |
DBLP BibTeX RDF |
|
1 | Oleg Paulin, Natalia Komlevaya, Stanislav Marulin |
Macro-operations extraction out of computation process array sorting data. |
UkrPROG |
2016 |
DBLP BibTeX RDF |
|
1 | Valeryi Reznichenko, Inna Chistyakova |
Integration of the family of extended description logics with relational data model. |
UkrPROG |
2016 |
DBLP BibTeX RDF |
|
1 | Anatoliy Doroshenko, Volodymir Khavryuchenko, Evgeni Tulika, Kostiantyn Zhereb |
Transformation of the legacy code on Fortran for scalability and cloud computing. |
UkrPROG |
2016 |
DBLP BibTeX RDF |
|
1 | Yulia Ostapovska, Taras Panchenko, Nataliya Polishchuk, Mykita Kartavov |
Correctness Property Proof for the Banking System for Money Transfer Payments. |
UkrPROG |
2016 |
DBLP BibTeX RDF |
|
1 | Ivan Sergienko, Philip Andon (eds.) |
Proceedings of the 10th International Conference of Programming UkrPROG'2016, Kyiv, Ukraine, May 24-25, 2016. |
UkrPROG |
2016 |
DBLP BibTeX RDF |
|
1 | Dmytro Titov, Anatoliy Doroshenko, Olena Yatsenko |
Automated development of a parallel system for distributed streaming data processing. |
UkrPROG |
2016 |
DBLP BibTeX RDF |
|
1 | Alexander Kolchin, Aleksandr A. Letichevsky, Stepan Potiyenko |
Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем (Static method of consistency and completeness checking in formal model of distributed software systems). |
UkrPROG |
2014 |
DBLP BibTeX RDF |
|
1 | Valeriy Akulovskiy, Anatoliy Doroshenko |
Согласованное описание алгоритмов в рамках алгебраического аппарата (Coordinated description of algorithms within the framework of algebraic vehicle). |
UkrPROG |
2014 |
DBLP BibTeX RDF |
|
1 | Vladimir Taranukha |
Евристичний алгоритм морфолексичного аналізу для невідомих слів (Heuristic algorithm of morpholexical analysys of unknown words). |
UkrPROG |
2014 |
DBLP BibTeX RDF |
|
1 | Andrey Glybovets |
Пошукова система наукових матеріалів українською мовою із соціальною складовою (Specialized search engine system of scientific materials in Ukrainian language with social aspects). |
UkrPROG |
2014 |
DBLP BibTeX RDF |
|
1 | Andriy Yalovets |
Методы моделирования поведения агентов в мультиагентной системе «Навигация» (Methods of simulation of behavior of agents in multi-agent system "Navigation"). |
UkrPROG |
2014 |
DBLP BibTeX RDF |
|
1 | Mykola Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak |
Першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями (First-order composition-nominative logics with generalized renominations). |
UkrPROG |
2014 |
DBLP BibTeX RDF |
|
1 | Igor Zavadskyi |
Завадостійкий код на основі скінченного автомата та подання чисел у двобазисній системі числення (Error correcting code based on finite automaton and representation of numbers in the two-base numeration system). |
UkrPROG |
2014 |
DBLP BibTeX RDF |
|
1 | Iurii Krak, Olexander Barmak, Sergii Romanyshyn |
Автоматизований переклад з української мови на українську жестову мову: алгоритмична реалізація (Automated translation from ukrainian to sign language: algorithmic implementation). |
UkrPROG |
2014 |
DBLP BibTeX RDF |
|
1 | Dmytro Terletskyi, Olexander Provotar |
Mathematical foundations for designing and development of intelligent systems of information analysis. |
UkrPROG |
2014 |
DBLP BibTeX RDF |
|
1 | Grigorii Moroz, Andey Plys |
Регрессивное тестирование: методы и будущие направления исследований (Regression testing: techniques and future research directions). |
UkrPROG |
2014 |
DBLP BibTeX RDF |
|
1 | Irina Glushko |
Формальна семантика агрегатних операцій мультимножинної табличної алгебри (A formal semantics of aggregate operations of multiset table algebra). |
UkrPROG |
2014 |
DBLP BibTeX RDF |
|
1 | 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"). |
UkrPROG |
2014 |
DBLP BibTeX RDF |
|
1 | Natalia Komlevaya, Aleksandr Komlevoy, Kyrylo Chernega |
Проектирование специализированной компьютерной системы для проведения пульмонологического диагностирования (Designing of the specialized computer system for making pulmonology diagnosis). |
UkrPROG |
2014 |
DBLP BibTeX RDF |
|
1 | Anatoliy Doroshenko, Olexiy Beketov, Vitaliy Prusov, Yurii Tyrchak, Olena Yatsenko |
Формалізоване проектування та генерація паралельної програми чисельного прогнозування погоди (Formalized designing and generation of parallel program for numerical weather forecasting task). |
UkrPROG |
2014 |
DBLP BibTeX RDF |
|
1 | Alexandr Popov, Olga Rudich |
Блочний алгоритм перетворень Хаусхолдера для комп'ютерів гібридної архітектури (Block algorithm for Householder transformations for hybrid architecture computers). |
UkrPROG |
2014 |
DBLP BibTeX RDF |
|
1 | Iurii Kryvonos, Iurii Krak, Miroslav Lisniak, Anton Ternov |
Розробка архітектури програмного забезпечення для інтерактивного навчання жестовій мові (Software architectural design for the interactive learning of sign language). |
UkrPROG |
2014 |
DBLP BibTeX RDF |
|
1 | Serhei Pashko |
NP-трудность задач оптимизации коллективного преследования (NP-hardness of collective pursuiting optimization problems). |
UkrPROG |
2014 |
DBLP BibTeX RDF |
|
1 | Inna Chystiakova |
Онтолого-ориеентированная интеграция данных в Семантическом Вебе (Ontology-oriented data integration on the Semantic Web). |
UkrPROG |
2014 |
DBLP BibTeX RDF |
|