Тематика

Конференция охватывает, но не ограничивается следующими темами

Информационные технологии и их приложения

  • Информационные технологии в образовании
  • Информационные технологии в градостроительстве и архитектуре
  • Информационные технологии в экологии и защите окружающей среды
  • Информационные технологии в здравоохранении
  • Информационные технологии в экономике
  • Информационные технологии в технических системах
  • Интернет вещей
  • Параллельные вычисления
  • Распределенные системы
  • Жизненный цикл программного обеспечения
  • Управление качеством программного обеспечения
  • Разработка программного обеспечения
  • Тестирование и тестопригодность программного обеспечения
  • Дискретные системы

  • Синтез контролепригодных дискретных систем
  • Синтез отказоустойчивых дискретных систем
  • Анализ дискретных систем на наличие уязвимостей
  • Синтез дискретных систем, устойчивых к уязвимостям
  • Модели с конечным числом переходов
  • Тестирование на основе формальных моделей
  • Формальная верификация
  • Оптимизация дискретных систем
  • Проектирование дискретных систем
  • Цифровые устройства

  • Разработка и синтез цифровых систем
  • Спецификации, моделирование, верификация и тестирование
  • Системы на кристалле
  • Программируемые и переконфигурируемые архитектуры
  • Многоядерные системы
  • ПЛИС и ее приложения
  • Квантовые вычисления и криптография

  • Квантовая криптография
  • Квантовые коммуникации
  • Квантовые компьютеры
  • Квантовые алгоритмы
  • Математические методы криптографии
  • Компьютерная безопасность
  • Надежность вычислительных систем
  • Кодирование
  • Стохастические модели

  • Управление и обработка информации
  • Потоки событий и системы массового обслуживания
  • Непараметрические и робастные статистические методы
  • Стохастические и динамические системы
  • Математические модели в экономике
  • Математические модели физических явлений и процессов
  • Искусственный интеллект и большие данные

  • Нейронные сети
  • Глубокое обучение
  • Генетические алгоритмы
  • Распознавание образов
  • Большие языковые модели
  • Нечеткая логика
  • Интеллектуальные системы
  • Soft computing
  • Big Data
  • Облачные вычисления
  • Индустриальное применение искусственного интеллекта
  • |