Data | Título | Autor(es) | Tipo | Acesso |
2020 | Autoencoders lineares e autoencoders não lineares (ReLU) | Teixeira, Rui Pedro Silva | Dissertação de mestrado | Acesso aberto |
2013 | Bounded Model Checking de programas imperativos | Pereira, José João Peixoto | Dissertação de mestrado | Acesso aberto |
2017 | Clustering hierárquico numa plataforma de smart cities | Soares, Maria Manuel Alves | Dissertação de mestrado | Acesso aberto |
2021 | Compositional analysis of vulnerabilities in microservice-based applications | Loureiro, Nelson Diogo Santos | Dissertação de mestrado | Acesso aberto |
2017 | Correct translation of imperative programs to single assignment form | Azevedo, Marta Vasconcelos Castro | Dissertação de mestrado | Acesso aberto |
2019 | Deteção de fraude em telecomunicações através de machine learning | Caldas, Luísa Lopes | Dissertação de mestrado | Acesso aberto |
2014 | Um estudo sobre a correspondência entre programação funcional com continuações e programação imperativa Single assignment | Ferreira, Tiago Alexandre da Costa | Dissertação de mestrado | Acesso aberto |
11-Jan-2023 | Formalization in Coq of the standardization theorem for λ-calculus | Calisto, Bruna Isabel Afonso | Dissertação de mestrado | Acesso aberto |
2012 | Lógica da separação e verificação formal de programas | Santos, Isabel Maria Ventura | Dissertação de mestrado | Acesso aberto |
2018 | Modelação e prototipagem de ChatBots | Pereira, Carlos António Senra | Dissertação de mestrado | Acesso aberto |
2009 | O teorema da normalização para lógica de primeira ordem | Correia, Jorge Manuel Martins | Dissertação de mestrado | Acesso aberto |