In the academic year 2017/2018, the curricular units that make up the training offer of the UC Research Seminar are:
| AREA | CURRICULAR UNIT | SEMESTER |
|---|---|---|
|
Bioinformatics |
Algorithms for Analysis of Biological Sequences | 1º |
| Bioinformatics Labs | ||
| Data Mining | ||
| Advanced Bioinformatics Algorithms | 2º | |
| Knowledge Extraction of Biological Databases | ||
| Computer Graphics (resp. António Fernandes) |
Visualization and Ilumination I | 1º |
| Computer Vision | ||
| Visualization and Ilumination II | 2º | |
| Technologies and Applications | ||
| Parallel and Distributed Computing (resp. Alberto Proença) |
Advanced Architectures | 1º |
| Parallel Computing Paradigms | ||
| Parallel Computing | ||
| Parallel Algorithms | 2º | |
| Computer Systems Engineering | ||
| Cryptography and Information Security (resp. José Valença) |
Cryptographic Technology | 1º |
| Security Technology | ||
| Computer Systems Security | ||
| Cryptographic Structures | 2º | |
| Safety engineering | ||
| 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 |
»
