Formal Verification of Resource Usage

Author Ana Carolina Ferreira da Silva

Degree MSc

Year 2022

Institution UP-FCUP

Wireless optical fibre sensors network for the health monitoring of concrete structures

Author Pedro Miguel Madeira da Silva

Degree MSc

Year 2022

Institution UTAD

Research data description in multiple domains: supporting researchers with data management plans

Author Yulia Karimova

Degree MSc

Year 2022

Institution UP-FEUP

Exploração de Covert Channels de Rede sobre comunicações IEEE 802.15.4

Author JOÃO TOMÁS BAPTISTA RODRIGUES

Degree MSc

Year 2022

Institution IPP-ISEP

Anatomical Segmentation in Automated Chest Radiography Screening

Author Emanuel Ricardo Coimbra Quintas Brioso

Degree MSc

Year 2022

Shape-A-Getti: A Haptic Device for Getting Multiple Shapes Using a Simple Actuator

Author Filipe Guedes Barbosa

Degree MSc

Year 2022

Institution UP-FEUP

Gestão do Portefólio de Projetos de Investigação, Desenvolvimento e Inovação no SGIFR: desenvolvimento de uma ferramenta web de apoio à gestão do conhecimento

Author Paulo Alexandre da Costa Mota

Degree MSc

Year 2022

Institution UP-FEUP

Utilização de Reinforcement Learning para otimização de ligações Wi-Fi no contexto de redes voadoras

Author Gabriella Fernandes Pantaleão

Degree MSc

Year 2022

Institution INESCTEC

Research data description in multiple domains: supporting researchers with data management plans

Author Yulia Karimova

Degree MSc

Year 2022

Institution UP-FEUP

Selecting fast-moving consumer goods product lines

Author Xavier António Reis Andrade

Degree MSc

Year 2022

Institution UP-FEUP

Mobile application and tool for the study and prevention of hypoglycaemia after bariatric surgery

Author João Filipe Afonso Martins

Degree MSc

Year 2022

Institution UP-FEUP

Sumariação de grafos semânticos de grande dimensão usando espaços de nomes

Author Ana Rita Santos Lopes da Costa

Degree MSc

Year 2022

Institution UP-FCUP