ЗМІСТ

Чеботарев А.Н.
Верификация спецификаций в языке L относительно темпоральных свойств, не выразимых в этом языке

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

Подловченко Р.И.
Техника следов в разрешении проблемы эквивалентности в алгебраических моделях программ

Балабанов А.С.
Формирование минимальных d-сепараторов в системе зависимостей

Григорьян Ю.Г.
Неклассические свойства пространства дискретных геометрий

Долгополов И.Н.
Процесс коммуникации в клинической диагностике. Семиотический подход

Сергиенко И.В., Гуляницкий Л.Ф., Сиренко С.И.
Классификация прикладных методов комбинаторной оптимизации

Згуровский М.З.
Взаимосвязь больших кондратьевских циклов и системных мировых конфликтов

Норкин В.И., Кайзер М.А.
Об эффективности методов классификации, основанных на минимизации эмпирического риска

Надарая Э.А., Сохадзе Г.А., Шаташвили А.Д.
О статистическом оценивании логарифмической производной меры в гильбертовом пространстве

Кириченко Н.Ф., Корлюк А.С., Кривонос Ю.Г.
Контейнерные средства кластеризации и классификации сигналов

Касьянов П.О., Задоянчук Н.В., Ясинский В.В.
Периодические решения для класса нелинейных эволюционных уравнений гиперболического типа

Емец О.А., Емец Е.М.
Модификация метода комбинаторного отсечения в задачах оптимизации на вершинно расположенных множествах

Айда-заде К.Р.
К решению задач управления на импульсных и хевисайдовских классах управляющих функций

Майко Н.В., Рябичев В.Л.
Теоремы приближения операторных экспоненты и косинуса

Яремчук С.И., Бурда Р.В., Матущенко С.С.
Алгоритм решения дискретной минимаксной задачи размещения источников физического поля

Бойчук М.В., Шмурыгина Н.М.
Моделирование обобщенного эколого-экономического межотраслевого баланса с запаздыванием

Семенюк С.А.
Флуктуации процедуры стохастической аппроксимации с диффузионным возмущением

Баркалов А.А., Титаренко Л.А., Цололо С.А.
Оптимизация схемы автомата Мура, реализуемой в базисе ПЛИС

Крывый С.Л.
Объединенная международная конференция по информатике «ITA-2009»

*****
Авторы номера