Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
    Teses
    supervisionadas

    Teses supervisionadas por Leonel Magalhães Carvalho

    Producing Decisions and Explanations: A Joint Approach Towards Explainable CNNs

    Autor Isabel Cristina Rio-Torto de Oliveira

    Grau MSc

    Ano 2019

    Instituição UP-FEUP

    Integrated verification of cryptographic security proofs and implementations

    Autor Vitor Manuel Parreira Pereira

    Grau PhD

    Ano 2017

    Instituição UP-FCUP

    Filling the Gap: Matching Consumer's Needs with Technological Evolution - A Systematic Literature Review

    Autor Hélder Emanuel Silva Magalhães

    Grau MSc

    Ano 2015

    Instituição UP-FEP

    Impacto do Erro da Previsão Eólica nas Necessidades a Longo-Prazo de Reserva Operacional

    Autor João Teixeira

    Grau MSc

    Ano 2015

    Instituição UP-FEUP