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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

Mathematical foundations for designing and development of intelligent systems of information analysis von Terletskyi, D.O., Provotar, O.I.

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext