Teses - INESC TEC

Teses
supervisionadas

Replicação de base de dados baseada em comunicação em grupo

Autor João Pedro Lopes Miranda

Grau MSc

Instituição INESCTEC

Partilha de Pontos de Interesse, Vídeos e Experiências Sensoriais Baseada no Contexto do Utilizador

Autor NUNO FILIPE MAGALHÃES AREIAS

Grau MSc

Instituição IPP-ISEP

File carving na práctica

Autor Luís Miguel Pereira Constantino Romano

Grau MSc

Instituição UM

MELHORIA DO PROCESSO PRODUTIVO DA PIETEC ATRAVÉS DAS FERRAMENTAS KAIZEN

Autor VÍTOR HUGO ALMEIDA

Grau MSc

Instituição IPP-ISEP

Benchmarking de uma abordagem em álgebra linear a sistemas OLAP

Autor Rogério António da Costa Pontes

Grau MSc

Instituição UM

A Eficácia da Plataforma Talky - a Destrava Línguas em Crianças com Perturbações da Linguagem

Autor TIAGO MANUEL BARBOSA RODRIGUES DE CAMPOS

Grau MSc

Instituição IPP-ISEP

Gestão de Bases de Dados Relacionais em Cloud Computing

Autor André Dias Costa

Grau MSc

Instituição UM

Gestão de Bases de Dados Relacionais em Cloud Computing

Autor André Dias Costa

Grau MSc

Instituição INESCTEC

AuTGen-C: uma plataforma para geração de testes com base no CBMC

Autor Fábio Esteves Sousa

Grau MSc

Instituição UM

AuTGen-C: uma plataforma para geração de testes com base no CBMC

Autor Fábio Esteves Sousa

Grau MSc

Instituição UM

Proteção da privacidade em sistemas de dados

Autor Ricardo Manuel Amaro Pereira

Grau MSc

Instituição UP-FCUP

Automatic Rewrite Proofs by Reflection in Agda

Autor Victor Cacciari Miraldo

Grau MSc

Instituição UM