Conversão para Why3 de Formalizações em Coq

Author Bárbara Andreia Cardoso Ferreira

Degree MSc

Year 2021

Institution UM

Learning from multi-entity data

Author Diogo Pernes da Cunha

Degree MSc

Year 2021

Institution UP-FEUP

Automatic Service Containerization with Docker

Author João Carlos Cardoso Maduro

Degree MSc

Year 2021

LSFS: Sistema de ficheiros tolerante a faltas para armazenamento em larga escala

Author Daniel da Silva Fernandes

Degree MSc

Year 2021

Institution INESCTEC

Advanced Fiber Sensing Technologies using Microstructures and Vernier Effect

Author André Rodrigues Delgado Coelho Gomes

Degree MSc

Year 2021

Institution INESCTEC

Text Mining - A Toolbox for Text Classification

Author Paulo Sérgio Vieira da Costa

Degree MSc

Year 2021

Institution UP-FEUP

Uma solução de Business Intelligence para a área académica da U. Porto

Author André lage Sobral

Degree MSc

Year 2021

Institution UP-FCUP

Using machine learning and optimization models to support customer lifecycle management in financial services

Author Hermano Emanuel Rodrigues Maia

Degree MSc

Year 2021

Institution UP-FEUP

Fabrication of Optofluidic Systems by Femtosecond Laser Micromachining

Author João Miguel Mendes da Silva Maia

Degree MSc

Year 2021

Institution UP-FCUP

A Cross-Country Study on the Country-of-origin Effect of Portugal

Author Luís Maria Pimenta Pizarro Magalhães Damásio

Degree MSc

Year 2021

Institution UP-FEP

High Definition Wireless Video Streaming using Underwater Data Mules

Author João Pedro Teixeira Loureiro

Degree MSc

Year 2021

Institution INESCTEC

An Exploration of FPGAs as Accelerators for Graph Analysis via High-Level Synthesis

Author Pedro Filipe Vilhena de Campos Oliveira e Silva

Degree MSc

Year 2021