Área: Informática y Matemáticas.

  • Inteligencia Artificial y Sistemas Inteligentes.
  • Computación y matemática
  • La seguridad cibernética
  • Ciencia de datos y aprendizaje automático
  • Sistemas embebidos y IoT
  • Gestión de proceso
  • Ingeniería de Software y Sistemas de Información

Inteligencia Artificial y Sistemas Inteligentes.

  • Control adaptativo y optimización.
  • Políticas de adaptación
  • Sistemas colectivos y adaptativos.
  • Representación del conocimiento y razonamiento autonómico.

Computación y matemática

  • Aspectos algebraicos y lógicos de la informática.
  • Modelos computacionales y modelos de computación.
  • Lenguajes formales
  • Lenguajes algebraicos para dominios específicos.
  • Teoría de modelos
  • Aspectos metodológicos de la educación científica.

La seguridad cibernética

  • Control de acceso y políticas de uso de recursos
  • Tecnologías de libro mayor distribuido
  • Diseño de sistemas resilientes
  • Seguridad de la red
  • sistema de deteccion de intrusos

Ciencia de datos y aprendizaje automático

  • Modelos basados en datos de sistemas complejos.
  • Métodos de análisis de datos basados en la topología.
  • Verificación del sistema basado en datos
  • Optimización y técnicas econométricas.
  • Modelación discriminativa y generativa.

Sistemas embebidos y IoT

  • Middleware y servicios
  • Comunicación y redes para sistemas inalámbricos e integrados.
  • Specifica, progettazione e analisi, e verifica di sistemi embutido distribuiti
  • Sensor de redes inalámbricas
  • Eficiencia energética y recolección.

Gestión de proceso

  • Mejora continua de los sistemas de información basados en procesos.
  • Proceso de negocio de colaboración y distribuido que incluye Blockchain
  • Modelos para Sistemas Intensivos de Procesos
  • Técnicas de minería de procesos
  • Simulación y verificación de modelos de colaboración basados en datos.

Ingeniería de Software y Sistemas de Información

  • Ingeniería de Arquitectura Empresarial
  • Métodos Formales Aplicados y Herramientas de Verificación
  • Pruebas y verificación en un entorno distribuido.
  • Análisis cuantitativo y herramientas
  • Monitoreo y verificación en tiempo de ejecución
Programa impartido en:
Inglés
Italiano

Ver 3 otros cursos de University of Camerino the international School of Advanced Studies »

Última actualización May 16, 2019
Este curso es En campus
Fecha de inicio
nov. 2019
Duration
3 años
Tiempo completo
Precio
Deadline
Por ubicación
Por fecha
Fecha de inicio
nov. 2019
Fecha de finalización
nov. 2022
Fecha límite de inscripción

nov. 2019

Location
Fecha límite de inscripción
Fecha de finalización
nov. 2022