Наукова бібліотека Українського державного університету науки і технологій

Головна

Бази даних

Статті, доповіді, тези- результати пошуку

Вид пошуку

Каталог книг

Каталог книг НМетАУ (до 2022 року)

Періодичні видання (друковані)

Статті, доповіді, тези

Рідкісні та цінні видання

Охоронні документи

Мережеві ресурси

Зона пошуку

Формат представлення знайдених документів:
повний	інформаційний	короткий

Відсортувати знайдені документи за:
автором	назвою	роком видання	типом документа

Пошуковий запит: <.>A=Жереб, К. А.@<.>

Загальна кількість знайдених документів : 4
Показані документи с 1 за 4

Шифр: П40/2017/3
Журнал

Проблеми програмування : науковий журнал. - Київ : ІПС, 1999 - . - Виходить кожного кварталу
2017р. № 3

Зміст:
Загородній, А. Г. Впровадження сучасних інформаційних технологій в наукових дослідженнях НАН України / А. Г. Загородній, П. І. Андон, І. А. Процикевич. - С.3-18. - Бібліогр. в кінці ст. : іл.
Дорошенко, А. Ю. Формальні та адаптивні методи й інструментальні засоби паралельного програмування / А. Ю. Дорошенко [и др.]. - С.19-30. - Бібліогр. в кінці ст. : іл.
Інші автори: Бекетов О. Г., Жереб К. А., Іваненко П. А., Овдій О. М., Шевченко Р. С., Яценко О. А.
Андон, П. І. Збіркове програмування компонентних і сервіс-орієнтованих прикладних програмних систем / П. І. Андон, О. О. Слабоспицька. - С.31-51. - Бібліогр. в кінці ст. : іл., табл.
Рогушина, Ю. В. Використання онтологій для персоніфікації семантичного пошуку / Ю. В. Рогушина. - С.52-67. - Бібліогр. в кінці ст. : іл.
Андон, Ф. И. Функциональные возможности и статистика использования научной электронной библиотеки периодических изданий НАН Украины / Ф. И. Андон [и др.]. - С.68-95. - Библиогр. в конце ст. : ил., табл.
Інші автори: Кудим К. А., Матюхина К. Г., Новицкий А. В., Проскудина Г. Ю., Резниченко В. А.
Балабанов, О. С. Відкриття знань у даних та каузальні моделі в аналітичних інформаційних технологіях / О. С. Балабанов. - С.96-112. - Бібліогр. в кінці ст. : іл., табл.
Ильина, Е. П. Модели и методы поддержки аналитического сопровождения поля решений организации / Е. П. Ильина, И. П. Синицын. - С.113-127. - Библиогр. в конце ст. : ил., табл.
Сініцин, І. П. Комплексний підхід до побудови системи кіберзахисту критичної інформаційної інфраструктури держави / І. П. Сініцин [и др.]. - С.128-148. - Бібліогр. в кінці ст. : іл., табл.
Інші автори: Ігнатенко П. П., Слабоспицька О. О., Артеменко О. В.
Ігнатенко, О. П. Теоретико-ігровий підхід до проблеми безпеки мереж / О. П. Ігнатенко. - С.149-160. - Бібліогр. в кінці ст. : іл., табл.
Григорян, Р. Д. Проблемно-ориентированные компьютерные симуляторы в решении теоретических и прикладных задач физиологии человека / Р. Д. Григорян. - С.161-171. - Библиогр. в конце ст. : ил.
Кузьмина, К. И. Здоровьесберегающие технологии и компьютерные системы в современном человековедении для рациональной организации жизненного цикла человека / К. И. Кузьмина, Т. М. Сёмик. - С.172-193. - Библиогр. в конце ст. : ил.
Пашко, С. В. Побудова стратегій переслідування з використанням функцій Ляпунова / С. В. Пашко. - С.194-211. - Бібліогр. в кінці ст. : табл.
Є примірники у відділах:
ЧЗНЛ Прим. 1 - (вільний)

Знайти схожі
Перейти до описів статей

Формальні та адаптивні методи й інструментальні засоби паралельного програмування / А. Ю. Дорошенко, О. Г. Бекетов, К. А. Жереб, П. А. Іваненко, О. М. Овдій // Проблеми програмування : науковий журнал. - 2017. - № 3. - С. 19-30 : іл. - Бібліогр. в кінці ст.

УДК

004.4'24

Рубрики: Програмне забезпечення
Программное обеспечение
Кл.слова (ненормовані):
автоматизація програмування -- автоматизация программирования -- алгебра алгоритмів -- алгебра алгоритмов -- метеорологічне прогнозування -- метеорологическое прогнозирование -- паралельні обчислення -- параллельные вычисления -- техніка переписувальних правил -- техника переписывающих правил

Дод.точки доступу:
Дорошенко, А. Ю.; Бекетов, О. Г.; Жереб, К. А.; Іваненко П. А., Овдій О. М., Шевченко Р. С., Яценко О. А.

Є примірники у відділах:
ЧЗНЛ Прим. 1 - (вільний)

Знайти схожі

Шифр: П40/2020/2
Журнал

Проблеми програмування : науковий журнал. - Київ : ІПС, 1999 - . - Виходить кожного кварталу
2020р. № 2-3

Зміст:
Прийма, С. М. Розробка інформаційної системи семантичної ідентифікації і документування результатів неформального й інформального навчання / С. М. Прийма, О. В. Строкань, Д. В. Лубко, Ю. О. Литвин, Н. І. Білик. - С.11-21. - Бібліогр. в кінці ст. : іл.
Інші автори: Строкань О. В., Лубко Д. В., Литвин Ю. О. Білик Н. І.
Пурський, О. І. Web-система оцінюання рівня регіонального розвитку / О. І. Пурський, Т. М. Мельник, О. А. Харченко, В. Ф. Гамалій. - С.22-30. - Бібліогр. в кінці ст. : іл.
Інші автори: Мельник Т. М., Харченко О. А., Гамалій В. Ф.
Новицький, О. В. Модель інформаційного об'єкта для електронної бібліотеки та її верифікація / О. В. Новицький, В. А. Резніченко. - С.31-38. - Бібліогр. в кінці ст. : іл., а-табл.
Захарова, О. В. Контекстне співставлення веб-сервісів у вирішенні задачі виявлення. Онтологічні підходи / О. В. Захарова. - С.39-49. - Бібліогр. в кінці ст. : іл.
Прийма, С. М. Методи та інструменти розробки інформаційної системи валідації результатів неформального навчання / С. М. Прийма [и др.]. - С.50-60. - Бібліогр. в кінці ст. : іл., а-табл.
Інші автори: Строкань О. В., Рогушина Ю. В., Гладун А. Я., Мозговенко А. А.
Сидоров, Н. А. Дескриптивная модель экосистемы стиля программирования / Н. А. Сидоров, Н. Н. Сидорова, Е. Н. Сидоров. - С.74-81. - Библиогр. в конце ст. : ил., а-табл.
Пунда, С. Ю. Системи збереження даних для IT інфраструктури / С. Ю. Пунда. - С.82-93. - Бібліогр. в кінці ст. : іл.
Дивак, В. В. Наукове обгрунтуванн та практична апробація використання інформаційно-комунікаційних технологій у розвитку економічної компетентності керівників закладів середньої освіти / В. В. Дивак, П. Г. Демідов, Ю. Ю. Юрченко. - С.94-102. - Бібліогр. в кінці ст. : іл., а-табл.
Дорошенко, А. Ю. Автоматизоване проектування та розпаралелювання програм для гетерогенних платформ із використанням алгебро-алгоритмічного інструментарію / А. Ю. Дорошенко, О. Г. Бекетов, М. М. Бондаренко, О. А. Яценко. - С.103-114. - Бібліогр. в кінці ст. : іл.
Інші автори: Бекетов О. Г., Бондаренко М. М., Яценко О. А.
Жереб, К. А. Підвищення продуктивності коду мовою Python з використанням техніки переписувальних правил / К. А. Жереб. - С.115-125. - Бібліогр. в кінці ст. : іл., а-табл.
Дорошенко, А. Ю. Оптимізація паралельних алгоритмів з використанням моделі акторів / А. Ю. Дорошенко, Є. М. Туліка. - С.126-137. - Бібліогр. в кінці ст. : іл.
Паулин, О. Н. Об использовании особых структур данных в алгоритмах покрытия / О. Н. Паулин, Н. О. Комлевая. - С.138-148. - Библиогр. в конце ст. : ил.
Мамедов, Т. А. Засіб статичного аналізу .Net програм за допомогою переписувальних правил / Т. А. Мамедов, А. Ю. Дорошенко, Р. С. Шевченко. - С.157-163. - Бібліогр. в кінці ст. : іл.
Бармак, О. В. Розпізнавання емоційних проявів за групуванням скупченостей характерних мімічних станів обличчя людини / О. В. Бармак [и др.]. - С.173-181. - Бібліогр. в кінці ст. : іл., а-табл.
Інші автори: Манзюк Е. А., Калита О. Д., Крак Ю. В., Кузнєцов В. О., Куляс А. І.
Нікітченко, М. С. Секвенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та композицією предикатного доповнення / М. С. Нікітченко, О. С. Шкільня, С. С. Шкільняк. - С.182-197. - Бібліогр. в кінці ст.
Провотар О, І,. Елементи конкретної алгоритміки: обчислюваність і розв'язність / О, І, Провотар О, О. О. Провотар. - С.198-207. - Бібліогр. в кінці ст.
Хіміч, О. М. Гібридний алгоритм методу Ньютона для розв'язування систем нелінійних рівнянь з блочними матрицями Якобі / О. М. Хіміч, В. А. Сидорук, А. Н. Нестеренко. - С.208-217. - Бібліогр. в кінці ст. : іл., а-табл.
Комлева, Н. О. Система підтримки прийняття рішень в управлінні якістю навчального процесу / Н. О. Комлева, В. В. Любченко, С. Л. Зіноватна. - С.218-227. - Бібліогр. в кінці ст. : іл.
Набибенкова, Г. Ч. Система поддержки принятия решений в среде электронной демонрафии / Г. Ч. Набибенкова. - С.228-236. - Библиогр. в конце ст. : ил., а-табл.
Горбатюк, В. М. Вплив ціноутворення хмарних сервісів на прибуток провайдера, споживчий надлишок і суспільний добробут / В. М. Горбатюк, С. О. Гавриленко. - С.237-245. - Бібліогр. в кінці ст.
Андон, П. І. Досвід використання семантичних технологій для створення інтелектуальних веб-енциклопедій (на прикладі розробки порталу e-ВУЕ / П. І. Андон, Ю. В. Рогушина, І. Ю. Гришанова, В. А. Резніченко, А. М. Киридон, А. В. Арістова, А. О. Тищенко. - С.246-258. - Бібліогр. в кінці ст. : іл.
Інші автори: Рогушина Ю. В., Гришанова І. Ю., Резніченко В. А., Киридон А. М., Арістова А. В., Тищенко А. О.
Гогерчак, Г. І. Застосування баз знань та дескриптивних логік до аналізу природномовних текстів / Г. І. Гогерчак. - С.259-269. - Бібліогр. в кінці ст. : іл., а-табл.
Кривий, С. Л. Криптосистема на основі абелевих груп і кілець / С. Л. Кривий. - С.270-277. - Бібліогр. в кінці ст. : граф.
Семенченко, А. І. Організаційно-правові механізми державного управління забезпеченням кібербезпеки та кіберзахисту України: сутність, стан та перспективи розвитку / А. І. Семенченко, В. Л. Плескач, О. А. Заярний, М. В. Плескач. - С.278-286. - Бібліогр. в кінці ст.
Інші автори: Плескач В. Л., Заярний О. А., Плескач М. В.
Пашко, С. В. Про оптимальне керування в системі "хижак-жертва" / С. В. Пашко. - С.287-294. - Бібліогр. в кінці ст. : іл.
Крамов, А. А. Автоматизовані методи оцінки когерентності україномовних текстів з використанням методологіі машинного навчання / А. А. Крамов, С. Д. Погорілий. - С.295-303. - Бібліогр. в кінці ст. : іл., а-табл.
Литвин, А. А. Метод получения информации из онтологии на основе анализа фразы на естественном языке / А. А. Литвин, В. Ю. Величко, В. В. Каверинкий. - С.322-330. - Библиогр. в конце ст. : ил.
Андон, П. І. Побудова семантичної моделі зображення з використанням машинного навчання на базі згорткових нейронних мереж / П. І. Андон, А. М. Глибовець, В. В. Куриляк. - С.352-361. - Бібліогр. в кінці ст. : іл., а-табл.
Лукьянов, И. О. О влиянии особенностей фитнесс-функций на сходимость генетического алгоритма / И. О. Лукьянов, Ф. А. Литвиненко. - С.362-367. - Библиогр. в конце ст. : ил., а-табл.
Іваненко, П. А. Про аналіз коректності автотюнингу програм з використанням техніки переписувальних правил / П. А. Іваненко. - С.368-374. - Бібліогр. в кінці ст.
Дорошенко, А. Ю. Застосування машинного навчання для уточнення чисельних метеорологічних прогнозів / А. Ю. Дорошенко, В. М. Шпиг, Р. В. Кушніренко. - С.375-383. - Бібліогр. в кінці ст. : іл., а-табл.
Глибовець, М. М. Побудова діагностичної експертно-медичної системи з використанням нейронних мереж / М. М. Глибовець, К. В. Салата, Н. А. Ткач. - С.384-391. - Бібліогр. в кінці ст. : іл.
Балабанов, О. С. Відтворених каузальних моделей з даних. Проблеми адекватності структур з прихованим причинами / О. С. Балабанов. - С.392-406. - Бібліогр. в кінці ст. : іл.
Білоконь, О. С. Застосування технології глибинного навчання для побудови інтелектуальних автономних машин / О. С. Білоконь. - С.407-418. - Бібліогр. в кінці ст. : іл., а-табл.
Є примірники у відділах:
ЧЗНЛ Прим. 1 - (вільний)

Знайти схожі
Перейти до описів статей

Жереб, К. А.
Підвищення продуктивності коду мовою Python з використанням техніки переписувальних правил / К. А. Жереб // Проблеми програмування : науковий журнал. - 2020. - № 2-3. - С. 115-125 : іл., а-табл. - Бібліогр. в кінці ст.

УДК

004.4'24

Рубрики: Програмне забезпечення
Программное обеспечение
Кл.слова (ненормовані):
підвищення продуктивності коду -- повышение производительности кода -- техніка переписувальних правил -- техника переписывающих правил -- Python -- Cython

Є примірники у відділах:
ЧЗНЛ Прим. 1 - (вільний)

Знайти схожі

© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)