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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text