Dissertações:
Bruna Isabel Afonso Calisto
Tema: Verificação formal em Coq de alguns meta-teoremas do cálculo-lambda
Orientador: Luís Pinto (DMAT)
Dissertação defendida em 29 de novembro de 2022
Cristina Cunha Mendes
Tema: Análise do Comportamento dos utilizadores doscontentores da ULTRIPLO e Estudo do Impacto Ambiental na reutilização dos produtos
Orientadores: Cecília Castro (DMAT) e Isabel Antunes (DCT)
Dissertação em ambiente empresarial em curso (ULTRIPLO)
Diogo Vicente Magalhães Vilela Silva
Tema: Extração de informação de video e técnicas de redes neuronais para deteção de objetos no contexto da monitorização de espaços industriais
Orientadores: Luís Ferrás (CMAT) e Manuel João Ferreira (Neadvance)
Dissertação em ambiente empresarial (Neadvance), defendida em 19 de dezembro de 2022
Duque de Bragança Silva Martins
Tema: Aplicação da árvore de decisão na escolha da área de atuação em uma oferta de emprego ou trabalho
Orientador: Stéphane Clain (DMAT)
Dissertação defendida em 14 de dezembro de 2022
Eugénio Vasco da Costa Santos
Tema: Experimentação de algoritmos criptográficos pós-quânticos: o caso CRYSTALS
Orientadores: Pedro Patrício (DMAT) e José Carlos Bacelar Almeida (DI)
Dissertação em curso
Filipa Simões Mendes
Tema: Variações sobre o cálculo-lambda call-by-value
Orientador: José Carlos Espírito Santo (DMAT)
Dissertação defendida em 9 de dezembro de 2022
João Miguel Novais e Bastos
Tema: Neuroimaging biomarkers for early diagnosis of Alzheimer’s disease: a machine learningapproach
Orientadores: Flora Ferreira (CMAT) e Estela Bicho Erlhagen (DEI)
Dissertação em curso
Lucas Dos Santos Mello
Tema: Classificador entropico
Orientador: Stéphane Clain (DMAT)
Dissertação defendida em 14 de dezembro de 2022
Matilde Fernandes de Sá e Silva
Tema: Mapas auto-organizáveis para deteção de anomalias
Orientador: Gaspar Machado (DMAT)
Dissertação em curso
Nelson Filipe Sá Costa
Tema: Análise Multivariada de dados sobre tipologia de produtos numa empresa
Orientadores: Inês Sousa (DMAT) e Luís Rodrigues (LITEL)
Dissertação em ambiente empresarial (LITEL), defendida em 21 de dezembro de 2022
Vítor Hugo Gonçalves Silva
Tema: Modelação matemática para a inspeção de materiais naturais – caso de estudo pele natural
Orientadores: Pedro Patrício (DMAT) e Manuel João Ferreira (Neadvance)
Dissertação em ambiente empresarial (Neadvance), defendida em 13 de dezembro de 2022
Viviana Figueira Magalhães
Tema: Técnicas de self-learning para monitorização de espaços industriais
Orientadores: Fernanda Costa (DMAT) e Manuel João Ferreira (Neadvance)
Dissertação em ambiente empresarial (Neadvance), defendida em 3 de março de 2023