researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Filter by Year
OR
AND
NOT
1
2014
2016
2017
2018
2020
2021
2022
2023
Filter by Tag
Filter by Author
[+]
OR
AND
NOT
1
Alexander Kolchin
Anatoliy Doroshenko
Igor Sinitsyn
Inna Chystiakova
Irina Grishanova
Iurii Krak
Julia Rogushina
Julia V. Rogushina
Kyrylo Malakhov
Mykola Nikitchenko
Nykolay Sydorov
Oksana Shkilniak
Oksana V. Strokan
Oleksandr Palagin
Oleksandr Shchurov
Olena Yatsenko
Olexander Barmak
Stepan Potiyenko
Stepan S. Shkilniak
Vitalii Velychko
Filter by Top terms
[+]
OR
AND
NOT
1
analysis
automated
data
development
formal
information
language
learning
method
methods
model
parallel
semantic
software
system
systems
using
web
для
та
UkrPROG (ukrprog)
Editions
Publications
Viewing Publication 1 - 100 from 154
2023
Proceedings of the 13th International Scientific and Practical Programming Conference, UkrPROG 2022, Kyiv, Ukraine, October 11-12, 2022
Igor Sinitsyn
,
Philip Andon
, editors,
Volume 3501 of
CEUR Workshop Proceedings
, CEUR-WS.org,
2023.
[doi]
2022
Secure Authentication Model for Public Clients
Bohdan Bodak
,
Anatoliy Doroshenko
.
ukrprog 2023
:
364-374
[doi]
Multilingual Question-Driven Approach and Software System to Obtaining Information From Texts
Olena Chebanyuk
.
ukrprog 2023
:
256-265
[doi]
Development of OLAP Based Decision Support System for Information Security Monitoring at National, Regional and Corporate Levels
Konul Dashdamirova
.
ukrprog 2023
:
354-363
[doi]
Automated Design of a Parallel Program for Modeling Intraparticle Diffusion and Adsorption in Heterogeneous Nanoporous Media
Anatoliy Doroshenko
,
Mykhaylo Petryk
,
Dmytro Mykhalyk
,
Pavlo A. Ivanenko
,
Olena Yatsenko
.
ukrprog 2023
:
60-69
[doi]
Information Intermediaries for Digital Platforms
Vasyl Gorbachuk
,
Serge Gavrylenko
,
Gennadii Golotsukov
,
Mykhailo Pustovoit
.
ukrprog 2023
:
422-432
[doi]
Methods of Detection of Http Attacks on a Smart Home Using the Algebraic Matching Method
Viktor Horbatiuk
,
Serhii Horbatiuk
.
ukrprog 2023
:
342-353
[doi]
Models, Methods and Technological Usage of Expert Knowledge Formalization for Strategic Decision Making under Deep Uncertainty
Olena Ilina
,
Igor Sinitsyn
,
Olga Slabospitska
.
ukrprog 2023
:
302-314
[doi]
Study on Approaches of Building an Interactive Map in Web Application
Larysa Katerynych
,
Nikita Sazonov
.
ukrprog 2023
:
291-301
[doi]
Effective Use of Sparse Matrices in Problems of Mathematical Modeling
Olexandr Khimich
,
Aleksandr Popov
,
Oleksii Chystiakov
.
ukrprog 2023
:
212-221
[doi]
Engineering of Software Recommender Systems Based on a Neural Network with Multithreading
Nataliia O. Komleva
,
Svitlana Zinovatna
,
Vira Liubchenko
,
Oleksandr Komlevoi
.
ukrprog 2023
:
266-278
[doi]
Identification of the Native Language of a Person
Yana Lazorenko
,
Viktor Shevchenko
,
Igor Sinitsyn
.
ukrprog 2023
:
246-255
[doi]
A New Approach to Automatic Ontology Generation from the Natural Language Texts with Complex Inflection Structures in the Dialogue Systems Development
Anna Litvin
,
Vitalii Velychko
,
Vladislav Kaverinskiy
.
ukrprog 2023
:
172-185
[doi]
Cloud Service for Electrocardiogram Registration for Using in Authentication
Yurii Luhovskyi
.
ukrprog 2023
:
412-421
[doi]
Computing Education & Technological Trends: a Systematic Review Study
Oleksandr Nesterenko
.
ukrprog 2023
:
101-112
[doi]
The Concept and Evaluating of Big Data Quality in the Semantic Environment
Oleksandr Novytskyi
.
ukrprog 2023
:
232-245
[doi]
Improved Friend-or-Foe Recognition Algorithm Development
Maksym Ogurtsov
.
ukrprog 2023
:
329-341
[doi]
Hospital Information Smart-System for Hybrid E-Rehabilitation
Oleksandr Palagin
,
Kyrylo Malakhov
,
Vitalii Velychko
,
Tetiana Semykopna
,
Oleksandr Shchurov
.
ukrprog 2023
:
140-157
[doi]
Ontology-related Complex for Semantic Processing of Scientific Data
Oleksandr Palagin
,
Mykola Petrenko
,
Mykola Boyko
.
ukrprog 2023
:
279-290
[doi]
Flow-based Botnet Detection with AI Models
Bohdan Panchuk
.
ukrprog 2023
:
315-328
[doi]
Coreference Resolution Algorithm for Ukrainian-Language Texts Using Decision Trees
Sergiy Pogorily
,
Pavlo Biletskyi
.
ukrprog 2023
:
81-90
[doi]
Generation of Multipurpose Formal Models from Legacy Code
Stepan Potiyenko
,
Alexander Kolchin
.
ukrprog 2023
:
39-48
[doi]
Computation Method of Quasi-Optimal Related Resources Distribution Between Automated Workstations in Local Corporative Networks
Oleg Pursky
,
Valery Kozlov
,
Tetyana Tomashevska
,
Volodymyr Dyvak
,
Nataliia Hordiiko
,
Mykola Sinitsky
.
ukrprog 2023
:
19-28
[doi]
Massively Parallel Program Analysis Using Simulation of Graphics Processing Unit
Dmytro Rahozin
.
ukrprog 2023
:
49-59
[doi]
ALC
Valeriy Reznichenko
,
Inna Chystiakova
.
ukrprog 2023
:
196-211
[doi]
Use of Ontological Knowledge for Multi-Criteria Comparison of Complex Information Objects
Julia V. Rogushina
,
Anatoly Y. Gladun
.
ukrprog 2023
:
222-231
[doi]
Semantic Information Resources with a Complex Structure: Knowledge Representation, Scaling and Search Problems
Julia Rogushina
,
Irina Grishanova
.
ukrprog 2023
:
158-171
[doi]
Creation of Applied Software and Methodical Support of a Wireless Sensor Network for Agriculture
Volodymyr Romanov
,
Hanna Antonova
,
Igor Galelyuka
,
Volodymyr Hrusha
,
Anna Kedych
,
Oleksandr Voronenko
.
ukrprog 2023
:
385-401
[doi]
Improving Methods for Generating Encryption Keys Using Strange Attractors
Volodymyr Shevchenko
,
Igor Sinitsyn
,
Viktor Shevchenko
.
ukrprog 2023
:
375-384
[doi]
First Order Sequent Calculi of Logics of Quasiary Predicates with Extended Renominations and Equality
Stepan S. Shkilniak
,
Oksana Shkilniak
.
ukrprog 2023
:
3-18
[doi]
Data Stochastic Preprocessing for Sorting Algorithms
Viktor Shynkarenko
,
Anatoliy Doroshenko
,
Olena Yatsenko
,
Valentyn Raznosilin
,
Kostiantyn Halanin
.
ukrprog 2023
:
29-38
[doi]
Software Engineering and Big Data Software
Nykolay Sydorov
,
Nika Sydorova
.
ukrprog 2023
:
70-80
[doi]
Software Engineering Ecosystems
Nykolay Sydorov
.
ukrprog 2023
:
91-100
[doi]
Conceptual Knowledge Extraction and Retrieval Within Decomposition of Classes and Objects
Dmytro Terletskyi
,
Sergey Yershov
.
ukrprog 2023
:
113-139
[doi]
Software Package for Evaluation the Stereo Camera Calibration for 3D Reconstruction in Robotics Grasping System
Alona Vitiuk
,
Anatoliy Doroshenko
.
ukrprog 2023
:
402-411
[doi]
Applying Description Logics with Concrete Domains to Solve the Problem of Semantic Web Services Discovery and Composition
Olha Zakharova
.
ukrprog 2023
:
186-195
[doi]
2021
Proceedings of the 12th International Scientific and Practical Conference of Programming (UkrPROG 2020), Kyiv, Ukraine, September 15-16, 2020
Ivan Sergienko
,
Philip Andon
, editors,
Volume 2866 of
CEUR Workshop Proceedings
, CEUR-WS.org,
2021.
[doi]
2020
Побудова семантичної моделі зображення з використанням машинного навчання на базі згорткових нейронних мереж Developing a Semantic Image Model Using Machine Learning Based on Convolutional Neural Networks
Philip Andon
,
Andrii Hlybovets
,
Volodymir Kuryliak
.
ukrprog 2021
:
353-364
[doi]
Досвід використання семантичних технологій для створення інтелектуальних веб-енциклопедій (на прикладі розробки порталу е-ВУЕ) Experience of the Semantic Technologies Use for Intelligent Web Encyclopedia Creation (on Example of the Great Ukrainian Encyclopedia Portal)
Philip Andon
,
Julia Rogushina
,
Irina Grishanova
,
Valeriy Reznichenko
,
Alla Kyrydon
,
Alla Aristova
,
Andrew Tyschenko
.
ukrprog 2021
:
246-259
[doi]
Відтворення каузальних моделей з даних. Проблеми адекватності структур з прихованими причинами Causal Inference from Data. On Some Inadequacy Problems of Structures with Hidden Causes
Olexandr Balabanov
.
ukrprog 2021
:
392-406
[doi]
Розпізнавання емоційних проявів за групуванням скупченостей характерних мімічних станів обличчя людини - Recognition of Emotional Expressions Using the Grouping Crowdings of Characteristic Mimic States
Olexander Barmak
,
Eduard Manziuk
,
Oleg Kalyta
,
Iurii Krak
,
Vladislav A. Kuznetsov
,
Anatoliy Kulias
.
ukrprog 2021
:
173-181
[doi]
Domain Engineering Approach of Software Requirements Analysis
Olena Chebanyuk
,
Oleksandr Palagin
,
Krassimir Markov
.
ukrprog 2021
:
164-172
[doi]
Оптимізація паралельних алгоритмів з використанням моделі акторів Parallel Algorithms Optimization Using Actor Model
Anatoliy Doroshenko
,
Eugene Tulika
.
ukrprog 2021
:
126-137
[doi]
Застосування машинного навчання для уточнення чисельних метеорологічних прогнозів Application of Machine Learning to Improving Numerical Weather Prediction
Anatoliy Doroshenko
,
Vitalii Shpyg
,
Roman Kushnirenko
.
ukrprog 2021
:
375-383
[doi]
Автоматизоване проектування та розпаралелювання програм для гетерогенних платформ із використанням алгебро-алгоритмічного інструментарію Automated Design and Parallelization of Programs for Heterogeneous Platforms Using Algebra-Algorithmic Tools
Anatoliy Doroshenko
,
Oleksii Beketov
,
Mykola Bondarenko
,
Olena Yatsenko
.
ukrprog 2021
:
103-114
[doi]
Вплив ціноутворення хмарних сервісів на прибуток провайдера, споживчий надлишок і суспільний добробут The Impact of Cloud Services Pricing on Provider Profit, Consumer Surplus, and Social Welfare
Vasyl Gorbachuk
,
Serge Gavrylenko
.
ukrprog 2021
:
237-245
[doi]
Knowledge Based and Description Logics Applications to Natural Language Texts Analysis
Hryhorii Hoherchak
.
ukrprog 2021
:
259-269
[doi]
Про аналіз коректності автотьюнінгу програм з використанням техніки переписувальних правил Analyzing Correctness of Auto-tuning Code Transformations with Rule Rewriting Systems
Pavlo A. Ivanenko
.
ukrprog 2021
:
368-374
[doi]
Neural Networks' Learning Process Acceleration
Larysa Katerynych
,
Maksym Veres
,
Eduard Safarov
.
ukrprog 2021
:
313-322
[doi]
Hybrid Algorithm Newton Method for Solving Systems of Nonlinear Equations with Block Jacobi Matrix
Alexandr Khimich
,
Volodymyr Sydoruk
,
Alla Nesterenko
.
ukrprog 2021
:
208-217
[doi]
Efficient Increasing of the Mutation Score During Model-Based Test Suite Generation
Alexander Kolchin
,
Stepan Potiyenko
,
Thomas Weigert
.
ukrprog 2021
:
331-341
[doi]
Automated Methods of Coherence Evaluation of Ukrainian Texts Using Machine Learning Techniques
Artem Kramov
,
Sergiy Pogorilyy
.
ukrprog 2021
:
297-305
[doi]
Криптосистема на основі абелевих груп і кілець Encryption System Based on Abelian Groups and Rings
Sergii Kryvyi
.
ukrprog 2021
:
270-279
[doi]
Method of Information Obtaining from Ontology on the Basis of a Natural Language Phrase Analysis
Anna Litvin
,
Vitalii Velychko
,
Vladyslav Kaverynskyi
.
ukrprog 2021
:
323-330
[doi]
Засіб статичного аналізу .NET програм за допомогою переписування правил Static Analysis of .NET Programs Using Rewriting Rules
Tural Mamedov
,
Anatoliy Doroshenko
,
Ruslan Shevchenko
.
ukrprog 2021
:
157-163
[doi]
Decision Support System in Electronic Demography
Gulnara Nabibayova
.
ukrprog 2021
:
228-236
[doi]
Sequent Calculi of First-order Logics of Partial Predicates with Extended Renominations and Composition of Predicate Complement
Mykola Nikitchenko
,
Oksana Shkilniak
,
Stepan S. Shkilniak
.
ukrprog 2021
:
182-197
[doi]
Модель інформаційного об'єкта для електронної бібліотеки та її верифікація Model of Information Object for Digital Library and its Verification
Alexander Novitskyi
,
Valeriy Reznichenko
.
ukrprog 2021
:
31-38
[doi]
Distributional Semantic Modeling: a Revised Technique to Train Term/Word Vector Space Models Applying the Ontology-related Approach
Oleksandr Palagin
,
Vitalii Velychko
,
Kyrylo Malakhov
,
Oleksandr Shchurov
.
ukrprog 2021
:
342-352
[doi]
Про оптимальне керування в системі "хижак-жертва" About an Optimal Control for a "Predator-Prey" System
Serhei Pashko
.
ukrprog 2021
:
290-295
[doi]
Elements of Concrete Algorithmics: Computability and Solvability
Oleksandr Provotar
,
Olga Provotar
.
ukrprog 2021
:
198-207
[doi]
Development of the Information System for Semantic Identification and Documentation of the Results of Non-Formal and Informal Education
Serhii M. Pryima
,
Oksana V. Strokan
,
Dmitro V. Lubko
,
Yuliya Lytvyn
,
Nadia Bilyk
.
ukrprog 2021
:
11-19
[doi]
Ontology-based Methods and Tools for Validation of Non-formal Learning Outcomes
Serhii M. Pryima
,
Oksana V. Strokan
,
Julia V. Rogushina
,
Anatoly Y. Gladun
,
Andriy Mozgovenko
.
ukrprog 2021
:
50-60
[doi]
Elements of Concrete Algoritmics: Computability and Solvability. Web-based System for Regional Development Level Evaluation
Oleg Pursky
,
Tetyana Melnyk
,
Alexander Kharchenko
,
Volodymir Gamaliy
,
Tetyana O. Filimonova
.
ukrprog 2021
:
22-30
[doi]
Ontological Methods and Tools for Semantic Extension of the Media WIKI Technology
Julia Rogushina
,
Irina Grishanova
.
ukrprog 2021
:
61-73
[doi]
Cyber Security and Cyber Protection: the Current State of Public Administration in Ukraine
Andrii Semenchenko
,
Valentyna Pleskach
,
Oleh Zaiarnyi
,
Mariia Pleskach
.
ukrprog 2021
:
280-289
[doi]
Description Model of Programming Style Ecosystem
Nykolay Sydorov
,
Nika Sydorova
,
Eugen Sydorov
.
ukrprog 2021
:
74-81
[doi]
Побудова діагностичної експертно-медичної системи з використанням нейронних мереж Construction of Diagnostic Expert-medical System Using Neural Networks
Nazar Tkach
,
Kirill Salata
,
Mykola Glybovets
.
ukrprog 2021
:
384-392
[doi]
Context WEB-services Matching in the Discovery Task Resolving. Ontological Approaches
Olga Zakharova
.
ukrprog 2021
:
39-49
[doi]
Improving Performance of Python Code Using Rewriting Rules Technique
Kostiantyn Zhereb
.
ukrprog 2021
:
115-125
[doi]
2018
Класи каузальних структур, що ідентифікуються тестами простого формату On the classes of causal networks, identifiable by simple independence tests
Olexandr Balabanov
.
ukrprog 2018
:
180-188
[doi]
Formal foundations for software model to model transformation operation
Olena Chebanyuk
.
ukrprog 2018
:
124-131
[doi]
Отображение реляционной алгебры в дескриптивную логику Mapping of the relational algebra to the description logic
Inna Chystiakova
.
ukrprog 2018
:
214-225
[doi]
Програмні засоби моделювання системи управління векторною тягою реактивного двигуна Software means of modeling of the vector type of reactive engine control system
Anatoliy Doroshenko
,
Volodymyr Shymkovych
,
Vladyslav Fedorenko
.
ukrprog 2018
:
296-304
[doi]
Автотюнінг паралельних програм із використанням статистичного моделювання та машинного навчання Parallel software auto-tuning using statistical modeling and machine learning
Anatoliy Doroshenko
,
Pavlo A. Ivanenko
,
Oleksandr Novak
,
Olena Yatsenko
.
ukrprog 2018
:
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 Phi
Tetyana Gerasimova
,
Alla Nesterenko
.
ukrprog 2018
:
54-60
[doi]
Про зв'язок між табличною алгеброю нескінченних таблиць та мультимножинною табличною алгеброю About relationship between table algebra of infinite tables and multiset table algebra
Iryna Glushko
.
ukrprog 2018
:
159-163
[doi]
Специализированный компьютерный симулятор «SimEnPhysiol» Specialised computer simulator "SimEnPhysiol"
Rafik Grygoryan
,
Tetiana Aksenova
,
Anna Degoda
.
ukrprog 2018
:
280-287
[doi]
Теоретико-ігровий аналіз планувальників у багатопроцесорних системах. Імітаційна модель Game-theory analysis of multi-processor schedulers. Simulation model
Oleksii Ignatenko
,
Vladislav Odobesku
.
ukrprog 2018
:
75-82
[doi]
Interactive method for cumulative analysis of software formal models behavior
Alexander Kolchin
.
ukrprog 2018
:
115-123
[doi]
Predicting the Probability of Exceeding Critical System Thresholds
Peter Krammer
,
Marcel Kvassay
,
Ladislav Hluchý
.
ukrprog 2018
:
189-196
[doi]
Формалізований метод проектування застосувань в технології GPGPU Transition systems as method of designing applications in GPGPU technology
Sergii Kryvyi
,
Sergii Porogilyy
,
Maksym Slynko
.
ukrprog 2018
:
12-20
[doi]
Онтологоподібні системи аналізу природномовних текстів Ontological similar systems for analysis of texts of natural language
Sergii Kryvyi
,
Nataliia Darchuk
,
Aleksandr Provotar
.
ukrprog 2018
:
132-139
[doi]
Система моделей предметної області «Метатехнологія програмування» The system of models of domain «Software Metatechnology»
Yevhen Morentsov
.
ukrprog 2018
:
236-244
[doi]
Логіки загальних недетермінованих предикатів: cемантичні аспекти Logics of general non-deterministic predicates: semantic aspects
Mykola Nikitchenko
,
Oksana Shkilniak
,
Stepan S. Shkilniak
.
ukrprog 2018
:
31-45
[doi]
Розширення системи синтезу програм з метою аналізу великих наборів даних Extension of the program synthesis system to analyze large data sets
Olga Ovdii
.
ukrprog 2018
:
68-74
[doi]
Research and development workstation environment: the new class of Current Research Information Systems
Oleksandr Palagin
,
Vitalii Velychko
,
Kyrylo Malakhov
,
Oleksandr Shchurov
.
ukrprog 2018
:
255-269
[doi]
Еквівалентність двох систем паралельного виконання Equivalence of two parallel execution systems
Taras Panchenko
,
Sunmade Fabunmi
.
ukrprog 2018
:
93-98
[doi]
Оптимальне розміщення багатосенсорної системи Optimal placement of a multi-sensor system
Serhei Pashko
.
ukrprog 2018
:
140-148
[doi]
Use of metods of algebraic programming for the formal verification of legal acts
Volodymyr Peschanenko
,
Maksym Poltorackiy
.
ukrprog 2018
:
109-114
[doi]
Автоматизована екстракція структурованої інформації з множини веб сторінок Automated extraction of structured information from a variety of web pages
Sergiy Pogorilyy
,
Artem Kramov
.
ukrprog 2018
:
149-158
[doi]
Багаторівнева модель паралельних обчислень для задач лінійної алгебри Multi-level Model of Parallel Computing for Linear Algebra Problems
Oleksandr Popov
,
Olga Rudich
,
Oleksii Chystiakov
.
ukrprog 2018
:
83-92
[doi]
Достовірність нечіткості: теорія та застосування Credibility of fuzziness: theory and application
Olexander I. Provotar
,
Olexander O. Provotar
.
ukrprog 2018
:
164-170
[doi]
Use of semantic technologies in the process of recognizing the outcomes of non-formal and informal learning
Serhii M. Pryima
,
Julia V. Rogushina
,
Oksana V. Strokan
.
ukrprog 2018
:
226-235
[doi]
Proceedings of the 11th International Conference of Programming UkrPROG 2018, Kyiv, Ukraine, May 22-24, 2018
Ivan Sergienko
,
Philip Andon
, editors,
Volume 2139 of
CEUR Workshop Proceedings
, CEUR-WS.org,
2018.
[doi]
Числення контекстних термів для систем переписування Context term calculus for rewriting systems
Ruslan Shevchenko
.
ukrprog 2018
:
21-30
[doi]
Інструментальні засоби дослідження часової та функціональної ефективності біонічних алгоритмів розв'язку екстремальних задач Tools of investigation of time and functional efficiency of bionic algorithms for function optimization problems
Viktor Shynkarenko
,
Petro Ilchenko
,
Hennadii Zabula
.
ukrprog 2018
:
270-279
[doi]
Системные аспекты проектирования гарантоспособных облачных вычислений System aspects of design guaranteased cloud calculations
Mykola sovets
,
Ihor Shchetynin
,
Lilija Tovstenko
.
ukrprog 2018
:
61-67
[doi]
Специфікація процесу семантичної анотації Веб-сервісів Specification of the process of the semantic annotation the web services
Olga Zakharova
.
ukrprog 2018
:
204-213
[doi]
Імітаційне моделювання та генетична оптимізація систем керування засобами програмування LabVIEW Simulation and genetic optimization of control systems by LabVIEW programming
Valerii Zherebko
,
Oleg Pisarenko
,
Vitalii Drabynko
.
ukrprog 2018
:
288-295
[doi]
Sign in
or
sign up
to see more results.