ЗМІСТ

Титульная страница и содержание

Редько В.Н., Буй Д.Б., Сенченко А.С.
Об инвариантности ключей относительно операций табличных алгебр

Чеботарев А.Н.
Согласование взаимодействующих автоматов

Алексейчук А.Н.
Улучшенная верхняя граница для относительного расстояния между булевой функцией и множеством k-мерных функций

Летичевский А.А. (мл.)
Парадигмы модельного и символьного тестирования программных систем

Косаревич Р.Я., Русын Б.П., Корний В.В., Керод Т.И.
Сегментация изображений на основе оценивания тенденции к формированию кластеров элементами изображения с помощью характеристик точечного поля

Михайлюк В.А., Лищук Н.В.
О сложности вычисления параметров устойчивости в задачах булева программирования

Борисенко В.И.
Алгоритм, устанавливающий эквивалентность детерминированных многоленточных автоматов

Павленко В.Б.
Частный случай разрешающего полинома

Стоян В.А.
О некоторых результатах математического моделирования динамики не полностью наблюдаемых пространственно распределенных систем

Мартынюк Т.Б., Кожемяко А.В., Куперштейн Л.М.
Формализация алгоритма классификации объектов

Денисов С.В., Семенов В.В., Чабак Л.М.
Сходимость модифицированного экстраградиентного метода для вариационных неравенств с нелипшицевыми операторами

Королюк Д.В.
Статистические эксперименты в сбалансированной марковской случайной среде

Павленко О., Пола А., Царьков Е.
Диффузионная аппроксимация модели пуассоновского типа для накопленной избыточной доходности

Исканаджиев И.М.
Нижний альтернированный интеграл Понтрягина для дифференциальных включений

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

Задирака В.К., Кудин А.М., Швидченко И.В., Бределев Б.А.
Применение CAPTCHA в компьютерной стеганографии

Рачковский Д.А.
Оценка сходства векторов по их рандомизированным бинарным проекциям

Семенов В.Ю.
Метод нахождения всех корней системы нелинейных алгебраических уравнений, основанный на операторе Кравчика

Вавиленкова А.И.
Основные принципы синтеза логико-лингвистических моделей