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

Get full text

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

Get full text

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

Get full text

Розвиток вітчизняного паровозобудування та роль у ньому С.П. Сиром’ятникова by Бережняк, Г.П.

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

Излучение звука решеткой, образованной соосными цилиндрическими пьезокерамическими оболочками с торцевыми экранами. Часть I. Теория... by Вовк, И.В., Мацыпура, В.Т.

Get full text

З історії дослідження забудови Києва кінця ХІХ – початку ХХ ст. by Сердюк, О.М.

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text