Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем... за авторством Колчин, А.В., Летичевский, А.А., Потиенко, С.В.

Отримати повний текст

Разработка и обоснование алгоритмов на основе семантических свойств за авторством Крывый, С.Л., Максимец, А.Н.

Отримати повний текст

Генерация SQL-запросов в задаче согласования данных электронного документа и таблиц базы данных за авторством Марулин, С.Ю.

Отримати повний текст

Формальна семантика агрегатних операцій мультимножинної табличної алгебри за авторством Глушко, І.М.

Отримати повний текст

Сравнительна характеристика методик объектно-реляцонного преобразования за авторством Лихацкий, И.А.

Отримати повний текст

Безпосередній об'єкт статевих зносин з особою, яка не досягла статевої зрілості за авторством Чмут, С.В.

Отримати повний текст

Змішана тематично-сутнісна онтологія у покращеній тематичній векторній моделі за авторством Шабінський, А.С.

Отримати повний текст

Онтолого-ориентированная интеграция данных в Семантическом Вебе за авторством Чистякова, И.С.

Отримати повний текст

Медико-физиологические программные симуляторы: необходимость и проблемы за авторством Григорян, Р.Д., Дериев, И.И., Аксенова, Т.В., Лиссов, А.Н.

Отримати повний текст

Завадостійкий код на основі скінченного автомата та подання чисел у двобазисній системі числення за авторством Завадський, І.О.

Отримати повний текст

Методы моделирования поведения агентов в мультиагентной системе "Навигация" за авторством Яловец, А.Л.

Отримати повний текст

Развитие формальных моделей, алгоритмов, процедур, разработки и функционирования программной системы "Инструментальный комплекс онтологического назначения”... за авторством Палагин, А.В., Петренко, Н.Г., Величко, В.Ю., Малахов, К.С.

Отримати повний текст

Mathematical foundations for designing and development of intelligent systems of information analysis за авторством Terletskyi, D.O., Provotar, O.I.

Отримати повний текст

Методы взаимодействия и координации в мультиагентных системах на основе нечеткой логики высшего типа... за авторством Парасюк, И.Н., Ершов, С.В.

Отримати повний текст

Проектирование специализированной компьютерной системы для проведения пульмонологического диагностирования... за авторством Комлевая, Н.О., Комлевой, А.Н., Чернега, К.С.

Отримати повний текст

Розробка семантико-синтаксичної моделі природної мови за допомогою методів невід’ємної тензорної і матричної факторизації... за авторством Марченко, О.О.

Отримати повний текст

Доказування обставин вчинення деяких релігійних злочинів за авторством Цимбал, М.М.

Отримати повний текст

Алгоритм побудови шестивимірного тензора для задачі пошуку прихованих семантичних зв’язків в корпусах природномовних текстів... за авторством Вознюк, Т.Г.

Отримати повний текст

Евристичний алгоритм морфолексичного аналізу для невідомих слів за авторством Тарануха, В.Ю.

Отримати повний текст

Автоматизований переклад з української мови на українську жестову мову: алгоритмічна реалізація за авторством Крак, Ю.В., Бармак, О.В., Романишин, С.О., Ізотов, А.В.

Отримати повний текст