Проблеми програмування. 2020 (2-3) АРХІВ (Всі випуски)
| Проблеми програмування 2020. Вип. 2-3 |
- Титул.
- Зміст.
- Прийма С. М., Строкань О. В., Лубко Д. В., Литвин Ю. О., Білик Н. І. Розробка інформаційної системи семантичної ідентифікації і документування результатів неформального й інформального навчання. - C. 11-21.
- Пурський О. І., Мельник Т. М., Харченко О. Н., Гамалій В. Ф. WEB-система оцінювання рівня регіонального розвитку. - C. 22-30.
- Новицький О. В., Резніченко В. А. Модель інформаційного об’єкта для електронної бібліотеки та її верифікація. - C. 31-38.
- Захарова О. В. Контекстне співставлення ВЕБ-сервісів у вирішенні задачі виявлення. Онтологічні підходи. - C. 39-49.
- Прийма С. М., Строкань О. В., Рогушина Ю. В., Гладун А. Я., Мозговенко А. А. Методи та інструменти розробки інформаційної системи валідації результатів неформального навчання. - C. 50-60.
- Rogushina J. V., Grishanova I. J. Ontological methods and tools for semantic extension of the media WIKI technology. - C. 61-73.
- Сидоров Н. А., Сидоров Н. Н., Сидоров Е. Н. Дескриптивная модель экосистемы стиля программирования. - C. 74-81.
- Пунда С. Ю. Системи збереження даних для ІТ інфраструктури. - C. 82-93.
- Дивак В. В., Демідов П. Г., Юрченко Ю. Ю. Наукове обгрунтування та практична апробація використання інформаційно-комунікаційних технологій у розвитку економічної компетентності керівників закладів середньої освіти. - C. 94-102.
- Дорошенко Ф. Ю., Бекетов О. Г., Бондаренко М. Н., Яценко О. Я. Автоматизоване проектування та розпаралелювання програм для гетерогенних платформ із використанням алгебро-алгоритмічного інструментарію. - C. 103-114.
- Жереб К. А. Підвищення продуктивності коду мовою РYТНОN з використанням техніки переписувальних правил. - C. 115-125.
- Дорошенко А. Ю., Туліка Є. М. Оптимізація паралельних алгоритмів з використанням моделі акторів. - C. 126-137.
- Паулин О. Н., Комлевая Н. О. Об использовании особых структур данных в алгоритмах покрытия. - C. 138-148.
- Rahozin Dm. Models of concurrent program running in resource constrained environment. - C. 149-156.
- Мамедов Г. А., Дорошенко А. Ю., Шевченко Р. С. Засіб статичного аналізу .NET програм за допомогою переписувальних правил. - C. 157-163.
- Chebanyuk O. V., Palahin O. V., Markov K. K. Domain engineering approach of software requirements analysis. - C. 164-172.
- Бармак О. В., Манзюк Е. А., Калита О. Д., Крак Ю. В., Кузнєцов В. О., Куляс А. І. Розпізнавання емоційних проявів за групуванням скупченостей характерних мімічних станів обличчя людини. - C. 173-181.
- Нікітченко М. С., Шкільняк О. С., Шкільняк С. С. Секвенційні числення першопорядкових логік часткових предикатів з розширеними реномінаціями та композицією предикатного доповнення. - C. 182-197.
- Провотар О. І., Провотар О. О. Елементи конкретної алгоритміки: обчислюваність і розв’язність. - C. 198-207.
- Хіміч О. М., Сидорук В. А., Нестеренко А. Н. Гібридний алгоритм методу Ньютона для розв’язування систем нелінійних рівнянь з блочними матрицями Якобі. - C. 208-217.
- Комлева Н. О., Любченко В. В., Зіноватна С. Л. Система підтримки прийняття рішень в управлінні якістю навчального процесу. - C. 218-227.
- Набибекова Г. Ч. Система поддержки принятия решений в среде электронной демографии. - C. 228-236.
- Горбачук В. М., Гавриленко С. О. Вплив ціноутворення хмарних сервісів на прибуток провайдера, споживчий надлишок і суспільний добробут. - C. 237-245.
- Андон П. І., Рогушина Ю. В., Гришанова І. Ю., Резніченко В. А., Киридон А. М., Арістова А. В., Тищенко А. О. Досвід використання семантичних технологій для створення інтелектуальних ВЕБ-енциклопедій (на прикладі розробки порталу E-BYE). - C. 246-258.
- Гогерчак Г. І. Застосування баз знань та дескриптивних логік до аналізу природно-мовних текстів. - C. 259-269.
- Кривий С. Л. Криптосистема на основі абелевих груп і кілець. - C. 270-277.
- Семенченко А. І., Плескач В. Л., Заярний О. А., Плескач М. В. Організаційно-правові механізми державного управління забезпеченням кібербезпеки та кіберзахисту України: сутність, стан та перспективи розвитку. - C. 278-286.
- Пашко С. В. Про оптимальне керування в системі "хижак-жертва". - C. 287-294.
- Крамов А. А., Погорілий С. Д. Автоматизовані методи оцінки когерентності україномовних текстів з використанням методології машинного навчання. - C. 295-303.
- Kosovets M., Tovstenko L. The practical aspect of using the artificial intellectual technology for building a multidimentional function CFAR for smart-handled LPI radar. - C. 304-312.
- Katerynych L., Veres M., Safarov E. Neural networks’ learning process acceleration. - C. 313-321.
- Литвин А. А., Величко В. Ю., Каверинский В. В. Метод получения информации из онтологии на основе анализа фразы на естественном языке. - C. 322-330.
- Kolchin A., Potienko S., Weigert T. Efficient increasing of the mutation score during model-based test suite generation. - C. 331-340.
- Palagin O. V., Velychko V. Yu., Malakhov K. S., Shchurov O. S. Distributional semantic modeling: a revised technique to train term/word vector space models applying the ontology-related approach. - C. 341-351.
- Андон П. І., Глибовець А. М., Куриляк В. В. Побудова семантичної моделі зображення з використанням машинного навчання на базі згорткових нейронних мереж. - C. 352-361.
- Лукьянов И. О., Литвиненко Ф. А. О влиянии особенностей фитнесс-функций на сходимость генетического алгоритма. - C. 362-367.
- Іваненко П. А. Про аналіз коректності автотьюнінгу програм з використанням техніки переписувальних правил. - C. 368-374.
- Дорошенко А. Ю., Шпиг В. М., Кушніренко Р. В. Застосування машинного навчання для уточнення чисельних метеорологічних прогнозів. - C. 375-383.
- Глибовець М. М., Салата К. В., Ткач Н. А. Побудова діагностичної експертно-медичної системи з використанням нейронних мереж. - C. 384-391.
- Балабанов О. С. Відтворення казуальних моделей з даних. Проблеми адекватності структур з прихованими причинами. - C. 392-406.
- Білоконь О. С. Застосування технології глибинного навчання для побудови інтелектуальних автономних машин. - C. 407-418.
|
|