Teses - INESC TEC

Teses
supervisionadas

Teses supervisionadas por Jorge Sousa Pinto

Reengineering Processes in a Network Operation Center using Service Design

Autor Marcos José Felix da Costa Filho

Grau MSc

Ano 2022

Instituição UP-FEUP

Formalization of Deep Learning Techniques with the Why3 Proof Platform

Autor Márcio Alexandre Mota Sousa

Grau MSc

Ano 2022

Instituição UM

Stock Behaviour and Inventory Replenishment Strategy

Autor Marta Diana Faria Santos

Grau MSc

Ano 2022

Instituição UP-FEUP

Upgrade do Simulador da Linha de Produção Flexível do Laboratório de Automação

Autor Sebastião José Fernandes de Oliveira Cunha Reis

Grau MSc

Ano 2020

Instituição UP-FEUP

Property tests as specifications towards better code completion

Autor Afonso Jorge Moreira Maia Ramos

Grau MSc

Ano 2020

Instituição UP-FEUP

Tipos convergentes em memória partilhada

Autor José Pedro Maia Brandão

Grau MSc

Ano 2019

Instituição UM

OpenFOAM® and uPIV-aided femtosecond irradiation-based etching optimization for applications in microfluidics

Autor Hugo Jorge da Nóbrega Abreu Ferreira

Grau MSc

Ano 2019

Instituição UP-FCUP

Estudo, Implementação e Teste de Algoritmo de Cálculo de Índice de Saúde de Baterias

Autor Vasco José Marcos Fraga

Grau MSc

Ano 2018

Instituição UP-FEUP

Segmentation of Exudates in Color Retinal images

Autor Cristina Maynau Hernandez

Grau MSc

Ano 2018

Instituição UP-FEUP

Using Renewable-Based Microgrid Capabilities for Power System Restoration

Autor João Pedro Pereira Carvalho

Grau MSc

Ano 2018

Instituição UP-FEUP

Calibração adaptativa e extração de características de um sistema catadióptrico.

Autor João Pedro Ribeiro Morais

Grau MSc

Ano 2018

Instituição UP-FEUP

Pointfree Program Calculation — Theory and Applications

Autor Claudia Monica Necco

Grau PhD

Ano 2017

Instituição UM