ЗМІСТ

Морозов А.О.

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

ОБЧИСЛЮВАЛЬНІ СИСТЕМИ

Ященко В.А.

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

Летичевский А.А. (мл.)

Эксперименты с дедуктивным тестированием реактивных систем

Герасимов И.В., Кузьмин С.А., Булахов А.В.

Операционные элементы с итеративной организацией вычислительно-преобразовательного процесса

Ледянкин Ю.Я.

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

ІНФОРМАЦІЙНІ І ТЕЛЕКОМУНІКАЦІЙНІ ТЕХНОЛОГІЇ

Литвинов В.А., Оксанич І.М., Майстренко С.Я.

Предиктивний тайпінг в інтерфейсі користувача інформаційно-пошукової системи

Kazymyr V.V., Tevkun M.V., Drozd O.P. ZD

Technologies of data transmission in video conferencing systems

Казимир В.В., Бивойно П.Г., Прелая О.А., Гуза Т.А.

Методы планирования потоков задач в grid-среде

Бальченко И.В., Литвинов В.В., Клименко В.П.

Особенности построения автоматизированной системы управления сельскохозяйственным предприятием

Желдак Т.А.

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

Нога Р.Ю.

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

МОДЕЛЮВАННЯ І УПРАВЛІННЯ

Волобоев В.П., Клименко В.П.

Метод конечных элементов и теория графов

Молчанов А.А., Сирик С.В., Сальников Н.Н.

Особенности применения сосредоточенных аппроксимаций в методе SUPG при решении линейных одномерных задач конвекции-диффузии

Бєгун В.В., Гречанінов В.Ф., Клименко В.П.

Щодо питань про сучасні методи регулювання безпеки

Радченко С.Г.

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

Лапач С.Н.

Планирование в пассивном эксперименте

Лазаренко С.В., Макаренко О.С.

Про оцінки розмірностей атракторів дискретних динамічних систем із антисипацією

Серая А.А.

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

Муха Ар.А.

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

Альперт С.І.

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

ЯКІСТЬ, НАДІЙНІСТЬ І СЕРТИФІКАЦІЯ ОБЧИСЛЮВАЛЬНОЇ ТЕХНІКИ І ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ

Стрельников П.В.

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

Сеспедес Гарсия Н.В.

Оценка уровня целостности гарантоспособных компьютерных систем

ДИСКУСІЙНІ ПОВІДОМЛЕННЯ

Голубчик В.Я.

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

Переглянути

Фільтри

Налаштування

Сортувати за

Результатів на сторінку

Результати пошуку