Automatic Repair of Behavioural Specifications

Autor Jorge Gabriel Alves Cerqueira

Grau MSc

Ano 2022

Instituição UM

Assessing IoT self healing limits using PBT driven chaos-engineering

Autor Guilherme José Ferreira do Couto Fonseca da Silva

Grau MSc

Ano 2022

Instituição UP-FEUP

Designing out stigma in an online-based sexual health promotion programme

Autor Diogo Renato Barreira Coutinho

Grau MSc

Ano 2022

Instituição UP-FEUP

Real time activation of ancillary services in the transmission network: Enabling providers from the distribution system using a linear model predictive control

Autor Fernando José Moutinho Ribeiro

Grau MSc

Ano 2022

Instituição UP-FEUP

Development of an Electric-Vehicle Charging Management System with Smart Scheduling for Existing Condominiums Using Available Power in Real-Time

Autor Salvador Moreira Paes Carvalhosa

Grau MSc

Ano 2022

Instituição UP-FEUP

A sustainable energy system approach for the wastewater sector

Autor Alda Almendra Henriques

Grau MSc

Ano 2022

Instituição UP-FEUP

Towards the industrialized AGVS with stringent safety requirements for the cooperative setting

Autor PEDRO ALEXANDRE AFONSO NETO

Grau MSc

Ano 2022

Instituição IPP-ISEP

New Models for Adaptive Neurostimulation in Epilepsy

Autor Madalena Gomes Conde Pimentel

Grau MSc

Ano 2022

Instituição UP-FEUP

Rate Adaptation Algorithm using Reinforcement Learning for Delay Minimisation in a Wi-Fi Link

Autor José Manuel de Sousa Magalhães

Grau MSc

Ano 2022

Development of an Electric-Vehicle Charging Management System with Smart Scheduling for Existing Condominiums Using Available Power in Real-Time

Autor Salvador Moreira Paes Carvalhosa

Grau MSc

Ano 2022

Instituição UP-FEUP

Formalização da reconfiguração de protocolos de consenso usando Alloy

Autor Cecília da Conceição de Oliveira Soares

Grau MSc

Ano 2022

Instituição UM

Deep learning for bin picking object segmentation

Autor ARTUR JOSÉ VILARES CORDEIRO

Grau MSc

Ano 2022

Instituição IPP-ISEP