Спеціальний випуск. Матеріали конференції УкрПрог'2022

ЗМІСТ

Титульні сторінки та зміст

ТЕОРЕТИЧНІ І МЕТОДОЛОГІЧНІ ОСНОВИ ПРОГРАМУВАННЯ

Шкільняк О.С., Шкільняк С.С.
Першопорядкові секвенційні числення логік квазіарних предикатів з розширеними реномінаціями та рівністю

Pursky O.I., Kozlov V.V., Tomashevska T.V., Dyvak V.V., Hordiiko N.O., Sinitsky M.Y.
Information resources distribution between automated workstations in local corporative networks

Шинкаренко В.І., Дорошенко А.Ю., Яценко О.А., Разносілін В.В., Галанін К.К.
Двохкомпонентні алгоритми сортування

Потієнко С.В., Колчин О.В.
Генерація багатоцільових формальних моделей із успадкованого коду

ПАРАЛЕЛЬНЕ ПРОГРАМУВАННЯ. РОЗПОДІЛЕНІ СИСТЕМИ І МЕРЕЖІ

Rahozin D.V.
Performance analysis of massively parallel programs for graphics processing units

Дорошенко А.Ю., Петрик М.Р., Михалик Д.М., Іваненко П.А., Яценко О.А.
Автоматизоване розпаралелювання програми моделювання внутрішньочастинкової дифузії й абсорбції в неоднорідних нанопористих середовищах

МЕТОДИ І ЗАСОБИ ПРОГРАМНОЇ ІНЖЕНЕРІЇ

Sydorov N.O., Sydorova N.M.
Software engineering and big data software

Слабоспицька О.О., Стецюк П.І., Хом’як О.М.
Пошук максимальних незалежних множин вершин графа для вдосконалення програмних проєктів

Погорілий С.Д., Білецький П.В.
Алгоритм пошуку кореферентних об’єктів в україномовних текстах з використанням дерев рішень

Sydorov M.O.
Toward software engineering ecosystems definition

Любченко В.В.
Про деякі аспекти інженерії програмних систем з елементами штучного інтелекту

Nesterenko O.V.
Technological trends & software engineering education: a systematic review study

ФОРМАЛЬНІ МЕТОДИ ПРОГРАМУВАННЯ

Letychevskyi O.O., Peschanenko V.S., Poltorackiy M.Yu.
Algebraic approach to the analysis of legal documents

Letychevskyi O.O., Peschanenko V.S., Poltorackiy M.Yu., TarasichYu.H., Vinnyk M.O.
Formal semantics and analysis of tokenomics properties

МОДЕЛІ І ЗАСОБИ СИСТЕМ БАЗ ДАНИХ ТА ЗНАНЬ

Terletskyi D.O.,Yershov S.V.
Decompositional Extraction and Retrieval of Conceptual Knowledge

Kudim K.A., Proskudina G.Yu.
Extracting structure from text documents based on machine learning

Palagin O.V., Petrenko N.G., Boyko M.O.
Ontological system processing of databases of scientific publications

Рогушина Ю.В., Гришанова І.Ю.
Проблеми масштабування семантичних інформаційних ресурсів зі складною структурою

Балабанов O.С.
Від темпоральних даних до динамічних каузальних моделей

Litvin A.A., Velychko V.Yu., Kaverynskyi V.V.
A dialogue system based on ontology automatically built through a natural language text analysis

Захарова О.В.
Застосування дескриптивних логік з конкретними доменами до вирішення задач виявлення та композиції семантичних веб сервісів

Reznichenko V.A., Chystiakova I.S.
Table interpretation of the temporal description logic LTL_ALC

МЕТОДИ ТА ЗАСОБИ КОМП'ЮТЕРНОГО МОДЕЛЮВАННЯ

Volkov V.A., Tarasich Yu.H.
Molecular modeling in the radiation therapy. The algebraic approach

Khimich O.M., Popov A.V., Chystiakov О.V.
On the peculiarities of using sparse matrices in problems of mathematical modeling

ІНСТРУМЕНТАЛЬНІ ЗАСОБИ ТА СЕРЕДОВИЩА ПРОГРАМУВАННЯ

Рогушина Ю.В., Гладун А.Я.
Використання онтологічних знань для багатокритеріального співставлення складних інформаційних об`єктів

Novitsky A.V.
The concept and evaluating of big data quality in the semantic environment

Лазоренко Я.С., Сініцин І.П., Шевченко В.Л.
Ідентифікація переважної мови спілкування людини

ЕКСПЕРТНІ ТА ІНТЕЛЕКТУАЛЬНІ ІНФОРМАЦІЙНІ СИСТЕМИ

Chebanuyk O.V.
An approach of intelligent searching of information in texts

Komleva N.O., Zinovatna S.L., Liubchenko V.V., Komlevoi O.M.
Features of building recommendation systems based on neural network technology using multithreading

Дорошенко А.Ю., Ашур І.З.
Автоматизована генерація програм для одного класу параметричних алгоритмів нейроеволюції

ІНФОРМАЦІЙНІ СИСТЕМИ

Palagin O.V., Malakhov K.S., Velychko V.Yu., Semykopna T.V., Shchurov O.S.
Digital health systems: SMART-system for remote support of hybrid E-rehabilitation services and activities

Katerynych L.O., Sazonov N.V.
Research on methods of building an interactive map in a web application

Свістунов С.Я., Перконос П.І., Суботін С.В., Твердохліб Є.М., Резніченко В.А.
Особливості формування інфраструктури відкритої науки в Україні

Писаренко Ю.В., Мелкумян К.Ю., Коваль О.С.
Можливе застосування регіональних ситуаційних центрів інтелектуальної системи «УПРАВЛІННЯ_ТЕП» з використанням БПЛА

Manziuk E.A., Barmak O.V., Krak Iu.V., Pasichnyk O.A., Radiuk P.M., Mazurets O.V.
Semantic alignment of ontologies meaningful categories with the generalization of descriptive structures

Ільїна О.П., Сініцин І.П., Слабоспицька О.О.
Принципи та моделі експертно-аналітичної методології підтримки формування адаптивних організаційних рішень за умов глибокої невизначеності

ЗАХИСТ ІНФОРМАЦІЇ

Панчук Б.А.
Виявлення бонет-трафіку на основі потоків, використовуючи ШІ

Ogurtsov M.I.
Friend-or-Foe Recognition Algorithm Development for the Corresponding Software Building

Gorbatiuk V.O., Gorbatiuk S.O.
Method of detection of http attacks on a smart home using the algebraic matching method

Dashdamirova K.Q.
Development of decision support system using OLAP-technologies for information security monitoring systems

Бодак Б.В., Дорошенко А.Ю.
Захист відкритих клієнтів за допомогою одного алгоритму авторизації

Шевченко В.В., Сініцин І.П., Шевченко В.Л.
Вдосконалення методів генерації ключів шифрування за допомогою дивних атракторів

ПРИКЛАДНЕ ПРОГРАМНЕ ЗАБЕЗПЕЧЕННЯ

Romanov V.O., Antonova H.V., Galelyuka I.B., Hrusha V.M.,. Kedych A.V, Voronenko O.V.
Creation and test of applied software of network of wireless sensors for agriculture

Pisarenko V.G., Nogin N.V., Kryachok A.S., Pisarenko J.V., Varava I.A., Koval A.S.
About complex intelligent technologies for techno-ecological events control in the water area

Мурасов Р.К., Куртсеїтов Т.Л., Чумаченко С.М., Луньова О.В., Пиріков О.В., Луньов А.О.
Математична модель оцінки загроз для об’єктів критичної інфраструктури в зоні ведення бойових дій

Валуйський С.В., Лисенко О.І., Чумаченко С.М., Гуйда О.Г., Фуртат О.В., Сушин І.О.
Метод оцінки зв’язності вузлів бездротових епізодичних мереж за умови застосування безпілотних літальних апаратів

Вітюк А.Є., Дорошенко А.Ю.
Програмний пакет для оцінки похибки калібрування стереокамери в системі комп’ютерного зору

Пашко С.В.
Моделювання оптимальних стратегій переслідування з простим рухом

Luhovskyi Yu.O.
Cloud service for authentication of a person based on their electrocardiogram

Горбачук В.М., Гавриленко С.О., Голоцуков Г.В., Пустовойт М.М.
Організаційні засади роботи цифрових платформ