ЗМІСТ

Морозов А.О.
50 років з дня заснування Інституту проблем математичних машин і систем НАН України

Ященко В.А.
От многомерных рецепторно-эффекторных нейроподобных растущих сетей к электронному мозгу роботов

Летичевский А.А. (мл.)
Эксперименты с дедуктивным тестированием реактивных систем

Герасимов И.В., Кузьмин С.А., Булахов А.В.
Операционные элементы с итеративной организацией вычислительно-преобразовательного процесса

Ледянкин Ю.Я.
Способ параллельной реализации метода Ньютона-Рафсона на спецпроцессоре в едином вычислительном потоке

Литвинов В.А., Оксанич І.М., Майстренко С.Я.
Предиктивний тайпінг в інтерфейсі користувача інформаційно-пошукової системи

Kazymyr V.V., Tevkun M.V., Drozd O.P. ZD
Technologies of data transmission in video conferencing systems

Казимир В.В., Бивойно П.Г., Прелая О.А., Гуза Т.А.
Методы планирования потоков задач в grid-среде

Бальченко И.В., Литвинов В.В., Клименко В.П.
Особенности построения автоматизированной системы управления сельскохозяйственным предприятием

Желдак Т.А.
Застосування методу моделювання колонії мурах до розв’язання комбінаторних задач планування виконання замовлень металургійними підприємствами

Нога Р.Ю.
Метод формування наукових шкіл на основі аналізу елементів публікацій

Волобоев В.П., Клименко В.П.
Метод конечных элементов и теория графов

Молчанов А.А., Сирик С.В., Сальников Н.Н.
Особенности применения сосредоточенных аппроксимаций в методе SUPG при решении линейных одномерных задач конвекции-диффузии

Бєгун В.В., Гречанінов В.Ф., Клименко В.П.
Щодо питань про сучасні методи регулювання безпеки

Радченко С.Г.
О соответствии применяемого статистического метода реальным свойствам моделируемых сложных систем

Лапач С.Н.
Планирование в пассивном эксперименте

Лазаренко С.В., Макаренко О.С.
Про оцінки розмірностей атракторів дискретних динамічних систем із антисипацією

Серая А.А.
Иерархические Е-сети как средство моделирования дискретно-непрерывных технологических процессов

Муха Ар.А.
Моделирование алгоритма функционирования АПС-ЭГ средствами пакета Matlab Simulink+Stateflow

Альперт С.І.
Сучасні критерії оцінки точності класифікації аерокосмічних зображень

Стрельников П.В.
Разработка программного обеспечения оценивания показателей надежности при малом числе отказов

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

Голубчик В.Я.
Энергетическое бесконечное множество как необходимая и достаточная основа Вселенной (Гипотеза)