163: Комп'ютерні науки
Permanent URI for this collection
Browse
Recent Submissions
Item Металогічні предикати в пролозі(2014) Вовк, НаталіяThis paper examines some possibilities of expanding logical programming language Prolog, namely metalogical predicates (metapredicates).Item Висока доступність мережевих сервісів: визначення та основні фатори впливу(2014) Черкасов, ДмитроOverview of network service implementation specifics. Defining high availability of network service.Item Використання технології хмарних обчислень в електронній освіті(2014) Кирієнко, Оксанастатті описано інтеграцію віртуального навчального середовища з хмарною платформою і створення синхронізованої системи зберігання документів між EyeOS та Moodle.Item Про методики інформаційного керування процесом e-learning на основі моделей послідовного прийняття рішень(2014) Олецький, Олексій; Олецкий, АлексейMathematical models that can be applied for selecting the most appropriate materials in e-learning systems are regarded.Item Learning management system at schools – are they really needed there?(2014) Qashi, R.; Glybovets, MykolaIn this article, several findings of various studies are shown on the use of LMS in schools.Item Моделювання роботи колаборативного середовища за допомогою кольорових мереж Петрі(2014) Гломозда, ДмитроУ статті описано модель координаційного механізму програмної системи підтримки асинхронної дистанційної взаємодії в мережі Інтернет, створену за допомогою кольорових мереж Петрі.Item Використання діяльності віртуальних спільнот для покращення інформаційного пошуку(2014) Глибовець, Микола; Конюшенко, ОлексійThe article substantiates the task of development of personalized search that would be search for documents of thematic portal based on the results of the cooperative activity of an virtual community portal for the evaluation of documents.Item Координація розподілених команд розробників програмного забезпечення(2014) Афонін, Андрій; Глибовець, Андрій; Бобко, ОлександрУ статті описано ґрунтовне дослідження проблем та особливостей розподіленої розробки програмного забезпечення систем керування проектами, визначено рівні співпраці між учасника ми розподілених команд, вивчено роль організаційної пам’яті.Item Domain analysis method as a service of cloud-enabeled service oriented platform(2014) Sydorov, I.The problems of building PaaS and SaaS applications are coveredItem Задача планування технічного обслуговування складних систем(2014) Горборуков, В.; Франчук, ОлегУ статті розглянуто задачу планування технічного обслуговування складних систем, яка формалізується в класі моделей дискретного програмування з обмеженнями комбінаторного типу.Item Детекція руху у стиснутому відеопотоці в реальному часі(2014) Бучко, Олена; Савченко, Р.; Яковенко, Д.У статті описано швидкий, ефективний та простий метод визначення областей змін на зображенні та детекції руху у стиснутому відеопотоці.Item Зведення задачі обернення кусково-лінійного відображення до задачі про приховану дію на торсор над абелевою групою(2014) Фесенко, АУ цій роботі, використовуючи загальні методи аналізу складності задачі обернення локально комутативних відображень, досліджено кусково-лінійне відображення.Item Інтеграція тематично-сутнісної онтології в інфраструктуру інформаційно-пошукової системи(2014) Шабінський, АнтонIn this paper we consider topic-entity ontology of the enhanced topic-based vector-space model in the context of the common information retrieval infrastructure.Item Створення напівінтелектуальних комп'ютерних систем: основні проблеми(2014) Мейтус, ВолодимирУ роботі розглянуто проблеми, пов’язані зі створенням напівінтелектуальних комп’ютерних систем.Item Алгоритм глобального рівноважного пошуку розв'язання задачі про покриття(2014) Рощин, Володимир; Ляшко, Володимир; Боярчук, Д.; Шило, П.У статті проаналізовано кращі відомі алгоритми розв’язання задачі про покриття. Запропоновано і досліджено новий алгоритм, заснований на використанні методів глобального рівноважного пошуку, повторного локального пошуку та адаптивного настроювання повторності.Item Застосування генетичних алгоритмів для уніфікації термів другого порядку з одномісними функціоналтьними символами(2014) Болгар, Ю; Жежерун, ОлександрSecond-order unification problem is undecidable in general case, but the decidability has been proven for lambda-algebra of second-order terms with unary functional symbols.Item Теоретичний підхід до розробки та аналізу генетичних алгоритмів(2014) Глибовець, Микола; Гулаєва, НаталіяУ статті детально проаналізовано основні теоретичні методи розробки та аналізу генетичних алгоритмів, зокрема використання теореми схем, гіпотези будівельних блоків, розсіяного пошуку (scatter search).Item Використання скінченних автоматів у завадостійкому кодуванні(2014) Завадський, ІгорУ статті описано новий метод завадостійкого кодування, у якому повідомлення, що кодуються, розглядаються як цілі числа та подаються у двобазисній системі числення, а потім кодуються за допомогою скінченного автомата. Запропонований код вирізняється вищою завадостійкістю порівняно з широковідомими згортковими та блоковими кодами.