Área: Ciência da Computação e Matemática

  • Inteligência Artificial e Sistemas Inteligentes
  • Computação e Matemática
  • Cíber segurança
  • Ciência de Dados e Aprendizado de Máquina
  • Sistemas Embarcados e IoT
  • Gerenciamento de processos
  • Engenharia de Software e Sistemas de Informação

Inteligência Artificial e Sistemas Inteligentes

  • Controle adaptativo e otimização
  • Políticas de Adaptação
  • Sistemas coletivos e adaptativos
  • Representação do conhecimento e raciocínio autonômico

Computação e Matemática

  • Aspectos algébricos e lógicos da computação
  • Modelos Computacionais e Modelos de Computação
  • Linguagens formais
  • Línguas algébricas para domínios específicos
  • Teoria dos Modelos
  • Aspectos metodológicos do ensino de ciências

Cíber segurança

  • Políticas de controle de acesso e uso de recursos
  • Tecnologias de Ledger Distribuído
  • Design de sistemas resilientes
  • Segurança de rede
  • Sistemas de Detecção de Intrusão

Ciência de Dados e Aprendizado de Máquina

  • Modelos baseados em dados de sistemas complexos
  • Métodos de análise de dados baseados em topologia
  • Verificação do sistema orientada por dados
  • Otimização e técnicas econométricas
  • Modelagem discriminativa e generativa

Sistemas Embarcados e IoT

  • Middleware e serviços
  • Comunicação e rede para sistemas sem fio e embarcados
  • Specifica, progettazione and analisi, e verifica di sistemi embedded distribiti
  • Redes de sensores sem fio
  • Eficiência energética e colheita

Gerenciamento de processos

  • Melhoria contínua de sistemas de informação com reconhecimento de processos
  • Promulgação de Processos de Negócios Colaborativos e Distribuídos, incluindo Blockchain
  • Modelos para sistemas intensivos de processo
  • Técnicas de Mineração de Processos
  • Simulação e verificação de modelos de colaboração com reconhecimento de dados

Engenharia de Software e Sistemas de Informação

  • Engenharia de Arquitetura Empresarial
  • Métodos Formais Aplicados e Ferramentas de Verificação
  • Teste e verificação em uma configuração distribuída
  • Análise Quantitativa e Ferramentas
  • Monitoramento e verificação de tempo de execução
Programa ministrado em:
Inglês
Italiano

Ver mais 3 programa(s) oferecido(s) por University of Camerino the international School of Advanced Studies »

Última atualização May 16, 2019
Este curso é No câmpus
Data de início
Nov. 2019
Duration
3 anos
Período integral
Por local
Por data
Data de início
Nov. 2019
Data de término
Nov. 2022
Prazo para inscrição

Nov. 2019

Location
Prazo para inscrição
Data de término
Nov. 2022