Шифр: П312121815/2019/1 Журнал 2019р. № 1 Нікітченко, М. С. Пропозиційні логіки часткових предикатів з композицією предикатного доповнення / М. С. Нікітченко, О. С. Шкільняк, С. С. Шкільняк. - С.3-13. - Бібліогр. в кінці ст. Шкільняк, О. С. Девіантні алгебри істиннісних значень та девіантні класи загальних недетермінованих предикатів / О. С. Шкільняк. - С.14-26. - Бібліогр. в кінці ст. Дорошенко, А. Ю. Автоматизоване проектування OpenCL програм на основі алгебро-алгоритмічного підходу / А. Ю. Дорошенко, М. М. Бондаренко, О. А. Яценко. - С.27-36. - Бібліогр. в кінці ст. Овдій, О. М. До питання автоматизації проектування робочих процесів на основі алгеброалгоритмічного та онтологічного інструментарію / О. М. Овдій. - С.37-47. - Бібліогр. в кінці ст. Шевченко, Р. С. TermWare-3 – система переписування термів, заснована на контекстному численні / Р. С. Шевченко, А. Ю. Дорошенко. - С.48-56. - Бібліогр. в кінці ст. Рогушина, Ю. В. Засоби та методи аналізу неструктурованих даних / Ю. В. Рогушина. - С.57-77. - Бібліогр. в кінці ст. Яловець, А. Л. Методи розпізнавання агентом невідомого середовища / А. Л. Яловець. - С.78-89. - Бібліогр. в кінці ст. Григорян, Р. Д. Симулятор механизмов срочной регуляции гемодинамики человека / Р. Д. Григорян, А. Г. Дегода, В. С. Харсун. - С.90-98. - Бібліогр. в кінці ст. Перейти до зовнішнього ресурсу ПОВНИЙ ТЕКСТ Є примірники у відділах: всього 1 : ГП ЧЗ (1) Вільні: ГП ЧЗ (1) |
Дорошенко, А. Ю. Автоматизоване проектування OpenCL програм на основі алгебро-алгоритмічного підходу / А. Ю. Дорошенко, М. М. Бондаренко, О. А. Яценко // Проблеми програмування : науковий журнал. - 2019. - № 1. - С. 27-36. - Бібліогр. в кінці ст. . - ISSN 1727-4907 Кл.слова (ненормовані): автоматизоване проектування програм -- алгебра алгоритмів -- метеорологічне прогнозування -- синтез програм Дод.точки доступу: Бондаренко, М. М. Яценко, О. А. Є примірники у відділах: всього 1 : ГП ЧЗ (1) Вільні: ГП ЧЗ (1) |
Шевченко, Р. С. TermWare-3 – система переписування термів, заснована на контекстному численні / Р. С. Шевченко, А. Ю. Дорошенко // Проблеми програмування : науковий журнал. - 2019. - № 1. - С. 48-56. - Бібліогр. в кінці ст. . - ISSN 1727-4907 Кл.слова (ненормовані): автоматизація розробки програмного забезпечення -- мови програмування -- переписування термів -- системи типів -- алгебра типів -- аналіз коду Дод.точки доступу: Дорошенко, А. Ю. Є примірники у відділах: всього 1 : ГП ЧЗ (1) Вільні: ГП ЧЗ (1) |
Шифр: П312121815/2019/2 Журнал 2019р. № 2 Дорошенко, А. Ю. Проектування програми візуалізації земної поверхні з використанням алгебро-алгоритмічного інструментарію / А. Ю. Дорошенко, Р. В. Кушніренко, О. А. Яценко. - С.3-10. - Бібліогр. в кінці ст. Мамедов, Т. А. Засіб налаштування програм на платформі. за допомогою переписувальних правил / Т. А. Мамедов, А. Ю. Дорошенко. - С.11-16. - Бібліогр. в кінці ст. Рогушина, Ю. В. Проблеми використання онтологічного аналізу для подання знань у WIKI-ресурсах / Ю. В. Рогушина. - С.17-37. - Бібліогр. в кінці ст. Кудим, К. А. Методы и средства извлечения данных о персоналиях из авторефератов диссертаций / К. А. Кудим, Г. Ю. Проскудина. - С.38-46. - Бібліогр. в кінці ст. Балабанов, О. С. Аналітика великих даних: принципи, напрямки і задачі (огляд) / О. С. Балабанов. - С.47-68. - Бібліогр. в кінці ст. Білецький, Б. О. Горизонтальне та вертикальне масштабування методів машинного навчання / Б. О. Білецький. - С.69-80. - Бібліогр. в кінці ст. Захарова, О. Використання метаданих для вирішення задач великих даних / О. Захарова. - С.81-99. - Бібліогр. в кінці ст. Перейти до зовнішнього ресурсу ПОВНИЙ ТЕКСТ Є примірники у відділах: всього 1 : ГП ЧЗ (1) Вільні: ГП ЧЗ (1) |
Дорошенко, А. Ю. Проектування програми візуалізації земної поверхні з використанням алгебро-алгоритмічного інструментарію / А. Ю. Дорошенко, Р. В. Кушніренко, О. А. Яценко // Проблеми програмування : науковий журнал. - 2019. - № 2. - С. 3-10. - Бібліогр. в кінці ст. . - ISSN 1727-4907 Кл.слова (ненормовані): автоматизоване проектування програм -- алгебра алгоритмів -- візуалізація даних -- метеорологічне прогнозування -- рельєф земної поверхні -- синтез програм -- тривимірне моделювання Дод.точки доступу: Кушніренко, Р. В. Яценко, О. А. Є примірники у відділах: всього 1 : ГП ЧЗ (1) Вільні: ГП ЧЗ (1) |
Мамедов, Т. А. Засіб налаштування програм на платформі. за допомогою переписувальних правил / Т. А. Мамедов, А. Ю. Дорошенко // Проблеми програмування : науковий журнал. - 2019. - № 2. - С. 11-16. - Бібліогр. в кінці ст. . - ISSN 1727-4907 Кл.слова (ненормовані): клітинний автомат гра життя -- автотюнінг -- вимірювання швидкодії Дод.точки доступу: Дорошенко, А. Ю. Є примірники у відділах: всього 1 : ГП ЧЗ (1) Вільні: ГП ЧЗ (1) |
Шифр: П312121815/2019/3 Журнал 2019р. № 3 Шкільняк, О. С. Відношення логістичного наслідку в логіках часткових предикатів з композицією предикатного доповнення / О. С. Шкільняк. - С.11-27. - Бібліогр. в кінці ст. Шкільняк, С. С. / С. С. Шкільняк. - С.28-44. - Бібліогр. в кінці ст. Сидоров, Н. А. Основы программирования в контексте инженерии программного обеспечения / Н. А. Сидоров. - С.45-57. - Бібліогр. в кінці ст. Балабанов, О. С. Задачі та методи аналізу великих даних / О. С. Балабанов. - С.58-85. - Бібліогр. в кінці ст. Резниченко, В. А. Что такое Big Data / В. А. Резниченко. - С.86-100. - Бібліогр. в кінці ст. Захарова, О. Платформи великих даних. Основні задачі, властивості та переваги / О. Захарова. - С.101-115. - Бібліогр. в кінці ст. Дорошенко, А. Ю. Програмна система аналізу хмарності за даними супутникових спостережень / А. Ю. Дорошенко, В. М. Шпиг, О. М. Овдій. - С.116-126. - Бібліогр. в кінці ст. Перейти до зовнішнього ресурсу ПОВНИЙ ТЕКСТ Є примірники у відділах: всього 1 : ГП ЧЗ (1) Вільні: ГП ЧЗ (1) |
Дорошенко, А. Ю. Програмна система аналізу хмарності за даними супутникових спостережень / А. Ю. Дорошенко, В. М. Шпиг, О. М. Овдій // Проблеми програмування : науковий журнал. - 2019. - № 3. - С. 116-126. - Бібліогр. в кінці ст. . - ISSN 1727-4907 Кл.слова (ненормовані): розподілені обчислення -- робочі процеси -- аналіз зображень -- моніторинг -- хмарність Дод.точки доступу: Шпиг, В. М. Овдій, О. М. Є примірники у відділах: всього 1 : ГП ЧЗ (1) Вільні: ГП ЧЗ (1) |