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 Maria João Frade

Formalization of Deep Learning Techniques with the Why3 Proof Platform

Autor Márcio Alexandre Mota Sousa

Grau MSc

Ano 2022

Instituição UM

Building a domain-specific search engine that explores football-related search patterns

Autor João Paulo Madureira Damas

Grau MSc

Ano 2020

Instituição UP-FEUP

Análise da utilização dos recursos do Moodle para prever classificações

Autor Bruno Miguel Ribeiro Cabral

Grau MSc

Ano 2019

Instituição UP-FCUP