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

Autor Bárbara Andreia Cardoso Ferreira

Grau MSc

Ano 2021

Instituição UM

Learning from multi-entity data

Autor Diogo Pernes da Cunha

Grau MSc

Ano 2021

Instituição UP-FEUP

Automatic Service Containerization with Docker

Autor João Carlos Cardoso Maduro

Grau MSc

Ano 2021

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

Autor Daniel da Silva Fernandes

Grau MSc

Ano 2021

Instituição INESCTEC

Advanced Fiber Sensing Technologies using Microstructures and Vernier Effect

Autor André Rodrigues Delgado Coelho Gomes

Grau MSc

Ano 2021

Instituição INESCTEC

Text Mining - A Toolbox for Text Classification

Autor Paulo Sérgio Vieira da Costa

Grau MSc

Ano 2021

Instituição UP-FEUP

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

Autor André lage Sobral

Grau MSc

Ano 2021

Instituição UP-FCUP

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

Autor Hermano Emanuel Rodrigues Maia

Grau MSc

Ano 2021

Instituição UP-FEUP

Fabrication of Optofluidic Systems by Femtosecond Laser Micromachining

Autor João Miguel Mendes da Silva Maia

Grau MSc

Ano 2021

Instituição UP-FCUP

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

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

Grau MSc

Ano 2021

Instituição UP-FEP

High Definition Wireless Video Streaming using Underwater Data Mules

Autor João Pedro Teixeira Loureiro

Grau MSc

Ano 2021

Instituição INESCTEC

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

Autor Pedro Filipe Vilhena de Campos Oliveira e Silva

Grau MSc

Ano 2021