Обзор природных вычислений: основные направления и тенденции

Интеллектуальные технологии
  • 680
  • 7105
  • Страницы: 9-22

Определение размеров стопы человека по фотографиям

Интеллектуальные технологии
  • 556
  • 6684
  • Страницы: 23-30

Адаптивные средства защиты компьютерных систем на основе модифицированных нейронных сетей Кохонена

Инфокоммуникационные технологии
  • 602
  • 6911
  • Страницы: 31-38

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

Проблемы передачи и обработки информации
  • 576
  • 6853
  • Страницы: 39-44

Повышение помехоустойчивости когерентного приема неортогональных многочастотных сигналов

Проблемы передачи и обработки информации
  • 863
  • 7661
  • Страницы: 45-54

Модель варикапа для разработки сверхширокополосных перестраиваемых генераторов СВЧ

Радиотехника, антенны, СВЧ-устройства
  • 687
  • 7069
  • Страницы: 55-60

Локационное обнаружение гололеда на воздушных линиях электропередачи. Часть 1. Способы обнаружения гололеда

Радиотехника, антенны, СВЧ-устройства
  • 949
  • 7424
  • Страницы: 61-73

Локационное обнаружение гололеда на воздушных линиях электропередачи. Часть 2. Предельная чувствительность и выбор уставок

Радиотехника, антенны, СВЧ-устройства
  • 308
  • 6630
  • Страницы: 74-84

Синтез сигналов с заданным коэффициентом гармоник

Радиотехника, антенны, СВЧ-устройства
  • 381
  • 6322
  • Страницы: 85-90

Многокритериальная параметрическая оптимизация цифровых регуляторов с учетом нелинейностей и действия внешних возмущений

Системный анализ и управление
  • 343
  • 6589
  • Страницы: 91-98

Восстановление работоспособности резервированных многоагентных систем

Вычислительные машины и программное обеспечение
  • 259
  • 6514
  • Страницы: 99-109

Онтология сборки, конфигурации окружения и запуска программного обеспечения и ее применение при автоматизации развертывания клиентских программ в вычислительных облаках

Вычислительные машины и программное обеспечение
  • 351
  • 6789
  • Страницы: 110-125

Конференция «Инструменты и методы анализа программ – 2013»

Конференция «Инструменты и методы анализа программ – 2013»
  • 1
  • 6133
  • Страницы: 129-129

Проверка корректности поведения HDL-моделей цифровой аппаратуры на основе динамического сопоставления трасс

Конференция «Инструменты и методы анализа программ – 2013»
  • 330
  • 6538
  • Страницы: 130-142

Особенности инструментов для тестирования, применимых при промышленной эксплуатации трейдинговых систем

Конференция «Инструменты и методы анализа программ – 2013»
  • 280
  • 6468
  • Страницы: 143-152

Применение симуляторов рынка ценных бумаг для тестирования систем агрегации и распределения информации о котировках (Ticker Plant)

Конференция «Инструменты и методы анализа программ – 2013»
  • 288
  • 6259
  • Страницы: 153-168

Верификация программно-конфигурируемых сетей при помощи системы UPPAAL

Конференция «Инструменты и методы анализа программ – 2013»
  • 465
  • 6927
  • Страницы: 169-179

Автоматизация тестирования соответствия реализаций стандарту протокола безопасности транспортного уровня TLS

Конференция «Инструменты и методы анализа программ – 2013»
  • 353
  • 6594
  • Страницы: 180-188

Динамическая верификация гибридных систем

Конференция «Инструменты и методы анализа программ – 2013»
  • 746
  • 7028
  • Страницы: 189-203