Theses - INESC TEC

Supervised
thesis

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

Author João Pedro Lopes Miranda

Degree MSc

Institution INESCTEC

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

Author NUNO FILIPE MAGALHÃES AREIAS

Degree MSc

Institution IPP-ISEP

File carving na práctica

Author Luís Miguel Pereira Constantino Romano

Degree MSc

Institution UM

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

Author VÍTOR HUGO ALMEIDA

Degree MSc

Institution IPP-ISEP

Benchmarking de uma abordagem em álgebra linear a sistemas OLAP

Author Rogério António da Costa Pontes

Degree MSc

Institution UM

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

Author TIAGO MANUEL BARBOSA RODRIGUES DE CAMPOS

Degree MSc

Institution IPP-ISEP

Gestão de Bases de Dados Relacionais em Cloud Computing

Author André Dias Costa

Degree MSc

Institution UM

Gestão de Bases de Dados Relacionais em Cloud Computing

Author André Dias Costa

Degree MSc

Institution INESCTEC

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

Author Fábio Esteves Sousa

Degree MSc

Institution UM

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

Author Fábio Esteves Sousa

Degree MSc

Institution UM

Proteção da privacidade em sistemas de dados

Author Ricardo Manuel Amaro Pereira

Degree MSc

Institution UP-FCUP

Automatic Rewrite Proofs by Reflection in Agda

Author Victor Cacciari Miraldo

Degree MSc

Institution UM