Опис документа

Автоматична оптимізація виконання для задачі метеорологічного прогнозування [Текст] / П.А. Іваненко, А.Ю. Дорошенко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 426-434.
Алгебра для описания данных в композиционных схемах алгоритмов [Текст] / В.Г. Акуловский // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 234-240.
Аспекты моделирования в системе Гомеопат [Текст] / А.А. Провотар, О.А. Провотар // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 63-67.
Аціклічність та замкненість макрокомпозицій [Текст] / В.Ю. Вінник, Т.С. Парфірова // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 18-24.
Базові основи індустрії програм, обчислень і даних [Текст] / К.М. Лавріщева // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 50-62.
Дефинитологические основания сущностной платформы [Текст] / В.Н. Редько, И.В. Редько, Н.В. Гришко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 68-76.
Деякі підходи до обчислення умовної невизначеності [Текст] / О.І. Провотар, О.В. Лапко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 443-449.
До задачі оптимізації завантаженості ресурсів обчислювального кластера з вузлами у вигляді віртуальних машин [Текст] / С.Д. Погорілий, І.В. Білоконь // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 93-101.
Задача проверки Т-выполнимости для логического языка VL1 системы VRS [Текст] / В.Г. Тимофеев // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 251-259.
Имитационная модель и ее программная реализация планирования ресурсов грид-системы [Текст] / С.В. Минухин, С.В. Знахур // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 133-142.
Итеративный подход к анализу естественно-языковых текстов: логический аспект [Текст] / С.Л. Крывый, Д.С. Бибиков // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 10-17.
Імплементація юридично правомочних електронних документів [Текст] / А.О. Мелащенко, О.С. Скарлат // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 356-362.
К вопросу о модифицируемости и безаномальности схемы реляционной базы данных [Текст] / Б.Е. Панченко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 281-288.
К вопросу разработки инструментального комплекса онтологического назначения [Текст] / А.В. Палагин, Н.Г. Петренко, В.Ю. Величко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 289-298.
Комплексна система тестування взаємодії ресурсів у національній грід-інфраструктурі [Текст] / Є.А. Слюсар // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 111-118.
Композіційно-номінативні логіки з непрямим іменуванням [Текст] / Т.В. Россада, О.С. Шкільняк // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 44-49.
Метод автоматичного проектування раціональних схем розкрою рулонних матеріалів на деталі взуття [Текст] / В.І. Чупринка, О.В. Чебанюк // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 419-425.
Метод доменного аналізу для ефективного моделювання процесів при проведенні експериментів використання програмного забезпечення [Текст] / О.В. Чебанюк, В.І. Чупринка // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 168-173.
Метод калібрування моделі СОСОМО шляхом редукції основного рівняння [Текст] / Д.В. Баценко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 192-200.
Методологія аналізу статистичних даних для реалізації перспективного планування в автоматизованій інформаційній системі "Надання медико-соціальних та реабілітаційних послуг" [Текст] / С.М. Федоренко, А.В. Чадюк // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 406-413.
Модели и методы аналитической поддержки принятия решений стратегического управления [Текст] / Е.П. Ильина, И.П. Синицын // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 270-280.
Мультиагентные модели на основе нечеткой логики высшего типа для высокопроизводительной среды [Текст] / И.Н. Парасюк, С.В. Ершов // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 260-269.
Обробка даних у гетерогенних мережах типа GRID [Текст] / А.Ю. Стеняшин // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 124-132.
Один підхід до вирішення проблеми універсального використання мови програмування OPENCL на різних GPU [Текст] / А.М. Лавренюк, С.І. Лавренюк // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 77-84.
Оптимизация проверки выполнимости переходов при верификации формальных моделей [Текст] / А.В. Колчин // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 201-210.
Оптимізація алгоритму побудови невід'ємної матричної факторизації у задачах обробки текстів природною мовою із використання графічних процесорів [Текст] / О.О. Марченко, В.К. Кисенко, І.О. Березань // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 119-123.
Особенности реализации процессов имитационного моделирования на основе методологии DATA FARMING [Текст] / Е.А. Криковлюк, В.А. Пепеляев, М.А. Сахнюк // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 414-418.
Особливості застосування генетичного алгоритму балансування навантаження в мережі [Текст] / С.Д. Погорілий, Р.В. Білоус // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 85-92.
Особливості проектування інформаційної системи "Планування наукових досліджень в НАПН України" [Текст] / Н.Т. Задорожна, В.А. Петрушко, С.М. Тукало // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 322-330.
О структурных элементах компонентной сети Петри [Текст] / Е.А. Лукьянова // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 25-32.
Підтримка процесу керування варіабельністю в сімействах програмних систем [Текст] / А.Л. Колесник // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 182-191.
Побудова інтегрованої е-інфраструктури підтримки наукових досліджень в грід-середовищі [Текст] / Є.М. Твердохліб, П.І. Перкос // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 143-149.
Повышение временной эффективности структур данных в оперативной памяти на основе адаптации [Текст] / В.И. Шинкаренко, Г.В. Забула // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 211-218.
Подання динамічних вимірів у OLAP-кубах [Текст] / Т.В. Панченко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 299-307.
Потокові моделі мережі Інтернет за умов атак на відмову [Текст] / П.І. Андон, О.П. Ігнатенко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 450-459.
Пошук інваріантів U-Y-програм ітераційним алгоритмом над абсолютно вільними алгебрами даних [Текст] / О.М. Максимець // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 228-233.
Применение статистических моделей в инженерии качества процессов производства программных систем [Текст] / Л.Е. Матвеева, Т.Н. Гориславец // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 174-181.
Принципи створення інтелектуального інтерфейсу для розв'язування систем лінійних алгебраїчних рівнянь на комп'ютерах гібрідної архітектури [Текст] / О.М. Хіміч, Т.В. Чистякова, А.Ю. Баранов // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 435-442.
Проблеми і можливості програмування в середовищі SEMANTIC WEB [Текст] / П.І. Андон, Л.П. Бабенко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 363-373.
Розпаралелювання програм на Фортрані з використанням техніки переписувальних правил [Текст] / А.Ю. Дорошенко, К.А. Жереб, Є.М. Туліка // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 388-397.
Секвенційні числення композиційно-номінативних логік квазіарних предикатів [Текст] / С.С. Шкільняк // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 33-43.
Система керування грід-завданнями віртуальної лабораторії, що грунтується на асинхроннії обробці подій [Текст] / А.О. Сальніков // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 102-110.
Средства кодогенерации для взаимодействия с базой данных через объекты [Текст] / И.А. Лихацкий // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 380-387.
Средства параметрически управляемой генерации алгоритмов на основе алгебры гиперсхем [Текст] / Е.А. Яценко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 219-227.
Средства проектирования объектно-ориентированных программ на основе алгебры алгоритмики [Текст] / А.Е. Дорошенко, В.А. Иовчев // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 241-250.
Формалізація жестоутворення за допомогою трьохмірної моделі людини для української жестовой мови [Текст] / Ю.Г. Кривонос, Ю.В. Крак, О.В. Бармак // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 398-405.
Формальная модель научной публикации [Текст] / В.А. Резниченко, Г.Ю. Проскудина, О.М. Овдий // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 331-347.
Формування готовності майбутніх бакалаврів з інженерії програмного забезпечення до професійної комунікації [Текст] / Н.М. Сидорова // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 308-314.
UWN: універсальна онтологічна база знань української мови [Текст] / А.В. Анісімов, О.О. Марченко, А.О. Никоненко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 348-355.