Проблеми програмування. 2016 (2-3(спец. вип.)) АРХІВ (Всі випуски) 
 | Проблеми програмування
2016. Вип. 2-3(спец. вип.) |
- Титул.
- Зміст.
- Глушко И. М. Внешние множественные операции табличной алгебры бесконечных таблиц. - C. 11-16.
- Губа А. А., Колчин А. В., Потиенко С. В. Метод извлечения логики поведения из промышленного программного кода на языке Кобол. - C. 17-25.
- Новокшонов А. К. Аналіз ефективності реалізації арифметичних алгоритмів на мовах програмування C++ та Python. - C. 26-31.
- Опанасенко В. Н., Крывый С. Л. Синтез многоуровневых структур со многими выходами. - C. 32-37.
- Резниченко В. А., Чистякова И. С. Интеграция семейства расширенных дескриптивных логик с реляционной моделью данных. - C. 38-47.
- Шкільняк С. С., Волковицький Д. Б. Композиційно-номінативні логіки безкванторних рівнів. - C. 48-62.
- Шинкаренко В. И., Куропятник Е. С. Конструктивно-продукционная модель графового представления текста. - C. 63-72.
- Нікітченко М. С., Шкільняк О. С., Шкільняк С. С. Чисті першопорядкові логіки квазіарних предикатів. - C. 73-86.
- Паулин О. Н., Комлевая Н. О., Марулин С. Ю. О выделении макроопераций из вычислительных процессов сортировки массивов данных. - C. 87-95.
- Тітов Д. С., Дорошенко А. Ю., Яценко О. А. Автоматизована розробка паралельної розподіленої системи обробки потокових даних. - C. 96-104.
- Погорілий С. Д., Слинько М. С. Створення і дослідження паралельних схем алгоритму Джонсона в технології GPGPU. - C. 105-112.
- Zhygallo A. A. Peterson’s Algorithm total correctness proof in IPCL. - C. 113-118.
- Остаповська Ю. А., Панченко Т. В., Поліщук Н. В., Картавов М. О. Доведення властивості коректної роботи банківської системи виплати грошових переказів. - C. 119-132.
- Дорошенко А. Ю., Хаврюченко В. Д., Туліка Є. M., Жереб K. А. Перетворення успадкованого коду на Fortran до масштабованого паралелізму і хмарних обчислень. - C. 133-140.
- Єршов C. В., Пономаренко Р. М. Методи організації паралельних обчислень для багаторівневих нечітких систем Такагі – Сугено. - C. 141-149.
- Марченко О. О. Машинно-навчальні методи розпізнавання іменованих сутностей тексту. - C. 150-157.
- Молдавская А. В. Метод формирования многоуровневых последовательных паттернов. - C. 158-163.
- Voloshyn D. Application of deep learning and computer vision frameworks for solving video context prediction problem. - C. 164-169.
- Провотар О. І., Василенко О. В., Провотар О. О. Нечіткі ймовірності та нечіткі події. - C. 170-178.
- Єршов С. В., Костукевич Ф. В. Технологія моделювання на основі нечітких об’єктно-орієнтованих байєсівських мереж довіри. - C. 179-187.
- Рогушина Ю. В. Семантические Wiki-ресурсы и их использование для построения персонифицированных онтологий. - C. 188-195.
- Захарова О. В. Використання технік AI-планування для вирішення задач композиції Веб-сервісів. - C. 196-203.
- Рогушина Ю. В., Гришанова І. Ю. Використання активності користувача відкритих Wiki-ресурсів для поповнення його онтологічної моделі. - C. 204-210.
- Новицький О. В. Розширення UML специфікації для моделювання семантичних об’єктів. - C. 211-219.
- Lytvynenko T. I. Problem of data analysis and forecasting using decision trees method. - C. 220-226.
- Черніченко К. О., Капканець А. М., Панченко Т. В. Прогнозування навантаження та планування розкладу роботи операторів контактного центру. - C. 227-236 .
- Крак Ю. В., Бармак О. В., Мазурець О. В. Практичне дослідження ефективності інформаційної технології автоматизованого визначення семантичних термінів у контенті навчальних матеріалів. - C. 237-245.
- Бекетов О. Г., Вітряк Є. А., Мироненко І. О., Овдій О. М. Розвиток інтернет-порталу метеорологічного прогнозування на мультипроцесорній платформі. - C. 246-253.
- Григорян Р. Д., Аксенова Т. В. Симуляция гемодинамики гипертрофированного сердца. - C. 254-263.
- Андон П. І., Ігнатенко П. П., Сініцин І. П., Слабоспицька О. О. Методичні основи оцінювання витрат на розроблення та супровід прикладного програмного забезпечення комп’ютерних систем. - C. 264-273.
|
|
