No ano letivo 2017/2018, as unidades curriculares que compõem a oferta formativa da UC Seminário de Investigação são:
| ÁREA | UNIDADE CURRICULAR | SEMESTRE |
|---|---|---|
|
Bioinformática |
Algoritmos para Análise de Sequências Biológicas | 1º |
| Laboratórios de Bioinformática | ||
| Mineração de Dados | ||
| Algoritmos Avançados de Bioinformática | 2º | |
| Extração de Conhecimento de Bases de Dados Biológicas | ||
| Computação Gráfica (resp. António Fernandes) |
Visualização e Iluminação I | 1º |
| Visão por computador | ||
| Visualização e Iluminação II | 2º | |
| Tecnologias e Aplicações | ||
| Computação Paralela e Distribuída (resp. Alberto Proença) |
Arquiteturas Avançadas | 1º |
| Paradigmas de Computação Paralela | ||
| Computação Paralela | ||
| Algoritmos Paralelos | 2º | |
| Engenharia dos Sistemas de Computação | ||
| Criptografia e Segurança da Informação (resp. José Valença) |
Tecnologia Criptográfica | 1º |
| Tecnologia de Segurança | ||
| Segurança de Sistemas Informáticos | ||
| Estruturas Criptográficas | 2º | |
| Engenharia de Segurança | ||
| Engenharia de Aplicações (resp. António Sousa) |
Infraestruturas de Centro de Dados | 1º |
| Administração de Bases de Dados | ||
| Processamento de Dados com Streams de Java | ||
| Arquiteturas Aplicacionais | 2º | |
| Sistemas Interativos | ||
|
Engenharia de Redes e Serviços de Internet |
Tecnologias e Protocolos Internet | 1º |
| Redes Móveis | ||
| Qualidade de Serviço na Internet | 2º | |
| Aplicações Multimédia e Ubíquas | ||
| Engenharia de Requisitos | 1º | |
| Arquiteturas de Software | ||
| Gestão do Processo de Software | 2º | |
| Engenharia Web | ||
| Administração e Exploração de Bases de Dados | 1º | |
| Análise de Dados | ||
| Interoperabilidade Semântica | 2º | |
| Descoberta de Conhecimento | ||
| Gestão de Redes | 1º | |
| Segurança em Redes | ||
| Virtualização de Redes | 2º | |
| Arquiteturas Emergentes de Redes | ||
| Métodos Formais em Engenharia de Software (resp. José Nuno Oliveira) |
Especificação e Modelação | 1º |
| Cálculo de Sistemas de Informação | ||
| Análise e Teste de Sofware | ||
| Arquitetura e Cálculo | 2º | |
| Verificação Formal | ||
| Processamento de Linguagens e Conhecimento (resp. Pedro Henriques) |
Gramáticas na Compreensão de Software | 1º |
| Processamento e Representação de Informação | ||
| Scripting no Processamento de Linguagem Natural | 2º | |
| Processamento e Representação de Conhecimento | ||
| Sistemas Distribuídos (resp. Carlos Moreno) |
Paradigmas de Sistemas Distribuídos | 1º |
| Fundamentos de Sistemas Distribuídos | ||
| System Deployment and Benchmarking | ||
| Tolerância a Faltas | 2º | |
| Sistemas Distribuídos em Larga Escala | ||
| Sistemas Inteligentes (resp. Paulo Novais) |
Agentes Inteligentes | 1º |
| Aprendizagem e Extração de Conhecimento | ||
| Inteligência Ambiente - Tecnologias e Aplicações | ||
| Computação Natural | 2º | |
| Sistemas Autónomos |
»
