• Використання генетичних алгоритмів для розв' язку задач уніфікації 

  Жежерун, Олександр; Мельничук, Василь (2013)

  Задача уніфікації є однією з класичних задач штучного інтелекту, використовується в системах логічного виводу. Традиційний шлях її вирішення потребує великих обсягів обчислень, у загальному випадку - експоненційний. Тому ...
• Меметичний алгоритм для евклідової задачі Штейнера 

  Євтушенко, Ольга (2013)

  Запропоновано евристику для евклідової задачі Штейнера на основі меметичного алгоритму. Описано основні кроки алгоритму з детальним поясненням ключових процедур.
• Researching semistructured problems of multicriteria optimization using the software system 

  Tryhub, Roman; Tryhub, Oleksandr; Horborukov, V. V. (2013)

  Develop the optimal decision support system for solving semistructured problems of multicriteria optimization, which can be used by individual or collegial body who take responsible decisions. Currently existing software ...
• Числення секвенційного типу для чистих першопорядкових логік квазіарних предикатів 

  Шкільняк, Степан (2013)

  Для чистих першопорядкових композиційно-номінативних логік часткових однозначних, тотальних неоднозначних та часткових неоднозначних квазіарних предикатів побудовано спеціальні секвенційні числення, які використовують ...
• Транзиційні композиційно-номінативні модальні логіки та їх числення 

  Шкільняк, Оксана (2013)

  Досліджено програмно-орієнтовні логічні формалізми модального типу - транзиційні композиційно-номінативні модальні логіки. В межах цих логік можна виділити мультимодальні, темпоральні, епістемічні композиційно-номінативні ...
• Онтології, ймовірнісні тематичні моделі та тематчні кари у онтолого-керованих інформаційних системах 

  Шабінський, Антон (2013)

  У статті розглянуто проблему представлення знань у онтолого-керованих інформаційних системах та підхід до її вирішення. Проаналізовано категоризацію та роль різних категорій онтологій в інформаційних системах. Запропоновано ...
• Cross-platform native software development for mobile operating systems: (Android, IOS, Windows 8 RT) 

  Шнайдер, Крістоф; Херманні, Хаген; Хенсген, Клаус (2013)

  In this article you will find overview of most useful technologies for software engineering of mobile systems. The main problem is existence of group of mobile operation systems that has different paradigms and it is hard ...
• Встановлення діагнозу дерматологічних захворювань із застосуванням моделей розподіленого вихідного коду та персептрону 

  Порхун, Олена (2013)

  У статті розглянуто моделі розподіленого вихідного коду для вирішення задачі мультикласифікації з використанням нейронної мережі багатошаровий персептрон та описано застосування розробленої системи мультикласифікації з ...
• Про застосування марковських процесів прийняття рішень для автоматизованого добору навчальних матеріалів у системах Blended Learning 

  Олецький, Олексій (2013)

  Обговорюється проблема знаходження оптимальної структури гіпертекстових посилань на веб-порталі (тобто оптимізацією навігаційних графів) на основі аналізу та моделювання поведінки відвідувачів. Пропонується підхід до ...
• Передбачуваність стану з'єднання при маршрутизації в опортуністичних мережах 

  Мазур, Роман (2013)

  У статті порівнюється складність прогнозування місцезнаходження із задачею, яка розв’язується при маршрутизації, за допомогою нововведеного поняття стану з’єднання. Показано, що показники ентропії стану з’єднання є значно ...
• Побудова лексико-синтаксичної моделі природної мови із застосуванням сучасних методів обробки великих текстових корпусів 

  Марченко, Олександр (2013)

  Статтю присвячено розробці алгоритму формування моделі лексико-синтаксичних структурних зв’язків природної мови на основі частотно-синтаксичного аналізу речень великого текстового корпусу. Для запису універсальних структур ...
• Напівмарковські процеси прийняття рішень з рандомізованим дисконтом 

  Ковальчук, Наталія; Чорней, Руслан (2013)

  У роботі розглянуто керовані напівмарковські процеси з випадковим дисконтуючим фактором. Знаходяться достатні умови існування та єдиності оптимальної стаціонарної нерандомізованої стратегії керування зазначеними процесами ...
• Кластеризація даних з використанням теоріЇ можливостеЙ 

  Касьянюк, Веда; Малютенко, Людмила (2013)

  У роботі розглянуто підхід до кластеризації, що базується на теорії можливостей. Такий підхід дозволяє врахувати неоднозначність вибору параметрів алгоритму кластеризації. На цій основі запропоновано методи оцінювання ...
• Методи персоналізації в системах електронного навчання агентного типу 

  Конюшенко, Олексій (2013)

  У статті проаналізовано методи персоналізації та уточнено їх використання в системах електронного навчання агентного типу. Запропоновано систему класифікації методів персоналізації.
• Порівняння ефективності застосування мов Scala, Erlang і Haskell в умовах баrатоядерних архітектур 

  Гороховський, Семен; Кравченко, Михайло (2013)

  У роботі проведено порівняння основних можливостей мов Scala, Erlang і Haskell та їх ефективності при розв’язанні практичних задач на багатоядерних архітектурах. На прикладі задачі знаходження досконалих чисел на певному ...
• Грід знань 

  Глибовець, Микола (2013)

  У роботі проаналізовано та узагальнено сучасні підходи до побудови гріду знань (Knowledge Grid).
• Агентно-базоване моделювання 

  Глибовець, Андрій (2013)

  У статті розглянуто ключові методології агентно-базованого моделювання та основні застосунки агентно-базованого моделювання.
• Алгоритми розв'язання розподіленої задачі задоволення обмежень 

  Галковська, Любов (2013)

  У даній роботі представлено розроблену автором класифікацію алгоритмів розв’язання розподіленої задачі задоволення обмежень. Наведено приклади представників кожного з класів, а також їх порівняльна характеристика та ...
• Автоматичний вибір параметрів ядра опорно-векторних машин 

  Галкін, Олександр (2013)

  Досліджено методологію автоматичного вибору параметрів ядра опорно-векторних машин. Використано метод градієнтного спуску для мінімізації оцінок тестової похибки. Отримано гладку апроксимацію тестової помилки з використанням ...
• Optimized channel selection for multi-radio ІЕЕЕ 802.11 backbones 

  Finsterbush, Mikhael; Khenshen, Klaus; Shmidt, Patrik (2013)

  This paper presents the Simple Backbone Channel Allocation (SBCA) algorithm. It is used to optimize the channel assignment in IEEE 802.11 wireless backbone networks. We point to some specifics in channel assignment of ...

View more