eKMAIR

Т. 190: Комп'ютерні науки

Т. 190: Комп'ютерні науки

 

Останні додані

  • Гороховський, Семен; Галковська, Любов (2016)
    У цій роботі подано розроблені автором модифікації алгоритму GLoSS, що розв’язують розподілену задачу задоволення обмежень із гнучкими обмеженнями. Наведено доведення повноти та коректності алгоритмів, а також оцінки їх ...
  • Мейтус, Володимир (2016)
    Роботу присвячено дослідженню різних рівнів, у рамках яких можна подати поняття інтелекту. Для своєї діяльності система, наділена інтелектом, має моделювати своє навколишнє середовище, а потім використовувати цю модель ...
  • Нікітченко, Микола; Шкільняк, Степан (2016)
    Запропоновано новий клас програмно-орієнтованих логічних формалізмів – чисті першопорядкові логіки із квазіарними та n-арними предикатами. Такі формалізми є синтезом класичних першопорядкових логік і композиційно-номінативних ...
  • Касьянюк, Веда; Малютенко, Людмила; Шкільняк, Оксана (2016)
    У статті розглянуто програмно-орієнтовні логічні формалізми – чисті першопорядкові композиційно-номінативні транзиційні модальні логіки немонотонних часткових предикатів. На основі властивостей відношення логічного наслідку ...
  • Глибовець, Андрій; Збунь, В. (2016)
    На сьогодні проблему індексації та пошуку текстової інформації майже вирішено, залишилися лише певні моменти покращення адаптованості алгоритмів до потреб користувача. Усі сучасні пошукові системи поставили собі за мету ...
  • Norkin, B. (2016)
    The paper describes an information technology (and software) for interactive visual search for Paretooptimal data in a large data set (data points). Each data element (point) is a vector with a number of components with ...
  • Бублик, Володимир (2016)
    Стаття містить звіт про важливий напрям діяльності авторів, спрямований на створення та впровадження новітніх засобів розроблення програмних систем в університетські курси програмування на основі використання тісної ...
  • Черкасов, Дмитро (2016)
    У статті розглянуто оптимальні підходи до організації маршрутизації в мережі сучасного підприємства, до складу якої входить низка територіально розмежованих відділень. Використано поняття транспортної інфраструктури ...
  • Горборуков, Вячеслав; Олецький, Олексій (2016)
    Описано основні функціональні можливості автоматизованої системи запису студентів на вибіркові навчальні курси, що була розроблена в Національному університеті «Києво-Могилянська академія». Розглянуто можливості розвитку ...
  • Didmanidze, Ibraim; Didmanidze, Didari (2016)
    The paper deals with such an approach to the development of the computer training equipment which enables a university professor who teaches any subject to act in the role of a constructor and,if necessary, to change the ...