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

ЗМІСТ

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

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

Глушко И.М.
Внешние множественные операции табличной алгебры бесконечных таблиц

Губа А.А., Колчин А.В., Потиенко С.В.
Метод извлечения логики поведения из промышленного программного кода на языке Кобол

Новокшонов А.К.
Аналіз ефективності реалізації арифметичних алгоритмів на мовах програмування C++ та Python

Опанасенко В.Н., Крывый С.Л.
Синтез многоуровневых структур со многими выходами

Резниченко В.А., Чистякова И.С.
Интеграция семейства расширенных дескриптивных логик с реляционной моделью данных

Шкільняк С.С., Волковицький Д.Б.
Композиційно-номінативні логіки безкванторних рівнів

Шинкаренко В.И., Куропятник Е.С.
Конструктивно-продукционная модель графового представления текста

Нікітченко М.С., Шкільняк О.С., Шкільняк С.С.
Чисті першопорядкові логіки квазіарних предикатів

Паулин О.Н., Комлевая Н.О., Марулин С.Ю.
О выделении макроопераций из вычислительных процессов сортировки массивов данных

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

Тітов Д.С., Дорошенко А.Ю., Яценко О.А.
Автоматизована розробка паралельної розподіленої системи обробки потокових даних

Погорілий С.Д., Слинько М.С.
Створення і дослідження паралельних схем алгоритму Джонсона в технології GPGPU

Zhygallo A.A.
Peterson’s Algorithm total correctness proof in IPCL

Остаповська Ю.А., Панченко Т.В., Поліщук Н.В., Картавов М.О.
Доведення властивості коректної роботи банківської системи виплати грошових переказів

Дорошенко А.Ю., Хаврюченко В.Д., Туліка Є.M., Жереб K.А.
Перетворення успадкованого коду на Fortran до масштабованого паралелізму і хмарних обчислень

Єршов C.В., Пономаренко Р.М.
Методи організації паралельних обчислень для багаторівневих нечітких систем Такагі – Сугено

ІНТЕЛЕКТУАЛЬНІ ІНФОРМАЦІЙНІ ТЕХНОЛОГІЇ

Марченко О.О.
Машинно-навчальні методи розпізнавання іменованих сутностей тексту

Молдавская А.В.
Метод формирования многоуровневых последовательных паттернов

Voloshyn D.
Application of deep learning and computer vision frameworks for solving video context prediction problem

Провотар О.І., Василенко О.В., Провотар О.О.
Нечіткі ймовірності та нечіткі події

Єршов С.В., Костукевич Ф.В.
Технологія моделювання на основі нечітких об’єктно-орієнтованих байєсівських мереж довіри

Рогушина Ю.В.
Семантические Wiki-ресурсы и их использование для построения персонифицированных онтологий

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

Рогушина Ю.В., Гришанова І.Ю.
Використання активності користувача відкритих Wiki-ресурсів для поповнення його онтологічної моделі

Новицький О.В.
Розширення UML специфікації для моделювання семантичних об’єктів

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

Lytvynenko T.I.
Problem of data analysis and forecasting using decision trees method

Черніченко К.О., Капканець А.М., Панченко Т.В.
Прогнозування навантаження та планування розкладу роботи операторів контактного центру

Крак Ю.В., Бармак О.В., Мазурець О.В.
Практичне дослідження ефективності інформаційної технології автоматизованого визначення семантичних термінів у контенті навчальних матеріалів

Бекетов О.Г., Вітряк Є.А., Мироненко І.О., Овдій О.М.
Розвиток інтернет-порталу метеорологічного прогнозування на мультипроцесорній платформі

Григорян Р.Д., Аксенова Т.В.
Симуляция гемодинамики гипертрофированного сердца

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