Search results for "UkrPROG"

Hits ?▲	Authors	Title	Venue	Year	Link
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

Publications at "UkrPROG"( http://dblp.L3S.de/Venues/UkrPROG )