Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
Supervised
thesis

Supervised thesis by José Nuno Oliveira

Towards a typed linear algebra formal semantics for spreadsheets

Author Rui Filipe Brito Azevedo

Degree MSc

Year 2023

Institution UM

Functional Programming for Explainable AI

Author Gonçalo José Azevedo Esteves

Degree MSc

Year 2023

Institution UM

Towards ‘Just Good Enough’ Quantum Programming

Author Ana Isabel Carvalho Neri

Degree MSc

Year 2023

Institution UM

Verificação e descoberta de modelos probabilísticos no Alloy Analyser.

Author Pedro Faria Durães da Silva

Degree MSc

Year 2023

Institution UM

Towards ‘Just Good Enough’ Quantum Programming

Author Ana Isabel Carvalho Neri

Degree MSc

Year 2022

Institution UM

Verificação e descoberta de modelos probabilísticos no Alloy Analyser.

Author Pedro Faria Durães da Silva

Degree MSc

Year 2022

Institution UM

Greedy and Dynamic Programming by Calculation

Author Alexandre Mendonça Pinho

Degree MSc

Year 2022

Institution UM

Processamento Analítico com Álgebra Linear Tipada em MonetDB

Author Lucas Ribeiro Pereira

Degree MSc

Year 2022

Institution UM

On Conditional Quantum Control

Author Daniel Almeida Carvalho

Degree MSc

Year 2022

Institution UM

Scalable Detection of Security-Vulnerabilities in Source Code,

Author Artur Jorge Gomes Queiroz

Degree MSc

Year 2022

Institution UM

Using Machine Learning to Automatically Infer an Approximation of a Physical System

Author Afonso João Borges Cabral Cerejeira da Silva

Degree MSc

Year 2022

Institution UM

Towards ‘Just Good Enough’ Quantum Programming

Author Ana Isabel Carvalho Neri

Degree MSc

Year 2021

Institution UM

  • 1
  • 3