Dissertações
2024/2025
-
Project: Using Knowledge Visualisation and Web-based interfaces to enhance Ocean Literacy DRAFT
Author: Sara Filipa Dinis Marques (ist193342)
Coordenação: Duarte Nuno Jardim Nunes (ist132720)
-
Project - Big data and Artificial intelligence to accelerate aircraft design analysis DRAFT
Author: Álvaro De Carvalho de Almada e Quadros Saldanha (ist192416)
Coordenação: Alberto Abad Gareta (ist90700)
-
[Dissertation] CounterFORCE - CounterFactuals Optimization for Robustness and fairness through Consistency Evaluation (collaboration with Fraunhofer-AICOS) DRAFT
Author: Davi Giordano Valerio (ist1108497)
Coordenação: Chrysoula Zerva (ist429001)
2023/2024
-
Dissertation: Languages and Frameworks for Large Language Model Programming DRAFT
Author: Francisco Lisboa Ricardo Marques (ist192464)
Coordenação: João Fernando Peixoto Ferreira (ist428178)
-
Dissertation: Scalable Distributed Infrastructure for Secure Video Stream Processing in Autonomous Stores DRAFT
Author: Hugo Filipe Batista Mantinhas (ist195592)
Coordenação: João Paulo Salgado Arriscado Costeira (ist12390) Nuno Miguel Carvalho dos Santos (ist14261)
-
Project: Enterprise Architecture for Public Health Organizations DRAFT
Author: Maria Rodrigues Soares Reino Alves (ist195634)
Coordenação: Pedro Manuel Moreira Vaz Antunes de Sousa (ist12951)
-
Dissertação: A New Mechanised Semantics for Reasoning about Modern JavaScript DRAFT
Author: António Pedro Gomes Coutinho Leopoldo Marques (ist196839)
Coordenação: José Faustino Fragoso Femenin dos Santos (ist153921)
-
Dissertação: Inappropriate prescription of psychotropic drugs from PEM: tackling challenges of polypharmacy and dependence DRAFT
Author: David Emanuel Silva Belchior (ist195550)
Coordenação: Rui Miguel Carrasqueiro Henriques (ist156846)
-
Dissertação: Blockchain Oracles for Property Rental DRAFT
Author: Nuno André Perry da Silva Braz (ist195652)
Coordenação: Miguel Nuno Dias Alves Pupo Correia (ist130598)
-
Dissertation: Browser Security DRAFT
Author: Bruno Miguel Da Silva Mendes (ist195544)
Coordenação: Pedro Miguel dos Santos Alves Madeira Adão (ist14151)
-
Projecto SENSOR LAB NET DRAFT
Author: Bernardo Pereira Henriques Barreiros dos Santos (ist1105709)
Coordenação: Alberto Manuel Ramos da Cunha (ist11959)
-
[Dissertation] Finding TypeScript Vulnerabilities with Symbolic Execution DRAFT
Author: Diogo Fernandes Afonso (ist196852)
Coordenação: José Faustino Fragoso Femenin dos Santos (ist153921)
-
Dissertação: Ferramenta integrada para teste de ataques de cibersegurança a redes Windows Active Directory DRAFT
Author: José Eduardo De Pinto Afonso (ist195613)
Coordenação: Rui Jorge Morais Tomaz Valadas (ist126537)
-
Projeto: Sistema de Apoio à Toma de Medicamentos para Doentes Poli-medicados DRAFT
Author: Maria João Casa Nova Albino (ist195631)
Coordenação: João Coelho Garcia (ist14139)
-
Dissertation: A GDPR Compliance Verification Tool for MERN Web Applications DRAFT
Author: Cristi Savin (ist195549)
Coordenação: Nuno Miguel Carvalho dos Santos (ist14261) José Faustino Fragoso Femenin dos Santos (ist153921)
-
Dissertação: BroadAlert: Geração Automática de Algoritmos Distribuídos para IoT com Aprendizagem DRAFT
Author: Henrique Afonso Monteiro Pereira Cavaco (ist192475)
Coordenação: Miguel Filipe Leitão Pardal (ist14265)
-
Dissertation: LGP-Dictionary: A Dictionary App for Portuguese Sign Language Students (scholarship available) DRAFT
Author: Francisca Pinto Coelho D'Ordaz Gonçalves (ist193710)
Coordenação: Hugo Miguel Aleixo Albuquerque Nicolau (ist153934)
-
Dissertação: Psicólogo Virtual utilizando LLMs DRAFT
Author: Sara Filipa Dinis Marques (ist193342)
Coordenação: Pedro Alexandre Simões dos Santos (ist12886)
-
Projeto: Implementing a Discrete Interaction Technique for Augmented or eXtended Reality DRAFT
Author: Miguel Duarte Bernardino (ist195645)
Coordenação: Augusto Emanuel Abreu Esteves (ist154298)
-
Projecto SENSOR BOX DRAFT
Author: Rui Daniel Gaspar Pires (ist195670)
Coordenação: Alberto Manuel Ramos da Cunha (ist11959)
-
Dissertation: Learning geo/temporal patterns from IPST blood collection/consumption data DRAFT
Author: Gonçalo Marques do Nascimento (ist196866)
Coordenação: Pedro Tiago Gonçalves Monteiro (ist146963)
-
Dissertation: Program Repair: Autorefactor DRAFT
Author: Filipe Branco Henriques (ist195573)
Coordenação: Vasco Miguel Gomes Nunes Manquinho (ist14221)
-
Dissertação: Ciência Cidadã e Participação Pública na Modelação e Simulação de Eventos Ambientais Extremos: EnvironmentalSimulator DRAFT
Author: Mafalda Barros dos Santos Soeiro Cravo (ist1105728)
Coordenação: Alberto Manuel Rodrigues da Silva (ist13323)
-
Dissertation - Representation learning of animal behavior DRAFT
Author: Gonçalo Goulart Oliveira (ist195582)
Coordenação: Arlindo Manuel Limede de Oliveira (ist12282)
-
Dissertação: Optimized Order Delivery Planning using Machine Learning DRAFT
Author: João Miguel Elias Bagorro (ist195604)
Coordenação: Pedro Alexandre Simões dos Santos (ist12886)
-
[DISSERTAÇÃO] Fine-tuning language models using reinforcement learning and human feedback DRAFT
Author: Martim Filipe Almeida Santos (ist195638)
Coordenação: Francisco António Chaves Saraiva de Melo (ist40236) André Filipe Torres Martins (ist46911)
-
Dissertação: SecureHealth: Securing electronic health records in public clouds DRAFT
Author: José André Bernardo (ist195612)
Coordenação: David Rogério Póvoa de Matos (ist424056) Miguel Filipe Leitão Pardal (ist14265)
-
Dissertação: Trust and Explainability in Human- AI (Chatbots) Interaction DRAFT
Author: Daniel Alexandre Quintas Lopes (ist193696)
Coordenação: Ana Maria Severino de Almeida e Paiva (ist12371)
-
Robotic vs Human Ostracism: Effects on Children’s Prosociality and Basic Psychological Needs EVALUATED
Author: Patrícia Borges Vilão (ist193604)
Coordenação: Hugo Miguel Aleixo Albuquerque Nicolau (ist153934)
-
[Dissertação] Can Jokes explain people why a news is Fake? DRAFT
Author: Hugo Damião Ferrão Ribeiro (ist195590)
Coordenação: Helena Sofia Andrade Nunes Pereira Pinto (ist12906)
-
PROJETO: Identificação de expressões fixas em texto DRAFT
Author: David Filipe Louro Antunes (ist195551)
Coordenação: Nuno João Neves Mamede (ist12099)
-
Project: "Unlocking Seamless Payment Experiences in iOS: Inter-App Communication for Third-Party Payment Integration” DRAFT
Author: Tiago Gonçalves Teodoro (ist1105720)
Coordenação: Maria Inês Camarate de Campos Lynce de Faria (ist14029)
-
Dissertation – Using sequences of coronary angiograms to quantify the severity of stenosis DRAFT
Author: Mariana Serrão Guilherme (ist1105045)
Coordenação: Arlindo Manuel Limede de Oliveira (ist12282)
-
[Projeto] Modelação 3D de Embarcação Tradicional do Tejo DRAFT
Author: Laura Constança Ferreira Baeta (ist192507)
Coordenação: Manuel Fernando Cabido Peres Lopes (ist40208)
-
DAF: Distributed Authorization Framework for Service-Based Applications EVALUATED
Author: Catarina Beirolas Vilhena (ist193034)
Coordenação: Miguel Filipe Leitão Pardal (ist14265)
-
Dissertação: Stock Indexes Using Machine Learning DRAFT
Author: Joana Seabra Martins das Neves (ist196874)
Coordenação: Rui Fuentecilla Maia Ferreira Neves (ist14409)
-
Dissertação: Alea 2: making classical asynchronous BFT protocols practical DRAFT
Author: António Manuel Da Silveira Nunes Costa Coelho (ist195535)
Coordenação: Rodrigo Seromenho Miragaia Rodrigues (ist14022)
-
Named Entity Recognition in the Portuguese Legal Domain: Automatic Anonymization - GPT-4 role in NLP EVALUATED
Author: João Ricardo Ferreira Simões (ist192499)
Coordenação: Flávio Nuno Fernandes Martins (ist428805)
-
Navigating Privacy in Intimate Health Technologies: Using the Story Completion Method and a Design Probe Kit to Explore Intimate Data EVALUATED
Author: Diana Manuela Padilla Moniz (ist192449)
Coordenação: Teresa Alexandra de Almeida Joaquim (ist429249)
-
Dissertation: Unifying object-level and page-level placement for heterogeneous memory systems DRAFT
Author: André Afonso Fitas Gonçalves (ist195532)
Coordenação: João Pedro Faria Mendonça Barreto (ist45149)
-
[DISSERTAÇÃO] A comparison of regularization techniques for reinforcement learning DRAFT
Author: Diogo Francisco França Gouveia Sande Nogueira (ist195558)
Coordenação: Fábio Guilherme Morgado Vital (ist425542) Francisco António Chaves Saraiva de Melo (ist40236)
-
[DISSERTAÇÃO] Hyperbolic discounting in reinforcement learning DRAFT
Author: Guilherme Eduardo Roque Salvador (ist195584)
Coordenação: Pedro Pinto Santos (ist424853) Francisco António Chaves Saraiva de Melo (ist40236)
-
Dissertation: Accurate prediction of stroke outcome from computed tomography scans DRAFT
Author: João Miguel Nascimento Teixeira (ist196879)
Coordenação: Arlindo Manuel Limede de Oliveira (ist12282)
-
Dissertation: Automatic Detection and Confirmation of Security Vulnerabilities in Browser Extensions DRAFT
Author: Tomás De Araújo Tavares (ist195680)
Coordenação: Nuno Miguel Carvalho dos Santos (ist14261) José Faustino Fragoso Femenin dos Santos (ist153921)
-
Dissertação: Analysis of the Application of Mono2Micro on a Large Number of Monoliths DRAFT
Author: Rodrigo Gonçalves dos Santos (ist196908)
Coordenação: António Manuel Ferreira Rito da Silva (ist12628)
-
Dissertation: Finding Bugs in Solidity Smart Contracts with WASP DRAFT
Author: Bruno Emanuel Neves dos Santos (ist195542)
Coordenação: José Faustino Fragoso Femenin dos Santos (ist153921) Nuno Miguel Carvalho dos Santos (ist14261)
-
Dissertation - Using large language models to interact with personal information systems DRAFT
Author: João Afonso Faustino Amoroso (ist196875)
Coordenação: Arlindo Manuel Limede de Oliveira (ist12282)
-
Dissertation: Hi! How are you? Initiating a conversation over time DRAFT
Author: Francisco Fernandes Silva Dias Gonçalves (ist195575)
Coordenação: Joana Carvalho Filipe de Campos (ist155848)
-
[Dissertação] Automatic auditing with process mining DRAFT
Author: Miguel Neves dos Reis Prazeres (ist195649)
Coordenação: Miguel Leitão Bignolas Mira da Silva (ist13948) Rita Andreia da Conceição Marques (ist169369)
-
Dissertação: Garbage Collection Optimization for Microservices DRAFT
Author: Guilherme Luís Francisco Soares (ist196392)
Coordenação: Luís Manuel Antunes Veiga (ist14191)
-
Projecto FISHING PATTERN RECOGNITION DRAFT
Author: João António Palhinha da Cunha Salgueiro (ist1100740)
Coordenação: Alberto Manuel Ramos da Cunha (ist11959)
-
Dissertation: Automated Security Analysis of Ethereum Smart Contracts DRAFT
Author: Gonçalo Filipe Costa Guerreiro (ist195581)
Coordenação: João Fernando Peixoto Ferreira (ist428178)
-
Dissertation: Building a Scalable Real-Time Correlation System for Deanonymizing Tor Onion Services DRAFT
Author: João Pedro Antunes Aragonez (ist195606)
Coordenação: Nuno Miguel Carvalho dos Santos (ist14261)
-
Dissertation: Adaptive Tutor Development for Specific Learning Materials using Language Models DRAFT
Author: Mariana Casimiro Ferreira Laranjo (ist192517)
Coordenação: Rui Orlando Magalhães Ribeiro (ist424865) Maria Luísa Torres Ribeiro Marques da Silva Coheur (ist24630)
-
Dissertação: Simulator for Saga Implemented Microservice Systems DRAFT
Author: André Martins Esgalhado (ist195533)
Coordenação: António Manuel Ferreira Rito da Silva (ist12628)
-
Dissertation - Visualization and analysis of deep sea species distribution data DRAFT
Author: Ricardo Filipe Santos Martins (ist195662)
Coordenação: Ana Patrícia Subtil da Graça Freitas Garcia (ist424126) Ana Gualdina Almeida Matos (ist24690)
-
Dissertation: CARLSy: Chess Annotation and Recommendation LLM-based system DRAFT
Author: Afonso Esteves Matias Lopes (ist195526)
Coordenação: Maria Luísa Torres Ribeiro Marques da Silva Coheur (ist24630)
-
Dissertação: Decentralised Marketplace based on Blockchain DRAFT
Author: Duarte Ferreira da Costa (ist1105787)
Coordenação: Miguel Nuno Dias Alves Pupo Correia (ist130598)
-
Dissertation: Consistency Extension for Google's Service Weaver DRAFT
Author: Tiago Antunes Malhadas (ist195676)
Coordenação: João Coelho Garcia (ist14139) Rodrigo Seromenho Miragaia Rodrigues (ist14022)
-
Dissertação: Produção Rápida de Aplicações Empresariais em Ambiente Low-Code DRAFT
Author: Rodrigo Yudy Mendes Takimura (ist195668)
Coordenação: Alberto Manuel Rodrigues da Silva (ist13323)
-
Projecto: SecNet - Developing Secure Networks for Defense Systems DRAFT
Author: Miguel José Carreira da Encarnação (ist1105718)
Coordenação: Ricardo Jorge Fernandes Chaves (ist143817) Luís David Figueiredo Mascarenhas Moreira Pedrosa (ist152872)
-
[Projecto] Debugger de software de tempo real na área de espaço. DRAFT
Author: Xin Zheng (ist1105704)
Coordenação: João Nuno De Oliveira e Silva (ist14028)
-
Dissertação: Gatekeeper: a consensus service for blockchains DRAFT
Author: Diogo Miguel Da Silva Santos (ist195562)
Coordenação: Rodrigo Seromenho Miragaia Rodrigues (ist14022)
-
Dissertação: Improving Eating Habits Through the Lens of Augmented Reality DRAFT
Author: Maribel Jaramillo Zapata (ist1105560)
Coordenação: Tomás Almeida e Silva Martins Alves (ist175541) Daniel Simões Lopes (ist151462)
-
Dissertação: Enterprise Cartography DRAFT
Author: Miguel da Costa Cruz (ist192527)
Coordenação: Pedro Manuel Moreira Vaz Antunes de Sousa (ist12951) Sérgio Luís Proença Duarte Guerreiro (ist62654)
-
Project: A CVC5 Backend for Efficient SMT Solving in OCaml DRAFT
Author: João Maria Henriques Madeira Pereira (ist195600)
Coordenação: Pedro Miguel dos Santos Alves Madeira Adão (ist14151) José Faustino Fragoso Femenin dos Santos (ist153921)
-
[Dissertação] Automating the professor recruitment process DRAFT
Author: Matheus de Souza Trindade (ist1105471)
Coordenação: José Luís Teixeira Dias (ist23000) Miguel Leitão Bignolas Mira da Silva (ist13948)
-
Dissertação: Previsão de neuromarcadores a partir do rastreio molecular de tecidos periféricos DRAFT
Author: Alexandra Santos Pestana Rodrigues (ist195528)
Coordenação: Rui Miguel Carrasqueiro Henriques (ist156846) Daniel Pedro de Jesus Faria (ist147707)
-
Dissertação: Stateful-FaaS DRAFT
Author: Francisco José Vieira Fiães (ist1105776)
Coordenação: Luís Manuel Antunes Veiga (ist14191)
-
Dissertação - GANs for Education II : automatic generation of true/false sentences. DRAFT
Author: Eduardo Moreira Miranda (ist195569)
Coordenação: Andreas Miroslaus Wichert (ist24622) Claudia Martins Antunes (ist14046)
-
Dissertação - Automation of data preparation and feature engineering through the exploration of domain ontologies DRAFT
Author: Rodrigo De Melo Pinto (ist195666)
Coordenação: Claudia Martins Antunes (ist14046)
-
Dissertation: Biologically inspired CNNs for Medical Imaging tasks DRAFT
Author: Daniela Regina Malveiro Carvalho (ist192443)
Coordenação: Arlindo Manuel Limede de Oliveira (ist12282)
-
Dissertação: Dynamic Trees for Byzantine Consensus Protocols DRAFT
Author: Tomás Maria de Aquino da Silva de Araújo Pereira (ist195682)
Coordenação: Luís Eduardo Teixeira Rodrigues (ist126480) Miguel Ângelo Marques de Matos (ist427850)
-
Projecto: MyGameCourse DRAFT
Author: Mara Gomes Alves (ist195625)
Coordenação: Daniel Jorge Viegas Gonçalves (ist13898)
-
Dissertation: Predicting the Anchoring Bias in Information Visualization Through Cognitive Abilities DRAFT
Author: Maria de Fátima Gonçalves de Campos (ist195629)
Coordenação: Sandra Pereira Gama (ist152404) Tomás Almeida e Silva Martins Alves (ist175541)
-
Project: Developing a Mobile System for Instant In-class Feedback [Communication Skills] DRAFT
Author: Basanta Poudel (ist180894)
Coordenação: Augusto Emanuel Abreu Esteves (ist154298) Cláudia Cristina da Silva (ist428694)
-
Dissertation: Leveraging eBPF with hardware memory transactions DRAFT
Author: Pedro Miguel Fernandes Duarte (ist195659)
Coordenação: João Pedro Faria Mendonça Barreto (ist45149)
-
Dissertação: Expanding Human Self-Expression with Large Language Models (ChatGPT) and Augmented or eXtended Reality DRAFT
Author: João Gomes Maurício (ist198530)
Coordenação: Augusto Emanuel Abreu Esteves (ist154298)
-
Microbiome Classification in Colon Cancer Patients using Chaos Game Representations and CNN models EVALUATED
Author: Javier Montoya Gutierrez de Rave (ist1108717)
Coordenação: Ana Teresa Correia de Freitas (ist13136) Francisco Jorge Dias Oliveira Fernandes (ist148659)
-
Project: Show Me MySteps DRAFT
Author: Filipa Santos Baptista Alves Cotrim (ist195572)
Coordenação: Daniel Jorge Viegas Gonçalves (ist13898)
-
Dissertation: Using Video and Audio Recordings for Evaluating Asthma in Equines DRAFT
Author: Maria Carolina Zagalo e Melo da Silva Gomes (ist197856)
Coordenação: Maria Luísa Torres Ribeiro Marques da Silva Coheur (ist24630)
-
Dissertação - How to disappear online: approaches for digital erasure and evaluation methodologies DRAFT
Author: João Vasco Almeida Sobral Siborro Reis (ist195611)
Coordenação: Claudia Martins Antunes (ist14046)
-
Project - Business Analytics System with Event-Driven Data Collection DRAFT
Author: Maria João Madeira Duarte (ist190415)
Coordenação: Pedro Manuel Moreira Vaz Antunes de Sousa (ist12951)
-
Dissertação || Algorithms for Heterogenous Blockchain Interoperability DRAFT
Author: Eduardo Palácios Castanheira Almeida Vasques (ist195570)
Coordenação: Miguel Nuno Dias Alves Pupo Correia (ist130598) André Ferreira Ferrão Couto e Vasconcelos (ist14250)
-
Projecto Mobility As A Service (MAAS) DRAFT
Author: Tomás Ferreira Reis Nunes (ist196915)
Coordenação: Alberto Manuel Ramos da Cunha (ist11959)
-
Dissertation - Deep neural network architectures for dual process computation DRAFT
Author: Guilherme Henriques Bandeira Costa (ist195586)
Coordenação: Arlindo Manuel Limede de Oliveira (ist12282)
-
Dissertação: Anatomy Physicalizations: Educational Tools Made of Affordable and Accessible Materials to Teach and Learn Anatomy. DRAFT
Author: Margarida Nico David Rodrigues (ist195627)
Coordenação: Daniel Simões Lopes (ist151462)
-
Dissertação: Source-to-Source Optimization of Safe Rust Programs Translated from C++ DRAFT
Author: João Afonso Freixial Silveira (ist195597)
Coordenação: Nuno Claudino Pereira Lopes (ist155393)
-
Dissertação - An IDE for Algorithmic Design DRAFT
Author: Eduardo Filipe De Almeida Conde Barrancos (ist195566)
Coordenação: António Paulo Teles de Menezes Correia Leitão (ist13451)
-
Dissertation: Detecting Denial of Wallet Vulnerabilities in Serverless Applications DRAFT
Author: Bernardo Taipina Carvalho Ribeiro (ist195541)
Coordenação: Rodrigo Fraga Barcelos Paulus Bruno (ist167074) Nuno Miguel Carvalho dos Santos (ist14261)
-
Efficient Asynchronous Byzantine State Machine Replication EVALUATED
Author: André Dias Duarte de Oliveira Breda (ist189409)
Coordenação: Rodrigo Seromenho Miragaia Rodrigues (ist14022)
-
Controlled Natural Languages for Specifying Requirements of Business Intelligence Applications EVALUATED
Author: Pedro Das Neves Rodrigues (ist190531)
Coordenação: Alberto Manuel Rodrigues da Silva (ist13323)
-
SOQuest: Active Learning for an Operating Systems Online Course EVALUATED
Author: Guillermo Andres Da Silva Bettencourt (ist192474)
Coordenação: Miguel Filipe Leitão Pardal (ist14265)
-
AlphaSCS: Playing hex and counter board games with reinforcement learning and recurrent neural networks EVALUATED
Author: Guilherme Do Vale Lopes Palma (ist189452)
Coordenação: Pedro Alexandre Simões dos Santos (ist12886)
-
Robot Race EVALUATED
Author: Jiaxin JIANG (ist1101925)
Coordenação: Alberto Manuel Ramos da Cunha (ist11959)
-
Dissertation - Data and citizen science tools for analysis of traffic and encouragement of sustainable transportation options DRAFT
Author: André Miguel Amaro Romão (ist195534)
Coordenação: Ana Gualdina Almeida Matos (ist24690)
-
Dissertation: ComPartilhar: A Digital Platform to Support Social Inclusion of Refugees through Community Sponsoring DRAFT
Author: Marina Miguel Cruz Gomes (ist195637)
Coordenação: Hugo Miguel Aleixo Albuquerque Nicolau (ist153934)
-
Dissertation: Verifying Distributed Protocols With Alloy DRAFT
Author: Nuno Alexandre Marques Policarpo (ist195651)
Coordenação: José Faustino Fragoso Femenin dos Santos (ist153921)
-
Dissertação: Blockchain Interoperability with the European Blockchain Infrastructure (EBSI) DRAFT
Author: João Pedro Reis Luís (ist195607)
Coordenação: Miguel Nuno Dias Alves Pupo Correia (ist130598)
-
Dissertation: Detecting Resource Exhaustion Vulnerabilities Using Code Property Graphs DRAFT
Author: Francisco Mendes Bioucas Assis de Abrunhosa (ist195580)
Coordenação: Pedro Miguel dos Santos Alves Madeira Adão (ist14151) José Faustino Fragoso Femenin dos Santos (ist153921)
-
Dissertation: Exploiting Language Models to Improve Pedagogical Material Creation in Programming Education DRAFT
Author: Aylton Fernandes da Silva (ist186390)
Coordenação: Alberto Abad Gareta (ist90700) Maria Luísa Torres Ribeiro Marques da Silva Coheur (ist24630)
-
Dissertação: Augmented Reality Anatomy Flashcards DRAFT
Author: Diogo Matos da Silva (ist195561)
Coordenação: Daniel Simões Lopes (ist151462)
-
DISSERTAÇÃO : Semi-Supervised Medical Entity Linking DRAFT
Author: Leonor Maria Machado Barreiros (ist195618)
Coordenação: Bruno Emanuel Da Graça Martins (ist24686)
-
Projecto: Plataforma WebXR para Modelação 3D baseada em “Hitboxes” DRAFT
Author: Vasco Moita Sebastião (ist195686)
Coordenação: Daniel Simões Lopes (ist151462)
-
DISSERTAÇÃO : Adapting large language models for the domain of clinical trials DRAFT
Author: Diogo Miguel Preto Cordeiro Branco (ist192453)
Coordenação: Bruno Emanuel Da Graça Martins (ist24686) Arlindo Manuel Limede de Oliveira (ist12282)
-
Dissertação: Profile-Guided Optimizations for the Execution of Machine Learning Models DRAFT
Author: Diogo Emanuel Da Costa Venâncio (ist195555)
Coordenação: Nuno Claudino Pereira Lopes (ist155393)
-
Dissertation: Dialogue Generation for Context Aware Embodied Emocional Agents DRAFT
Author: Paulo Tomás Falcão de Almeida Cardoso (ist1102113)
Coordenação: Joana Carvalho Filipe de Campos (ist155848) Ana Maria Severino de Almeida e Paiva (ist12371)
-
Dissertation: Bridging the Digital Divide: A Community-led Digital Platform for People at Risk of Social Exclusion DRAFT
Author: Julliana dos Santos e Sousa (ist1105727)
Coordenação: Hugo Miguel Aleixo Albuquerque Nicolau (ist153934)
-
Projecto: Smart Card for Cryptographic key distribution DRAFT
Author: Eduardo Miguel Arez Claudino (ist195567)
Coordenação: Ricardo Jorge Fernandes Chaves (ist143817) Alberto Manuel Ramos da Cunha (ist11959)
-
Dissertação: Simulating Transactional Anomalies in Business Logic Rich Micro-Services DRAFT
Author: João Quelhas Guterres Serrão Fitas (ist195609)
Coordenação: Luís Eduardo Teixeira Rodrigues (ist126480) António Manuel Ferreira Rito da Silva (ist12628)
-
Projecto: Multi-core CPUs on cryptographic systems - OS or no OS that is the question! DRAFT
Author: Filipe Ligeiro Silva (ist195574)
Coordenação: Aleksandar Ilic (ist166430) Ricardo Jorge Fernandes Chaves (ist143817)
-
Dissertação: Smart-ML - Reduce running costs of a ML Model in Production DRAFT
Author: João Manuel Ginja Ramalho (ist195599)
Coordenação: Luís Manuel Antunes Veiga (ist14191)
-
Projecto: GameCourseZap! DRAFT
Author: José Francisco Giro Pinto Moreira (ist192504)
Coordenação: Daniel Jorge Viegas Gonçalves (ist13898)
-
Dissertation: Mixed-initiative Player Control for Action Role-Playing Games DRAFT
Author: Miguel Filipe Rego Belbute (ist196453)
Coordenação: Carlos António Roque Martinho (ist14181)
-
Dissertação - A Julia MOP DRAFT
Author: Eduardo Miguel Caetano Espadeiro (ist195568)
Coordenação: António Paulo Teles de Menezes Correia Leitão (ist13451)
-
Dissertação || Implementing Semantic Blockchain Interoperability Across Heterogeneous Infrastructure DRAFT
Author: Carlos Rafael Silva Cardoso Amaro (ist195547)
Coordenação: Miguel Nuno Dias Alves Pupo Correia (ist130598) André Ferreira Ferrão Couto e Vasconcelos (ist14250)
-
Dissertação || An Incident Response Framework applied to Blockchain Interoperability DRAFT
Author: Bruno Filipe Ferreira Mateus (ist195543)
Coordenação: André Ferreira Ferrão Couto e Vasconcelos (ist14250) Miguel Nuno Dias Alves Pupo Correia (ist130598)
-
Dissertation: Active Defense Systems in Network Cybersecurity DRAFT
Author: Diogo Fontinha Braz (ist195557)
Coordenação: Fernando Mira da Silva (ist12048)
-
Dissertation - Can Alpha-Zero Generalize? DRAFT
Author: Clara Silva Pais (ist192622)
Coordenação: Pedro Alexandre Simões dos Santos (ist12886)
-
Dissertation: Procedural Generation of Progression Systems DRAFT
Author: Bruno Miguel de Oliveira Brandão (ist1105816)
Coordenação: Carlos António Roque Martinho (ist14181)
-
Dissertation: AI-powered Emotion Well Being for everyone DRAFT
Author: Sofia da Silva Morgado (ist195675)
Coordenação: Hugo Humberto Plácido da Silva (ist46129) Sandra Pereira Gama (ist152404)
-
Dissertação: Distribuição espacial de marcadores de neurotransmissão recorrendo a coortes postmortem e modelos animais DRAFT
Author: Miguel da Mata Moreira (ist195643)
Coordenação: Rui Miguel Carrasqueiro Henriques (ist156846) Guilherme Henrique Caçador Ramos (ist164938)
-
Dissertação: Blockchain Land Registry with Earth Observation Technologies – Land Transactions DRAFT
Author: Pedro Miguel Carvalho Henriques (ist196761)
Coordenação: Miguel Nuno Dias Alves Pupo Correia (ist130598)
-
Dissertation: Detecting Multi-file Vulnerabilities Using Code Property Graphs DRAFT
Author: Guilherme Figueira da Silva Gonçalves (ist195585)
Coordenação: Pedro Miguel dos Santos Alves Madeira Adão (ist14151) José Faustino Fragoso Femenin dos Santos (ist153921)
-
Dissertação: Break and protect modern CPUs with machine learning DRAFT
Author: Carlos Duarte Gaspar Lopes Pereira da Costa (ist1105768)
Coordenação: Aleksandar Ilic (ist166430) Ricardo Jorge Fernandes Chaves (ist143817)
-
Dissertation: On Verified Symbolic Memory Models for C DRAFT
Author: Juliana Yang (ist195617)
Coordenação: José Faustino Fragoso Femenin dos Santos (ist153921)
-
(Dissertção) BalCat: Weapon Model Classification using Deep Learning DRAFT
Author: Carlos Miguel Vicente Sousa (ist195546)
Coordenação: João António Madeiras Pereira (ist12291)
-
Dissertação: Paralelização do Método de Krylov para o Cálculo da Função Mittag-Leffler DRAFT
Author: Catarina Soares da Costa Bento (ist193230)
Coordenação: José Carlos Alves Pereira Monteiro (ist12850)
-
Dissertação: A Global Value Numbering (GVN) Optimization for Compilers With Undefined Behavior DRAFT
Author: Manuel José Gomes Brito (ist195623)
Coordenação: Nuno Claudino Pereira Lopes (ist155393)
-
Predicting team coordination in a collaborative card game EVALUATED
Author: Pedro Afonso Da Boa Morte Cruz Nora (ist192536)
Coordenação: Joana Carvalho Filipe de Campos (ist155848)
-
Optimizing OS Support for Dynamic Page Placement in Heterogeneous Memory Architectures EVALUATED
Author: João de Quinhones Levy Albuquerque Póvoas (ist192487)
Coordenação: João Pedro Faria Mendonça Barreto (ist45149)
-
Dynamic Scaling and Performance Evaluation in Low-Code Platforms: A Comparative Study of OutSystems and ODC EVALUATED
Author: Rodrigo Henriques Palmeirim (ist192550)
Coordenação: Mário Jorge Costa Gaspar da Silva (ist124073)
-
Soft Actor-Critic for trajectory following in car racing simulation EVALUATED
Author: João Maria Mouro Ferreira Gundersen Marques (ist192494)
Coordenação: Manuel Fernando Cabido Peres Lopes (ist40208)
-
WithoutNet - A Low-Power, Low-Cost and Long-Range Alternative for IoT Networks EVALUATED
Author: Francisco Ferreira Esteves (ist192463)
Coordenação: Alberto Manuel Ramos da Cunha (ist11959)
-
A Library of Analytic Collision Detection Functions for Game Engines EVALUATED
Author: João Pedro Oliveira Marto (ist1102174)
Coordenação: Daniel Simões Lopes (ist151462)
-
SecureHealth UX: Design framework for electronic health records EVALUATED
Author: Rúben Almeida Ulisses de Carvalho Fonseca (ist192554)
Coordenação: David Rogério Póvoa de Matos (ist424056) Miguel Filipe Leitão Pardal (ist14265)
-
Understanding Crypto Trading EVALUATED
Author: Tiago Vladimiro Constantino Soares (ist178658)
Coordenação: Duarte Nuno Jardim Nunes (ist132720)
-
[Projeto] Machine Learning for the Characterization of N2-H2 Plasma Discharges DRAFT
Author: Alexandre De Lança Cordeiro Henriques (ist190701)
Coordenação: Diogo Manuel Ribeiro Ferreira (ist24629)
-
[Projeto] Modelação 3D de Embarcação Tradicional do Tejo DRAFT
Author: Laura Constança Ferreira Baeta (ist192507)
Coordenação: Manuel Fernando Cabido Peres Lopes (ist40208)
-
YAHO - Yet Another Homomorphic Optimiser EVALUATED
Author: Guilherme Baeta Campos da Rocha Fontes (ist192470)
Coordenação: Carlos Nuno da Cruz Ribeiro (ist13499) Luís David Figueiredo Mascarenhas Moreira Pedrosa (ist152872)
-
Retrieval-Augmented Text-Only Training for Image Captioning EVALUATED
Author: João Diogo Henriques da Silva (ist192488)
Coordenação: Bruno Emanuel Da Graça Martins (ist24686) David Manuel Martins de Matos (ist13500)
-
Artificial Intelligence for Literature Reviews EVALUATED
Author: João Pedro Fernandes Torres (ist187540)
Coordenação: Joaquim Armando Pires Jorge (ist13909)
-
Dialogue Summarization with Retrieval-Augmented Transformers EVALUATED
Author: Diogo Miguel Rodrigues Cruz Fouto Silva (ist193705)
Coordenação: Bruno Emanuel Da Graça Martins (ist24686) Maria Luísa Torres Ribeiro Marques da Silva Coheur (ist24630)
-
A Performance Predictor for Neural Architecture Search EVALUATED
Author: José Guilherme Sousa Coutinho Carreira (ist193731)
Coordenação: Arlindo Manuel Limede de Oliveira (ist12282)
-
Faastion: Secure and Elastic Multi-tenant Serverless Runtime EVALUATED
Author: Rodrigo Foito de Amoreira Cidra (ist192549)
Coordenação: Rodrigo Fraga Barcelos Paulus Bruno (ist167074)
-
Mono2Micro: Enriching Access Sequences Static Analysis Collector with Branch Frequency EVALUATED
Author: Paulo Miguel Jacinto Ferreira do Ó (ist192535)
Coordenação: António Manuel Ferreira Rito da Silva (ist12628)
-
Cryptographic key management software EVALUATED
Author: Sara Catarina Pinto da Graça (ist1102100)
Coordenação: Ricardo Jorge Fernandes Chaves (ist143817) Alfredo Manuel dos Santos Ferreira Júnior (ist14275)
-
Study of The Role of Personality in Remote Teamwork in Virtual Environments EVALUATED
Author: Paulina Izabela Wykowska (ist192534)
Coordenação: Carlos António Roque Martinho (ist14181)
-
Lazy Isolation in the Cloud EVALUATED
Author: Miguel Abreu Lourenço (ist192524)
Coordenação: Rodrigo Fraga Barcelos Paulus Bruno (ist167074)
-
Discretization Aware Differentiable ARchiTecture Search EVALUATED
Author: Vasco Filipe Oliveira Rocha (ist192567)
Coordenação: Paolo Romano (ist90476) Bruno Emanuel Da Graça Martins (ist24686)
-
Code Smell Detection in Infrastructure as Code using Transformers EVALUATED
Author: Sancha Pinheiro Borges Baptista Barroso (ist192557)
Coordenação: João Fernando Peixoto Ferreira (ist428178) Alberto Abad Gareta (ist90700)
-
Implementation-Based Generation of the ECMAScript Standard EVALUATED
Author: Patrícia Alexandra Ferreira Pereira (ist177205)
Coordenação: José Faustino Fragoso Femenin dos Santos (ist153921)
-
Minecraft Social Agents - Creating socially intelligent non-player characters in Minecraft EVALUATED
Author: Rafael Alexandre Milheiro Lourenço (ist192543)
Coordenação: Rui Filipe Fernandes Prada (ist32219)
-
Creation of a vulnerable laboratory for teaching security vulnerabilities in both Blue/Red team EVALUATED
Author: Joel Alexandre Ramos Russo (ist1102098)
Coordenação: Nuno Miguel Carvalho dos Santos (ist14261)
-
From Brazilian Portuguese to European Portuguese EVALUATED
Author: João Filipe Silva Lopes Seguro Sanches (ist192490)
Coordenação: Maria Luísa Torres Ribeiro Marques da Silva Coheur (ist24630) Rui Orlando Magalhães Ribeiro (ist424865)
-
Siphon: Towards removing inefficient gas patterns from Smart Contracts EVALUATED
Author: João Francisco Duarte da Silva (ist192491)
Coordenação: David Rogério Póvoa de Matos (ist424056)
-
Context-aware forecasting of blood donation and demand for efficient nationwide management of blood products EVALUATED
Author: Miguel Vaz Fernandes Dauphinet Barros (ist1102184)
Coordenação: Pedro Tiago Gonçalves Monteiro (ist146963) Rui Miguel Carrasqueiro Henriques (ist156846)
-
Cairo Smart Contract Verification EVALUATED
Author: André Duarte do Nascimento (ist192418)
Coordenação: Nuno Claudino Pereira Lopes (ist155393)
-
The Concept of Cyber Threat Intelligence EVALUATED
Author: Clara Gil da Silva Pereira (ist197070)
Coordenação: José Luís Brinquete Borbinha (ist13085)
-
Analysis of Security in Railway Communication Networks based on 5G and WiFi EVALUATED
Author: António Manuel Angeja Filipe (ist192425)
Coordenação: Luís Manuel De Jesus Sousa Correia (ist12076) Ricardo Jorge Fernandes Chaves (ist143817)
-
Dissertation: Languages and Frameworks for Large Language Model Programming DRAFT
Author: Francisco Lisboa Ricardo Marques (ist192464)
Coordenação: João Fernando Peixoto Ferreira (ist428178)
2022/2023
-
An algorithmic approach to the comparison of phylogenetic trees EVALUATED
Author: António Pedro Paredes Silva Branco (ist192426)
Coordenação: Alexandre Paulo Lourenço Francisco (ist14152)
-
Clustering Symbolic Temporal Sequences Using Temporal Needleman-Wunsch Algorithm EVALUATED
Author: Matheus de Almeida Orsi e Silva (ist192238)
Coordenação: Susana de Almeida Mendes Vinga Martins (ist14109) Alexandra Sofia Martins de Carvalho (ist45173)
-
Predicting Startup Outcomes - A KDD approach for the application of deep learning techniques to predict startup outcomes EVALUATED
Author: João Filipe Espírito Santo Porto (ist189472)
Coordenação: José Alberto Rodrigues Pereira Sardinha (ist25149)
-
Request Workflow Monitor for Microservice-based Web Applications EVALUATED
Author: Mafalda Sofia Carvalho Ferreira (ist192513)
Coordenação: João Coelho Garcia (ist14139)
-
Algorithm to support the extension of the Portuguese continental shelf beyond 200 nautical miles EVALUATED
Author: Bruno Ramos Dias (ist186392)
Coordenação: Ana Gualdina Almeida Matos (ist24690)
-
Incorporating Conversational Skills into a Mobile Service Robot EVALUATED
Author: Verónica Iris Saramago Montes Spelbrink (ist426108)
Coordenação: Maria Luísa Torres Ribeiro Marques da Silva Coheur (ist24630) Rodrigo Martins de Matos Ventura (ist13950)
-
Temporal Graph Neural Networks for Financial Predictions and Recommendations EVALUATED
Author: Manuel Pereira Coimbra (ist424808)
Coordenação: Arlindo Manuel Limede de Oliveira (ist12282)
-
Validation of Rigorous Requirements Specifications and Document Automation with the ITLingo RSL Language EVALUATED
Author: André Filipe Mota Rodrigues (ist170119)
Coordenação: Alberto Manuel Rodrigues da Silva (ist13323)
-
Benefits and Challenges in DevOps Adoption EVALUATED
Author: Miguel Fermisson Caridade (ist190623)
Coordenação: Miguel Leitão Bignolas Mira da Silva (ist13948)
-
Answering Natural Language Questions with Visual Information from Remote Sensing Imagery EVALUATED
Author: Francisco Luís Teixeira Valadares Guedes da Silva (ist190716)
Coordenação: Bruno Emanuel Da Graça Martins (ist24686)
-
Aplicação de gestão de tomas de medicamentos, armário de medicamentos, dependentes e cuidadores EVALUATED
Author: Gonçalo Querido de Freitas (ist190604)
Coordenação: Teresa Maria Sá Ferreira Vazão Vasques (ist12922)
-
Vision Transformers for Remote Sensing Image Segmentation EVALUATED
Author: Miguel Alexandre Vieira Gonçalves (ist189507)
Coordenação: Bruno Emanuel Da Graça Martins (ist24686)
-
A data management system for the ROV Luso EVALUATED
Author: Luís Francisco Bernardes Antunes (ist424802)
Coordenação: Ana Gualdina Almeida Matos (ist24690)
-
Predicting sports events using Twitter sentiment analysis and neural networks EVALUATED
Author: Tomás Ferreira de Pinho e Duarte de Almeida (ist189554)
Coordenação: Alexandre Paulo Lourenço Francisco (ist14152) Helena Sofia Andrade Nunes Pereira Pinto (ist12906)
-
Anatomy Education Applied to Dental Surgery in Virtual Reality EVALUATED
Author: Bernardo Gonçalves de Faria (ist187636)
Coordenação: Daniel Simões Lopes (ist151462)
-
SoundPlay: Sound and Music Generation - From a video to a soundtrack EVALUATED
Author: Maria Beatriz Donga Martins (ist189498)
Coordenação: Helena Sofia Andrade Nunes Pereira Pinto (ist12906)
-
Smart Healthcare Monitoring System For Healthy Driving in Public Transportation EVALUATED
Author: Pedro Miguel Esteves Maximino (ist189524)
Coordenação: Rui António Dos Santos Cruz (ist40132) Miguel Filipe Leitão Pardal (ist14265)
-
ChestXPlain: Leveraging LLMs for Radiologic-Centric XAI -An approach to explain automatic diagnosis for chest X-rays EVALUATED
Author: Gonçalo Homem de Gouveia Almeida (ist189448)
Coordenação: Joaquim Armando Pires Jorge (ist13909)
-
Efficient Data Structures with GraalVM Native Image EVALUATED
Author: Roman Babynyuk (ist189536)
Coordenação: Rodrigo Fraga Barcelos Paulus Bruno (ist167074)
-
Machine Learning techniques applied to the game Diplomacy EVALUATED
Author: André Jardim Fernandes de Araújo (ist189411)
Coordenação: Pedro Alexandre Simões dos Santos (ist12886)
-
ECMARef6: A Reference Interpreter For Modern JavaScript EVALUATED
Author: Rafael Rosa Rahal (ist197936)
Coordenação: José Faustino Fragoso Femenin dos Santos (ist153921)
-
RexStepper 2.0: Interactive Debugging for Regular Expressions in the Browser EVALUATED
Author: Miguel Gonzaga Serra Victorino Correia da Silva (ist197025)
Coordenação: José Faustino Fragoso Femenin dos Santos (ist153921)
-
Classic Symbolic Execution of WebAssembly EVALUATED
Author: João Pedro Lopes Borges (ist189482)
Coordenação: José Faustino Fragoso Femenin dos Santos (ist153921) Pedro Miguel dos Santos Alves Madeira Adão (ist14151)
-
In-the-wild Native Language Detection for an English Learning App EVALUATED
Author: Duarte Ramos Miranda (ist189440)
Coordenação: Alberto Abad Gareta (ist90700)
-
Dissertação: Prototyping Blockchain Futures: The Case of Intimate Digital Health Technologies DRAFT
Author: Diana Manuela Padilla Moniz (ist192449)
Coordenação: Teresa Alexandra de Almeida Joaquim (ist429249)
-
Dissertação: Java File System Virtualization DRAFT
Author: Gonçalo da Silva Duarte (ist192467)
Coordenação: Rodrigo Fraga Barcelos Paulus Bruno (ist167074)
-
HOOGLE⋆: Synthesis of constants and λ-abstractions in Petri net based synthesis using symbolic execution EVALUATED
Author: Henrique Botelho Guerra (ist189456)
Coordenação: João Fernando Peixoto Ferreira (ist428178)
-
Supporter Crowds for Fighting Games EVALUATED
Author: Guilherme Mimoso Montez Fernandes (ist192473)
Coordenação: Carlos António Roque Martinho (ist14181)
-
PROJETO: Creation of a vulnerable laboratory for teaching security vulnerabilities in both Blue/Red team DRAFT
Author: Joel Alexandre Ramos Russo (ist1102098)
Coordenação: Nuno Miguel Carvalho dos Santos (ist14261)
-
Multi-modal Detection of Neurodegenerative Disorders EVALUATED
Author: Mariana Vicente Lopes de Amorim Nobre Nunes (ist192519)
Coordenação: Alberto Abad Gareta (ist90700) Isabel Maria Martins Trancoso (ist11803)
-
Interactive Fashion Search and Recommendation EVALUATED
Author: Dora Alice Simão Frade Lourenço (ist189437)
Coordenação: Carlos Jorge Andrade Mariz Santiago (ist158445)
-
Dissertação: Improving Wasm Symbolic Execution via Caching of Results DRAFT
Author: Afonso José Diamantino dos Santos Ribeiro (ist189400)
Coordenação: Pedro Miguel dos Santos Alves Madeira Adão (ist14151) José Faustino Fragoso Femenin dos Santos (ist153921)
-
Platform for Collaborative Waste Management in an Academic Campus EVALUATED
Author: Tiago Maria Pereira Mamouros (ist189548)
Coordenação: Ana Gualdina Almeida Matos (ist24690)
-
WithoutNet (Projecto) DRAFT
Author: Francisco Ferreira Esteves (ist192463)
Coordenação: Alberto Manuel Ramos da Cunha (ist11959)
-
Robot Race (Projecto) DRAFT
Author: Jiaxin JIANG (ist1101925)
Coordenação: Alberto Manuel Ramos da Cunha (ist11959)
-
RPTester: Randomized Testing of File I/O Programs EVALUATED
Author: André Afonso de Figueiredo (ist1102267)
Coordenação: João Fernando Peixoto Ferreira (ist428178)
-
Logic-based Algorithms for Political Districting EVALUATED
Author: João Filipe Boucinha de Sá (ist193844)
Coordenação: Vasco Miguel Gomes Nunes Manquinho (ist14221) Maria Inês Camarate de Campos Lynce de Faria (ist14029)
-
Mind Mapping in VR: Generating Mind Maps from Textual Information for Interaction in a Virtual Reality Environment EVALUATED
Author: Afonso Maria De Muller e Sousa Castelão (ist190700)
Coordenação: Daniel Simões Lopes (ist151462) Mário Jorge Costa Gaspar da Silva (ist124073)
-
Dissertation: Learning temporal-geographical patterns on IPST blood collection/consumption data DRAFT
Author: Miguel Vaz Fernandes Dauphinet Barros (ist1102184)
Coordenação: Pedro Tiago Gonçalves Monteiro (ist146963) Rui Miguel Carrasqueiro Henriques (ist156846)
-
ExplodeQ.js: A Library of Queries to Detect Injection Vulnerabilities in Node.js Applications EVALUATED
Author: Miguel Alexandre Figueiredo Monteiro (ist192526)
Coordenação: José Faustino Fragoso Femenin dos Santos (ist153921) Nuno Miguel Carvalho dos Santos (ist14261)
-
Trust in human-robot ad hoc teamwork EVALUATED
Author: Joana Rocha Raposo (ist192485)
Coordenação: José Alberto Rodrigues Pereira Sardinha (ist25149) Ana Maria Severino de Almeida e Paiva (ist12371)
-
Dissertation: Multi-lingual cross-corpus analysis of COVID-19 patients’ recordings of speech and respiratory sounds DRAFT
Author: Francisco Lisboa Ricardo Marques (ist192464)
Coordenação: Rubén Solera Ureña (ist428632) Alberto Abad Gareta (ist90700)
-
Expandify: Expanding Spotify’s Smart Watch User Interface via Augmented Reality EVALUATED
Author: Nuno Miguel Pacheco Estalagem (ist1102245)
Coordenação: Augusto Emanuel Abreu Esteves (ist154298)
-
Static Analysis for C++ Rust-Like Lifetime Annotations EVALUATED
Author: Susana Moreno Monteiro (ist192560)
Coordenação: Nuno Claudino Pereira Lopes (ist155393)
-
FaaS-Utility EVALUATED
Author: Henrique da Conceição Reis dos Santos (ist192476)
Coordenação: Luís Manuel Antunes Veiga (ist14191)
-
FaaS@Edge - A Distributed and Decentralized Function-as-a-Service model for Edge Computing EVALUATED
Author: Catarina Galvão Gonçalves (ist192437)
Coordenação: Luís Manuel Antunes Veiga (ist14191)
-
Clinical and molecular characterization of sarcomas using machine learning multiomics integration EVALUATED
Author: Manuel Sérgio Sokolov Ravasqueira (ist1102313)
Coordenação: Emanuel José Vieira Gonçalves (ist429071)
-
Dependency checking for Geo-replicated Databases EVALUATED
Author: Guilherme Manuel Caturra Eugénio e Couto Cândido (ist193719)
Coordenação: João Coelho Garcia (ist14139)
-
A Typed Intermediate Language for Specifying the ECMAScript Standard EVALUATED
Author: André Filipe Ferreira do Nascimento (ist192419)
Coordenação: José Faustino Fragoso Femenin dos Santos (ist153921)
-
MindScape: Spotlighting the Well-Being of Mental Healthcare Practitioners for Public Awareness EVALUATED
Author: Mariana Colaço Garcia (ist193597)
Coordenação: Hugo Miguel Aleixo Albuquerque Nicolau (ist153934) Teresa Alexandra de Almeida Joaquim (ist429249)
-
DISSERTAÇÃO - Dialogue Summarization with Retrieval-Augmented Transformers DRAFT
Author: Diogo Miguel Rodrigues Cruz Fouto Silva (ist193705)
Coordenação: Maria Luísa Torres Ribeiro Marques da Silva Coheur (ist24630) Bruno Emanuel Da Graça Martins (ist24686)
-
Integrating asynchronous BFT with Ethereum validator networks EVALUATED
Author: Matheus Guilherme Leça da Silva Franco (ist192523)
Coordenação: Rodrigo Seromenho Miragaia Rodrigues (ist14022)
-
Hierarchical classification for diagnostics of breast cancer EVALUATED
Author: Miguel Monteiro Lopes Cardoso (ist189511)
Coordenação: Jacinto Carlos Marques Peixoto do Nascimento (ist33543) Carlos Jorge Andrade Mariz Santiago (ist158445)
-
Integrality, contiguity, and absence of holes in forming political districting maps EVALUATED
Author: João Pedro Roca Gonçalves Pereira da Silva (ist179730)
Coordenação: Luís Manuel Silveira Russo (ist147318) José Rui De Matos Figueira (ist14525)
-
Combining Structural and Semantic Information in Transformers for Source Code Summarization EVALUATED
Author: Bernardo Vala Lourenço (ist192431)
Coordenação: João Fernando Peixoto Ferreira (ist428178) Alberto Abad Gareta (ist90700)
-
Disease Spreading in Time-Evolving Networked Communities EVALUATED
Author: João Nuno Bastos Fonseca (ist192497)
Coordenação: Francisco João Duarte Cordeiro Correia dos Santos (ist25308)
-
CabrilDamVR: A Photorealistic and Immersive Virtual Reality Experience EVALUATED
Author: Raquel Sofia Diogo de Oliveira Chin (ist1102240)
Coordenação: João António Madeiras Pereira (ist12291)
-
Contrasting Approaches: Using Contrastive Learning to Advance Ischemic Stroke Lesion Segmentation EVALUATED
Author: Miguel António Ramos Rasquinho Ferreira (ist190899)
Coordenação: Arlindo Manuel Limede de Oliveira (ist12282) Jacinto Carlos Marques Peixoto do Nascimento (ist33543)
-
TRANSdutor: A Rewriting Approach for Gender Inclusivity in Portuguese EVALUATED
Author: Leonor Silva Pereira de Sousa Veloso (ist192509)
Coordenação: Maria Luísa Torres Ribeiro Marques da Silva Coheur (ist24630) Rui Orlando Magalhães Ribeiro (ist424865)
-
Automatic Detection of Security Smells in Terraform EVALUATED
Author: João Tiago Marques Gonçalves (ist192500)
Coordenação: João Fernando Peixoto Ferreira (ist428178)
-
Finding Regions of Interest in Whole Slide Images Using Multiple Instance Learning EVALUATED
Author: Martim Belo de Carvalho Duarte Afonso (ist192522)
Coordenação: Arlindo Manuel Limede de Oliveira (ist12282)
-
Memory Models for Symbolic Execution of JavaScript Applications EVALUATED
Author: Manuel Marques Costa (ist192515)
Coordenação: José Faustino Fragoso Femenin dos Santos (ist153921) Pedro Miguel dos Santos Alves Madeira Adão (ist14151)
-
Transactional causal consistency for micro-services architectures EVALUATED
Author: João Miguel Rocha Queirós (ist192496)
Coordenação: Luís Eduardo Teixeira Rodrigues (ist126480)
-
Dynamically Constructing Tutorials according to the Individual Capabilities of Players EVALUATED
Author: Tomás Andrade Saraiva (ist192564)
Coordenação: Carlos António Roque Martinho (ist14181)
-
Automatic Choreography for Virtual Agents EVALUATED
Author: Pedro Jorge Mendes Galhardo (ist189517)
Coordenação: David Manuel Martins de Matos (ist13500)
-
Selective Backpropagation for Faster RNN Training EVALUATED
Author: Duarte Vaz Osório de Penalva Boto (ist192457)
Coordenação: Arlindo Manuel Limede de Oliveira (ist12282)
-
Dissertação: Mono2Micro - Enrich static analysis with alternatives, cycles and producer consumer dataflow. DRAFT
Author: Paulo Miguel Jacinto Ferreira do Ó (ist192535)
Coordenação: António Manuel Ferreira Rito da Silva (ist12628)
-
Blockchain-Based Rental Documentation Management with Audit Support EVALUATED
Author: João Filipe Dias dos Santos (ist192489)
Coordenação: Miguel Nuno Dias Alves Pupo Correia (ist130598)
-
Developing a framework for collaborative development of multidimensional management dashboards: A use case for remote patient monitoring in heart failure EVALUATED
Author: David Miguel Franco Rodrigues (ist1102142)
Coordenação: Mónica Duarte Correia de Oliveira (ist14410)
-
Immersive Analytics for Dam Analysis EVALUATED
Author: Tomás Lobo Sequeira (ist192565)
Coordenação: Alfredo Manuel dos Santos Ferreira Júnior (ist14275)
-
Machine Learning applied to Marine Biology for Fish Sound Detection EVALUATED
Author: Pedro Gonçalo Valério Almeida (ist192538)
Coordenação: Manuel Fernando Cabido Peres Lopes (ist40208) Alberto Abad Gareta (ist90700)
-
CloNe - Synthesizing Cloud Network Functions EVALUATED
Author: David Alexandre Barreiro Baptista (ist192446)
Coordenação: Fernando Manuel Valente Ramos (ist428757) Luís David Figueiredo Mascarenhas Moreira Pedrosa (ist152872)
-
Optical Character Recognition Processing and Document Analysis EVALUATED
Author: Luís António Lima da Silva (ist1102406)
Coordenação: José Luís Brinquete Borbinha (ist13085) Flávio Nuno Fernandes Martins (ist428805)
-
Specification-driven Synthesis of Summaries for Symbolic Execution EVALUATED
Author: Rafael Henriques dos Santos Gonçalves (ist192544)
Coordenação: José Faustino Fragoso Femenin dos Santos (ist153921) Pedro Miguel dos Santos Alves Madeira Adão (ist14151)
-
Indentifying Scenes in Subtitles EVALUATED
Author: Tomás Roquette de Almeida Prego (ist192566)
Coordenação: Maria Luísa Torres Ribeiro Marques da Silva Coheur (ist24630) Rui Orlando Magalhães Ribeiro (ist424865)
-
Aligning Neural Machine Translation Models: Human Feedback in Training and Inference EVALUATED
Author: Miguel Moura Ramos (ist192531)
Coordenação: André Filipe Torres Martins (ist46911) Patrick Santos Fernandes (ist181191)
-
Automatic Detection of Anomalies in the Migration to Microservices Architectures EVALUATED
Author: Valentim Dias Romão (ist193760)
Coordenação: Vasco Miguel Gomes Nunes Manquinho (ist14221) Luís Eduardo Teixeira Rodrigues (ist126480)
-
Dissertation: In-the-wild native language detection for an English learning app DRAFT
Author: Duarte Ramos Miranda (ist189440)
Coordenação: Alberto Abad Gareta (ist90700)
-
Ontology Evaluation for Shared Autonomous Vehicles EVALUATED
Author: Tiago Catarino Prata (ist186516)
Coordenação: Miguel Leitão Bignolas Mira da Silva (ist13948)
-
Energy Efficiency in Natural Language Processing EVALUATED
Author: Pedro José Guerreiro Castelo Ramos (ist192539)
Coordenação: André Filipe Torres Martins (ist46911)
-
Trading in the Stock Market with Dynamic Time Warping and SVM or KNN Classifiers EVALUATED
Author: Tiago Miguel Agostinho Barroso (ist189549)
Coordenação: Rui Fuentecilla Maia Ferreira Neves (ist14409)
-
Dissertation: Extending EcoAndroid to Enable Better Energy-Efficient Mobile Applications DRAFT
Author: Miguel Goncalves Jardim (ist192528)
Coordenação: João Fernando Peixoto Ferreira (ist428178)
-
Data Augmentation for Urban Environmental Sound Classification on Edge Devices EVALUATED
Author: Diogo Manuel Duarte Ferrão (ist189435)
Coordenação: Bruno Emanuel Da Graça Martins (ist24686) Arlindo Manuel Limede de Oliveira (ist12282)
-
SoverChain: Blockchain-based Self-Sovereign Identity Management System EVALUATED
Author: Bruno Gouveia Lourenço e Soares Gomes (ist192432)
Coordenação: Miguel Filipe Leitão Pardal (ist14265) David Rogério Póvoa de Matos (ist424056)
-
Classification of Epistemic Actions in the Virtual Reality Environment: an application to the study of jigsaw-puzzle EVALUATED
Author: Felipe Benatti Conte Lopes Lima (ist1101751)
Coordenação: Augusto Emanuel Abreu Esteves (ist154298)
-
Data-Driven Approach to Predict the Consumption of Electrical Energy in Residencies Using Multiple Scopes of Non-Electric Data EVALUATED
Author: Fábio Bassoi Sayeg (ist1101753)
Coordenação: Augusto Emanuel Abreu Esteves (ist154298)
-
Semi-supervised brain lesion segmentation: a deep learning approach EVALUATED
Author: Rodrigo Alexandre Pereira e Pinto (ist193612)
Coordenação: Pedro Filipe Zeferino Aidos Tomás (ist146645)
-
VeriBoot - A Formally Verified Bootloader for Aerospace Applications EVALUATED
Author: Miguel Maria Saldanha Campelo de Magalhães Crespo (ist190334)
Coordenação: Luís David Figueiredo Mascarenhas Moreira Pedrosa (ist152872)
-
SPA-CC: A Serverless Platform with Automatic Configuration Choice EVALUATED
Author: Lúcia Filipa Lopes da Silva (ist192510)
Coordenação: Rodrigo Seromenho Miragaia Rodrigues (ist14022) João Pedro Faria Mendonça Barreto (ist45149)
-
Achieving Medication Adherence through an Integrated System EVALUATED
Author: Catarina Isabel Batuca Machuqueiro (ist189423)
Coordenação: João Coelho Garcia (ist14139)
-
NETRAD: Network Traffic Adversarial Attack Detector EVALUATED
Author: António Augusto de Crato Palma Teixeira (ist197430)
Coordenação: Carlos Nuno da Cruz Ribeiro (ist13499)
-
Integrating Meta-Heuristics and Logic-based techniques for Political Districting EVALUATED
Author: Mariana Wong Brandão (ist186893)
Coordenação: Vasco Miguel Gomes Nunes Manquinho (ist14221) Luís Manuel Silveira Russo (ist147318)
-
In-network ML-based anomaly detection EVALUATED
Author: David de Almeida Pissarra (ist192448)
Coordenação: Fernando Manuel Valente Ramos (ist428757)
-
Playing "The Mind" game with a robot EVALUATED
Author: Sandra Marisa Carvalho de Andrade (ist198716)
Coordenação: Ana Maria Severino de Almeida e Paiva (ist12371)
-
An Efficient Memory Data Structure for Wasm Symbolic Execution EVALUATED
Author: André Alexandre Inácio Mendes (ist193684)
Coordenação: José Faustino Fragoso Femenin dos Santos (ist153921) Pedro Miguel dos Santos Alves Madeira Adão (ist14151)
-
EvoChain: A Recovery Approach for Permissioned Blockchain Applications EVALUATED
Author: Francisco António Martins Mendes de Faria (ist192462)
Coordenação: David Rogério Póvoa de Matos (ist424056) Miguel Filipe Leitão Pardal (ist14265)
-
Framework for Assessing Developers’ Productivity EVALUATED
Author: Tiago Fernandes Semide (ist192563)
Coordenação: Miguel Leitão Bignolas Mira da Silva (ist13948)
-
DISSERTAÇÃO: ECO-FaaS DRAFT
Author: André João Nelas Ferreira (ist192423)
Coordenação: Luís Manuel Antunes Veiga (ist14191)
-
Red Team Testing - Gaining Initial Access with Malicious Documents EVALUATED
Author: Gonçalo Duarte Fernandes (ist192468)
Coordenação: José Luís Brinquete Borbinha (ist13085)
-
Extending GLITCH to Detect Code Smells in Docker EVALUATED
Author: Miguel Calçada Henriques (ist1102148)
Coordenação: João Fernando Peixoto Ferreira (ist428178)
-
Modeling Player Understanding of Game Character Expression EVALUATED
Author: Vítor Manuel Ferreira do Vale (ist192570)
Coordenação: Carlos António Roque Martinho (ist14181)
-
Dissertação: BI-SIGA: Análise de Dados no Sistema Integrado de Gestão do Acesso do SNS DRAFT
Author: Pedro Das Neves Rodrigues (ist190531)
Coordenação: Alberto Manuel Rodrigues da Silva (ist13323)
-
Dissertação: Geração de Subespaços Lineares com Aprendizagem Profunda DRAFT
Author: João Bernardo Gomes dos Santos (ist192486)
Coordenação: Carlos Jorge Andrade Mariz Santiago (ist158445) João Paulo Salgado Arriscado Costeira (ist12390)
-
Mitigating Fear-of-Flying using Virtual Reality during Flight EVALUATED
Author: Afonso Maia Monteiro de Carvalho (ist193681)
Coordenação: Augusto Emanuel Abreu Esteves (ist154298)
-
Privacy-Aware Video Deanonymization - Configurable Pipeline for Selective Reversal and Intelligibility Preservation in Video Anonymization EVALUATED
Author: Vasco Gabriel Simões (ist193761)
Coordenação: Paulo Jorge Fernandes Carreira (ist24950) João Coelho Garcia (ist14139)
-
Project - Design and Implementation of a User Interface for Legal Documents' Search and Semantic Processing DRAFT
Author: João Ricardo Ferreira Simões (ist192499)
Coordenação: Flávio Nuno Fernandes Martins (ist428805)
-
Blockchain for Supply Chain Traceability and Governance in the Agri-food Sector EVALUATED
Author: Duarte Miguel Constantino Bento (ist192456)
Coordenação: Miguel Nuno Dias Alves Pupo Correia (ist130598) Miguel Ângelo Marques de Matos (ist427850)
-
Automatic Translation of C++ To Rust EVALUATED
Author: Henrique Maria Almeida Rocha Preto (ist192477)
Coordenação: Nuno Claudino Pereira Lopes (ist155393)
-
Serverless Machine Learning EVALUATED
Author: António Pedro De Carvalho Elias (ist193690)
Coordenação: Rodrigo Fraga Barcelos Paulus Bruno (ist167074)
-
The Role of Facial Emotions in Usability Evaluation EVALUATED
Author: Alexandre Antunes Rodrigues (ist189404)
Coordenação: Sandra Pereira Gama (ist152404)
-
Reasoning over Indirect Discrimination EVALUATED
Author: Mariana Cosme Cintrão (ist193737)
Coordenação: Maria Inês Camarate de Campos Lynce de Faria (ist14029)
-
DISSERTAÇÃO: Using feudal hierarchies for non-stationary reinforcement learning DRAFT
Author: Guilherme Garcia Inácio de Freitas Jardim (ist192471)
Coordenação: José Alberto Rodrigues Pereira Sardinha (ist25149) Francisco António Chaves Saraiva de Melo (ist40236)
-
Projeto: Building A Conclic Testing System for Smart Contracts DRAFT
Author: João Francisco Duarte da Silva (ist192491)
Coordenação: David Rogério Póvoa de Matos (ist424056) Kevin Christopher Gallagher (ist429125)
-
Dissertação: Multi-tenant Java Application Security Study DRAFT
Author: Rodrigo Foito de Amoreira Cidra (ist192549)
Coordenação: Rodrigo Fraga Barcelos Paulus Bruno (ist167074)
-
The Phantom Effect in Information Visualization EVALUATED
Author: Carolina Micaela Pinto Duarte Pereira (ist192433)
Coordenação: Sandra Pereira Gama (ist152404) Tomás Almeida e Silva Martins Alves (ist175541)
-
Dissertação Digital Anthropology – New Computer Science Methods to Understand our Digital World (UNESCO) DRAFT
Author: Rúben Almeida Ulisses de Carvalho Fonseca (ist192554)
Coordenação: Catherine Ellen Anne Mulligan (ist429010) Joaquim Armando Pires Jorge (ist13909)
-
Automated Repair of Persistent Memory Applications using Large Language Models EVALUATED
Author: Rodrigo José Batista Antunes (ist192551)
Coordenação: João Fernando Peixoto Ferreira (ist428178)
-
IP Mangling System for Military Networks EVALUATED
Author: Margarida Silveira Moreira (ist193881)
Coordenação: Ricardo Jorge Fernandes Chaves (ist143817)
-
Data Plane Applications with In-Network Elements EVALUATED
Author: João Miguel Costa Veríssimo (ist192495)
Coordenação: Nuno Miguel Carvalho dos Santos (ist14261)
-
Explaining Deep Prognostic Models of Amyotrophic Lateral Sclerosis EVALUATED
Author: Francisco Miguel Delgado Calado Malveiro (ist192465)
Coordenação: Pedro Filipe Zeferino Aidos Tomás (ist146645)
-
LifeVis - Visualizing large amounts of personally relevant georeferenced data EVALUATED
Author: Sara de Jesus Simões Costa (ist193757)
Coordenação: Daniel Jorge Viegas Gonçalves (ist13898)
-
Making Sense of Emotional Well-being Data for Out-of-Office Consultations EVALUATED
Author: Leonor Valadas Preto Pereira Morgado (ist192906)
Coordenação: Hugo Miguel Aleixo Albuquerque Nicolau (ist153934) Teresa Alexandra de Almeida Joaquim (ist429249)
-
TrustGlass: Human-Computer Trusted Paths with Augmented Reality Smart Glasses EVALUATED
Author: Hélio Sven Figueiredo Borges (ist193721)
Coordenação: Miguel Nuno Dias Alves Pupo Correia (ist130598) João Nuno De Oliveira e Silva (ist14028)
-
Evolutionary Multi-Sector Analysis of Open-Access Adoption in Scientific Communication EVALUATED
Author: Alexandre Miguel da Silva Pires (ist192414)
Coordenação: Francisco João Duarte Cordeiro Correia dos Santos (ist25308)
-
Synergistic Companions for Games EVALUATED
Author: Pedro José Moreira Bento (ist1102225)
Coordenação: Carlos António Roque Martinho (ist14181)
-
Smart Contract Security Academy: Studying Common Attacks Against Smart Contracts EVALUATED
Author: Guilherme Eusébio Reis Gaspar (ist1102335)
Coordenação: David Rogério Póvoa de Matos (ist424056) Kevin Christopher Gallagher (ist429125)
-
Acquisition of bio-markers from speech for the identification of Bipolar Disease in European Portuguese EVALUATED
Author: Mafalda Di Martino Caldas Lopes Serafim (ist192512)
Coordenação: Helena Sofia Andrade Nunes Pereira Pinto (ist12906) Alberto Abad Gareta (ist90700)
-
Java Network Virtualization EVALUATED
Author: Jorge Catarino Estevão Tróia Godinho (ist192502)
Coordenação: Rodrigo Fraga Barcelos Paulus Bruno (ist167074)
-
Dissertation: Evaluating data collection protection methods DRAFT
Author: Guilherme Infante Rodrigues (ist1102181)
Coordenação: Miguel Nuno Dias Alves Pupo Correia (ist130598)
-
Species distribution modeling in small oceanic islands: A comprehensive methodology A case study in the Azores Archipelago EVALUATED
Author: Vasco Miguel Marques Pais Cabral (ist192568)
Coordenação: Ana Gualdina Almeida Matos (ist24690)
-
Exploiting diffusion-based data augmentation and a classifier ensemble for early wild fire detection EVALUATED
Author: Gonçalo de Vasconcelos Sobral de Azeredo Falcão (ist1102219)
Coordenação: Pedro Filipe Zeferino Aidos Tomás (ist146645)
-
PE2LGP5.0: From European Portuguese to Portuguese Sign Language EVALUATED
Author: Catarina Sofia Dos Santos Sousa (ist193695)
Coordenação: Maria Luísa Torres Ribeiro Marques da Silva Coheur (ist24630)
-
Evaluation of an Augmented Reality System for Public Speaking Engagement in Hybrid Classrooms via Immersive Speculative Enactment EVALUATED
Author: João Pedro Cavaco Antunes (ist192498)
Coordenação: Augusto Emanuel Abreu Esteves (ist154298)
-
Virtual Reality in the Immersive Treatment of Cynophobia Based on Gamification and Biofeedback EVALUATED
Author: Inês Câmara Viveiros Vara Alves (ist189461)
Coordenação: Augusto Emanuel Abreu Esteves (ist154298)
-
Exploring Factors that Affect Trust in Sentiment Visualization EVALUATED
Author: Maria Francisco Ribeiro (ist193735)
Coordenação: Sandra Pereira Gama (ist152404) Bárbara de Araújo Ramalho (ist182057)
-
Character Profiling in TV Shows EVALUATED
Author: Catarina Duarte Alegria (ist192436)
Coordenação: Maria Luísa Torres Ribeiro Marques da Silva Coheur (ist24630) Rui Orlando Magalhães Ribeiro (ist424865)
-
NLP-Telescope: Extending MT-Telescope for Natural Language Processing Models EVALUATED
Author: Rita Teresa Marmelo Castro Oliveira (ist192546)
Coordenação: Maria Luísa Torres Ribeiro Marques da Silva Coheur (ist24630)
-
Dissertação: Jogador Artificial para o jogo Geometry Friends DRAFT
Author: André Bento Franco Bastos Dias (ist191029)
Coordenação: Rui Filipe Fernandes Prada (ist32219) Francisco António Chaves Saraiva de Melo (ist40236)
-
Thwarting Traffic Confirmation Attacks in Tor with Traffic Modulation and Cover Traffic EVALUATED
Author: Afonso Pedro Antunes da Mota Gomes (ist192410)
Coordenação: Nuno Miguel Carvalho dos Santos (ist14261)
-
Risk Perception in Sentiment Visualization EVALUATED
Author: Tomás De Menezes Costa (ist190918)
Coordenação: Sandra Pereira Gama (ist152404) Bárbara de Araújo Ramalho (ist182057)
-
DAOliberate: Decentrally Moderated Chat Through Collaborative Decision Making EVALUATED
Author: Tiago Emmanuel Dos Santos Fournigault (ist192562)
Coordenação: David Rogério Póvoa de Matos (ist424056)
-
Exploiting Graph Neural Networks for jet identification in LHC experiments EVALUATED
Author: Rúben Miguel de Almeida Inácio (ist193755)
Coordenação: Pedro Filipe Zeferino Aidos Tomás (ist146645)
-
Tauris: Serverless Persistent Resources EVALUATED
Author: Serhii Ivanenko (ist1102058)
Coordenação: Rodrigo Fraga Barcelos Paulus Bruno (ist167074)
-
Dissertação: Produção Rápida de Aplicações Empresariais em Ambiente Low-Code DRAFT
Author: Patrícia Borges Vilão (ist193604)
Coordenação: Alberto Manuel Rodrigues da Silva (ist13323)
-
Blockchain Based Residential Smart Rent EVALUATED
Author: André da Silva Proença (ist1102327)
Coordenação: Miguel Nuno Dias Alves Pupo Correia (ist130598)
-
A Pedagogical Agent for Teaching Cyberbullying EVALUATED
Author: Daniela Narciso Castanho (ist192442)
Coordenação: Carlos António Roque Martinho (ist14181)
-
Learning Temporal Patterns for Patient Stratification in ALS EVALUATED
Author: Daniela Sofia Franco Martins Amaral (ist192444)
Coordenação: Pedro Filipe Zeferino Aidos Tomás (ist146645)
-
Estudos de Estereoquímica em Videojogos com Realidade Virtual EVALUATED
Author: Mário Sérgio Conceição Centeno (ist189505)
Coordenação: Rui Filipe Fernandes Prada (ist32219) Daniel Simões Lopes (ist151462)
-
Open Telemetry framework for cloud applications EVALUATED
Author: Pedro Magalhães e Silva (ist192540)
Coordenação: José Manuel da Costa Alves Marques (ist12023)
-
(Projeto) Análise de dados do CERT.PT DRAFT
Author: Clara Gil da Silva Pereira (ist197070)
Coordenação: José Luís Brinquete Borbinha (ist13085)
-
Optimizing Task Scheduling in Cloud: A Multi-Objective Approach using Hyper Heuristics and Genetic Programming EVALUATED
Author: Tomás Tárique Soares da Cunha Zaki (ist179690)
Coordenação: Rui Fuentecilla Maia Ferreira Neves (ist14409) José Rui De Matos Figueira (ist14525)
-
(Projeto) Análise de dados do CERT.PT DRAFT
Author: Clara Gil da Silva Pereira (ist197070)
Coordenação: José Luís Brinquete Borbinha (ist13085)
-
LowFi: Crypto Wallet Aggregator EVALUATED
Author: Pedro Wilson Neves Lamego (ist189526)
Coordenação: Manuel Fernando Cabido Peres Lopes (ist40208)
-
A Serious Game Platform for Teacher Cyberbullying Training EVALUATED
Author: Hugo Filipe Dias Marques (ist189460)
Coordenação: Carlos António Roque Martinho (ist14181)
-
EA.gov: Enterprise reference Architecture for GOVernment EVALUATED
Author: Joana Isabel Almeida Kalomenopoulos Ferreira (ist189468)
Coordenação: Pedro Manuel Moreira Vaz Antunes de Sousa (ist12951) André Ferreira Ferrão Couto e Vasconcelos (ist14250)
-
Cgroup Caching @ Graalvisor EVALUATED
Author: David Jorge Santos Nunes (ist425186)
Coordenação: Rodrigo Fraga Barcelos Paulus Bruno (ist167074) Luís Manuel Antunes Veiga (ist14191)
-
Dynamic Many-Light Importance Sampling for Real-Time Ray Tracing EVALUATED
Author: Pedro da Silva Freire (ist180873)
Coordenação: João António Madeiras Pereira (ist12291)
-
Using Process Mining to Increase the Effectiveness of Auditing EVALUATED
Author: Vasco Borba Gouveia da Cruz Rodrigues (ist189557)
Coordenação: Miguel Leitão Bignolas Mira da Silva (ist13948) Rita Andreia da Conceição Marques (ist169369)
-
Chia Bread Pudding: a blockchain of useful storage EVALUATED
Author: Mónica Chen Jin (ist192532)
Coordenação: Miguel Ângelo Marques de Matos (ist427850) João Pedro Faria Mendonça Barreto (ist45149)
-
Using deep model-based RL in ad hoc teamwork with partial observability EVALUATED
Author: Eduardo Filipe Sousa Paiva (ist189441)
Coordenação: Francisco António Chaves Saraiva de Melo (ist40236) José Alberto Rodrigues Pereira Sardinha (ist25149)
-
Efficient Data Provenance for Stream Processing Systems EVALUATED
Author: João Manuel Amaral Antunes (ist1102312)
Coordenação: Nuno Miguel Carvalho dos Santos (ist14261) Paulo Jorge Fernandes Carreira (ist24950)
-
Geographically-Aware Image Captioning EVALUATED
Author: Mariana Isabel Pereira Chinopa (ist192518)
Coordenação: Bruno Emanuel Da Graça Martins (ist24686)
-
Virtual Reality with Applications in Radiology and Surgery (Collaborative Endoscopy) EVALUATED
Author: João Nuno Lopes Serras (ist189478)
Coordenação: Anderson Maciel (ist429193) Joaquim Armando Pires Jorge (ist13909)
-
MEMEX application: Storytelling application user study for the cultural inclusion of the migrant population EVALUATED
Author: Miguel Mascarenhas Pessoa Marques Antunes (ist197311)
Coordenação: Valentina Nisi (ist428788)
-
A greener future with blockchain: Incentivize and Certificate net-zero cities EVALUATED
Author: João Luís Ambrósio Limeiro (ist198702)
Coordenação: Joaquim Armando Pires Jorge (ist13909)
-
Inclusion through Play: Co-designing Inclusive Robotic Games with Neurodivergent and Neurotypical Children EVALUATED
Author: Patrícia Isabel Figueira da Piedade (ist189515)
Coordenação: Hugo Miguel Aleixo Albuquerque Nicolau (ist153934) Rui Filipe Fernandes Prada (ist32219)
-
Guidelines for Achieving Alignment between Temporary and Permanent Governance Roles - A Comprehensive Library and EA Representation EVALUATED
Author: Maria Sofia Nogueira Cortes Martins (ist424820)
Coordenação: André Ferreira Ferrão Couto e Vasconcelos (ist14250)
-
Real-Time Vehicle Turning-Movement Counting using Object Detection and Tracking EVALUATED
Author: Mateus Da Silva Dias Líbano Monteiro (ist189506)
Coordenação: Alexandre José Malheiro Bernardino (ist13761) Helena Sofia Andrade Nunes Pereira Pinto (ist12906)
-
Metaobject Protocols for Julia EVALUATED
Author: Marcelo Cândido Melo dos Santos (ist189496)
Coordenação: António Paulo Teles de Menezes Correia Leitão (ist13451)
-
Comparing Incidental and Ambient Visualizations and their Impact on Task Performance EVALUATED
Author: Diogo de Melo Pinto (ist190710)
Coordenação: Daniel Jorge Viegas Gonçalves (ist13898) João Pedro Lavadinho Moreira (ist179003)
-
Mitigating Rogue Administrator Attacks in Democratic Institutions Using New Access Control Methods EVALUATED
Author: Maria Margarida Espanhol Lopes (ist186477)
Coordenação: Miguel Nuno Dias Alves Pupo Correia (ist130598)
-
FlowTGE: Automating Functional Testing of Executable Business Process Models Based on BPMN EVALUATED
Author: Tomás Barroso Ferreira Lopes (ist189552)
Coordenação: Sérgio Luís Proença Duarte Guerreiro (ist62654)
-
μ: A bolt-on approach for faster and cheaper serverless computing Exploring Parallelism and Resource Utilization in Serverless Computing EVALUATED
Author: Diogo Alexandre Silva Pacheco (ist189433)
Coordenação: Rodrigo Seromenho Miragaia Rodrigues (ist14022) João Pedro Faria Mendonça Barreto (ist45149)
-
AIWarp - Studying animated transitions between time compressed vis EVALUATED
Author: João Miguel Pereira Paquete (ist189477)
Coordenação: Daniel Jorge Viegas Gonçalves (ist13898) João Pedro Lavadinho Moreira (ist179003)
-
Decentralised Autonomous Organisations for Public Procurement EVALUATED
Author: Félix Saraiva (ist198752)
Coordenação: Miguel Nuno Dias Alves Pupo Correia (ist130598)
-
Live Metadata for Test262 EVALUATED
Author: Diogo Costa Reis (ist187526)
Coordenação: José Faustino Fragoso Femenin dos Santos (ist153921)
-
Compositional Qualities of Microfrontends: The LdoD Archive EVALUATED
Author: João Luís Pacheco Raimundo (ist149372)
Coordenação: António Manuel Ferreira Rito da Silva (ist12628)
-
Parkinson’s Disease Detection Based On Visual Speech EVALUATED
Author: Ana Margarida Catarino Ferro (ist186375)
Coordenação: Alberto Abad Gareta (ist90700) Isabel Maria Martins Trancoso (ist11803)
-
GameCourse – The Ultimate UI EVALUATED
Author: Joana Isabel Quintãs Sesinando (ist181583)
Coordenação: Daniel Jorge Viegas Gonçalves (ist13898)
-
Networking in Virtual Container Networks EVALUATED
Author: Bruno Freitas (ist198678)
Coordenação: Rui Jorge Morais Tomaz Valadas (ist126537)
2021/2022
-
On the Feeling of Acoustic and Visual Tension in Generative Art EVALUATED
Author: Andreia Nogueira de Matos (ist189413)
Coordenação: Carlos António Roque Martinho (ist14181)
-
StreamerWarp - Visualizing Big Data Streaming EVALUATED
Author: Afonso Mateus d'Avó Luís (ist424723)
Coordenação: Daniel Jorge Viegas Gonçalves (ist13898)
-
How neuroticism affects user interaction in high-dimensional data visualization EVALUATED
Author: Tiago Miguel Consciência Delgado (ist186521)
Coordenação: Sandra Pereira Gama (ist152404) Daniel Jorge Viegas Gonçalves (ist13898)
-
Dissertação - Visualização de Soluções para Posicionamento de Aceleradores de Partículas DRAFT
Author: Gil Barata Correia de Lacerda (ist164761)
Coordenação: Sandra Pereira Gama (ist152404)
-
Energy Profiling of User-Specified Code Sections EVALUATED
Author: Vladyslav Shumanskyy (ist186526)
Coordenação: Rodrigo Seromenho Miragaia Rodrigues (ist14022) José Carlos Alves Pereira Monteiro (ist12850)
-
A Study on Generating Q# Quantum Programs using aSequence-To-Sequence Machine Learning model EVALUATED
Author: Miguel Simplício Brinca Catalão Trinca (ist186490)
Coordenação: João Fernando Peixoto Ferreira (ist428178)
-
Voting system for idea evaluation: A web-based system where users can input and vote for ideas EVALUATED
Author: David Miguel FIgueiredo Honório (ist426243)
Coordenação:
-
A Comparative Study of Self-Supervised Learning Techniques for Functional Program Repair EVALUATED
Author: André Afonso Nunes Silva (ist189408)
Coordenação: João Fernando Peixoto Ferreira (ist428178)
-
Visualising the Decentralised Finance (DeFi and Cryptocurrencies) World EVALUATED
Author: Ricardo Caetano de Aleixo Gueifão (ist187699)
Coordenação: Catherine Ellen Anne Mulligan (ist429010) Duarte Nuno Jardim Nunes (ist132720)
-
A Digital Risk Reference Model EVALUATED
Author: Daniel Martins e Santos Ramalho (ist424745)
Coordenação: Miguel Leitão Bignolas Mira da Silva (ist13948)
-
Improving the Learnability of Converged Multi-Level Secure Systems Through an Integrated Onboarding Tutorial EVALUATED
Author: Francisco Da Cruz Correia Rocha (ist186414)
Coordenação: Augusto Emanuel Abreu Esteves (ist154298)
-
Students Temporal Profiling and e-Learning Resources Recommendation Based on NLP’s Terms Extraction EVALUATED
Author: André Filipe Valentim Picado (ist189410)
Coordenação: Claudia Martins Antunes (ist14046) Ana Isabel Baptista Moura Santos (ist12543)
-
Automatic Bug Prioritization of SmartBugs Reports using Machine Learning EVALUATED
Author: João Tiago Sousa Dinis (ist189485)
Coordenação: João Fernando Peixoto Ferreira (ist428178)
-
Automatic User Interface Generation EVALUATED
Author: Gonçalo Correia de Matos (ist181943)
Coordenação: Mário Alexandre Teles de Figueiredo (ist12403)
-
Real Estate Official Data Analysis for market prediction EVALUATED
Author: Mariana Bento Ferreira (ist186478)
Coordenação: Pedro Alexandre Simões dos Santos (ist12886)
-
Clustering with Missing Values: a deep learning approach EVALUATED
Author: Rita Tomás Caveirinha (ist197014)
Coordenação: Pedro Filipe Zeferino Tomás (ist409305) Helena Isabel Aidos Lopes (ist46223)
-
Task Allocation with BPM Tool EVALUATED
Author: Romana Maria Castanheira Lobo Ferreirinha Marques (ist424863)
Coordenação: Pedro Manuel Moreira Vaz Antunes de Sousa (ist12951)
-
Efficient Pre-training in Model-based Reinforcement Learning EVALUATED
Author: Bernardo Anjinho Esteves (ist187633)
Coordenação: Francisco António Chaves Saraiva de Melo (ist40236)
-
Delineating Boundaries using Deep One-Class Classification EVALUATED
Author: Francisco De Almeida Carvalho Matos (ist186415)
Coordenação: Bruno Emanuel Da Graça Martins (ist24686) Jacinto Paulo Simões Estima (ist429036)
-
Mimicking the Radiologists workflow in MRI Breast Classification EVALUATED
Author: Margarida Parrado Morais (ist186473)
Coordenação: Jacinto Carlos Marques Peixoto do Nascimento (ist33543) Carlos Jorge Andrade Mariz Santiago (ist158445)
-
Framing Vis - The Effect of Personality on the Framing Bias in Information Visualization EVALUATED
Author: Alexandra Santos Maroco (ist186369)
Coordenação: Daniel Jorge Viegas Gonçalves (ist13898) Sandra Pereira Gama (ist152404)
-
Microservice Decomposition for Transactional Causal Consistent Platforms EVALUATED
Author: Madalena Costa Gonçalves Carlos Santos (ist197085)
Coordenação: Luís Eduardo Teixeira Rodrigues (ist126480)
-
Adapting Multilingual Sentence Transformers for Unsupervised Key-Phrase Extraction from Long Documents EVALUATED
Author: Artur Rodrigues Abrantes Arede Guimarães (ist186389)
Coordenação: Bruno Emanuel Da Graça Martins (ist24686)
-
Type 2 Diabetes Management in Primary Healthcare - Using a Microsoft Power Virtual Agent EVALUATED
Author: Carolina Brites Sousa Vitorino (ist186394)
Coordenação: Miguel Leitão Bignolas Mira da Silva (ist13948)
-
-
Web BioSPPy+: Web Application for Biosignal Processing & Visualisation EVALUATED
Author: Diogo Rodrigues Loureiro (ist194053)
Coordenação: Sandra Pereira Gama (ist152404)
-
Development of a visual solution for genetic data analysis communication EVALUATED
Author: Frederico Paulo Lourenço Borlido (ist186425)
Coordenação: Ana Teresa Correia de Freitas (ist13136) Duarte Nuno Jardim Nunes (ist132720)
-
Classification of Chest X-Ray Images with Deep Neural Networks for Detecting COVID-19 EVALUATED
Author: Inês Vanessa Carneiro Filipe (ist186437)
Coordenação: Bruno Emanuel Da Graça Martins (ist24686) Arlindo Manuel Limede de Oliveira (ist12282)
-
Multivariate Time-Series Modeling of Shellfish Contamination with Dynamic Bayesian Networks EVALUATED
Author: Michael Sousa Madeira (ist194129)
Coordenação: Susana de Almeida Mendes Vinga Martins (ist14109) Alexandra Sofia Martins de Carvalho (ist45173)
-
[Dissertation] Exploit Generation for WebAssembly Code Through Symbolic Taint Analysis DRAFT
Author: João Pedro Lopes Borges (ist189482)
Coordenação: Pedro Miguel dos Santos Alves Madeira Adão (ist14151) José Faustino Fragoso Femenin dos Santos (ist153921)
-
Dissertation: Understanding Crypto Trading DRAFT
Author: Tiago Vladimiro Constantino Soares (ist178658)
Coordenação: Catherine Ellen Anne Mulligan (ist429010) Duarte Nuno Jardim Nunes (ist132720)
-
Context-based predictive models for medical emergencies EVALUATED
Author: João Lopes Palet de Almeida (ist186447)
Coordenação: Rui Miguel Carrasqueiro Henriques (ist156846) Vasco Miguel Gomes Nunes Manquinho (ist14221)
-
Dissertação - Visualização de Soluções para Posicionamento de Aceleradores de Partículas DRAFT
Author: Gil Barata Correia de Lacerda (ist164761)
Coordenação: Sandra Pereira Gama (ist152404)
-
Decentralized Regulation in the Race for AI Supremacy EVALUATED
Author: Lourenço Duarte de Passos Teodoro (ist186591)
Coordenação: Francisco João Duarte Cordeiro Correia dos Santos (ist25308)
-
Object-Oriented Database Edit and Analysis System EVALUATED
Author: Nuno João Rodrigues Gomes (ist198713)
Coordenação: Pedro Manuel Moreira Vaz Antunes de Sousa (ist12951)
-
Efficient Algorithms for Medical Image Segmentation EVALUATED
Author: José Miguel Ferreira Henriques de Oliveira Martinho (ist198689)
Coordenação: Arlindo Manuel Limede de Oliveira (ist12282)
-
Deep Residual Learning for Epileptic Seizure Prediction and Tools to Expedite Biosignal Research EVALUATED
Author: João Miguel Areias Saraiva (ist186449)
Coordenação: Hugo Humberto Plácido da Silva (ist46129) Ana Luísa Nobre Fred (ist12170)
-
Projecto: Robot Race DRAFT
Author: Eduardo Filipe Sousa Paiva (ist189441)
Coordenação: Alberto Manuel Ramos da Cunha (ist11959)
-
Question Generation for the Portuguese Language EVALUATED
Author: Rafael Alexandre Da Encarnação Galhoz (ist190769)
Coordenação: Bruno Emanuel Da Graça Martins (ist24686) Pedro Alexandre Simões dos Santos (ist12886)
-
Narrative-based Gamification for Physical Therapy EVALUATED
Author: Francisco Miguel de Oliveira Cecílio (ist189444)
Coordenação: Hugo Miguel Aleixo Albuquerque Nicolau (ist153934)
-
Automatic Creation of Fado Songs EVALUATED
Author: Mariana Torres Pereira de Oliveira (ist189504)
Coordenação: David Manuel Martins de Matos (ist13500)
-
Federated Learning in Financial Services EVALUATED
Author: Francisco Nunes Trindade Santos (ist186421)
Coordenação: Catherine Ellen Anne Mulligan (ist429010)
-
Automated testing of Persistent Memory applications EVALUATED
Author: Henrique Dominguez da Silva Nunes Fernandes (ist189458)
Coordenação: Miguel Ângelo Marques de Matos (ist427850)
-
Automated Program Repair of Arithmetic Programs in Dafny: Repairing Simple Arithmetic Programs EVALUATED
Author: Hugo Rafael Fecha Martins (ist190727)
Coordenação: João Fernando Peixoto Ferreira (ist428178)
-
Avatar Motion Reconstruction for Virtual Reality using a Machine Learning Approach EVALUATED
Author: Gonçalo Rôlo de Oliveira Bruno Moita (ist187661)
Coordenação: Daniel Simões Lopes (ist151462)
-
Session-Based Clothing Recommendation with Semantic and Aesthetic Information EVALUATED
Author: Rostislav Eduardovich Andreev (ist197040)
Coordenação: Carlos Jorge Andrade Mariz Santiago (ist158445) João Paulo Salgado Arriscado Costeira (ist12390)
-
Rigid Body Simulation with Extended Position Based Dynamics EVALUATED
Author: Miguel Luís Nunes Seabra Seabra (ist198659)
Coordenação: Daniel Simões Lopes (ist151462) João António Madeiras Pereira (ist12291)
-
Reasoning About Persistent and Concurrent Data Structures: Evaluating the Persistent Owicki-Gries Program Logic Through the Verification of a Persistent Queue EVALUATED
Author: Francisco de Andrade Mendes (ist187719)
Coordenação: João Fernando Peixoto Ferreira (ist428178)
-
A Social Robot to Support Children's Role-play EVALUATED
Author: Miguel de Sousa Pereira Mendes Azinheira (ist198725)
Coordenação: Filipa Isabel Nogueira Correia (ist169930) Hugo Miguel Aleixo Albuquerque Nicolau (ist153934)
-
Dissertation: Construction of Certified Software DRAFT
Author: Henrique Botelho Guerra (ist189456)
Coordenação: João Fernando Peixoto Ferreira (ist428178)
-
Towards Improving Ischemic Stroke Functional Outcome Prediction with Computed Tomography Brain Scans Using Deep Learning EVALUATED
Author: Gonçalo Rodrigues Alves Valente de Oliveira (ist189449)
Coordenação: Arlindo Manuel Limede de Oliveira (ist12282)
-
Letter Spirit and Machine Learning - Analogical Reasoning of Style and Content in the Typefaces Domain EVALUATED
Author: Inês Margarida Caetano Correia (ist189464)
Coordenação: Andreas Miroslaus Wichert (ist24622)
-
Platform-Independent Specifications of Robotic Process Automation Applications EVALUATED
Author: Carlos Jorge Martelo Correia (ist197409)
Coordenação: Alberto Manuel Rodrigues da Silva (ist13323)
-
ArticTern: Automated Code Migration EVALUATED
Author: Afonso Miguel Oliveira de Sousa Ribeiro (ist186752)
Coordenação: Vasco Miguel Gomes Nunes Manquinho (ist14221)
-
Dissertação: Day Trading in High Momentum Stocks with Multiple Algorithms DRAFT
Author: Tiago Miguel Agostinho Barroso (ist189549)
Coordenação: Rui Fuentecilla Maia Ferreira Neves (ist14409)
-
Dissertação: Meta-Object Protocols for Julia DRAFT
Author: Marcelo Cândido Melo dos Santos (ist189496)
Coordenação: António Paulo Teles de Menezes Correia Leitão (ist13451)
-
Dissertação: Ensino de Anatomia Aplicada à Cirurgia Dentária em Realidade Virtual DRAFT
Author: Bernardo Gonçalves de Faria (ist187636)
Coordenação: Daniel Simões Lopes (ist151462)
-
Trust in Human and Agent Societies Simulation based on Evolutionary Game Theory EVALUATED
Author: José António da Fonseca Nave (ist186590)
Coordenação: Ana Maria Severino de Almeida e Paiva (ist12371) Francisco João Duarte Cordeiro Correia dos Santos (ist25308)
-
A Study on Generative Augmentation with cGANs for improved Chest X-ray Classification EVALUATED
Author: Miguel Santos Coelho Ferreira Neves (ist189512)
Coordenação: Pedro Filipe Zeferino Aidos Tomás (ist146645)
-
Extraction of structural and semantic features for the identification of Psychosis in European Portuguese EVALUATED
Author: Rodrigo Borges Pessoa de Sousa (ist189535)
Coordenação: Helena Sofia Andrade Nunes Pereira Pinto (ist12906) Alberto Abad Gareta (ist90700)
-
Identifying Clinical Trajectories in Patients with Multimorbidity EVALUATED
Author: Rui Lopes Baeta (ist189276)
Coordenação: Mário Jorge Costa Gaspar da Silva (ist124073)
-
Dissertation: AIWarp - Studying animated transitions between time compressed vis DRAFT
Author: João Miguel Pereira Paquete (ist189477)
Coordenação: Daniel Jorge Viegas Gonçalves (ist13898)
-
Fish Tracking in Aquaria with an External Camera EVALUATED
Author: João Tomás Maia Lopes (ist190741)
Coordenação: Helena Sofia Andrade Nunes Pereira Pinto (ist12906) Alexandre José Malheiro Bernardino (ist13761)
-
Dissertação || EA.gov: Enterprise reference Architecture for GOVernment DRAFT
Author: Joana Isabel Almeida Kalomenopoulos Ferreira (ist189468)
Coordenação: André Ferreira Ferrão Couto e Vasconcelos (ist14250) Pedro Manuel Moreira Vaz Antunes de Sousa (ist12951)
-
GameCourse – The Next Level EVALUATED
Author: Catarina Passos Correia Quintino Gonçalves (ist190709)
Coordenação: Daniel Jorge Viegas Gonçalves (ist13898)
-
Impact of using InfoVis Strategies in Ticketing Analytics - Development of an Event Comparison Tool EVALUATED
Author: Daniel Abrantes Gonçalves (ist191004)
Coordenação: Sandra Pereira Gama (ist152404)
-
Quantifying the Costs of Conducting Human-Computer Interaction (HCI) research EVALUATED
Author: Miguel Pacheco Sequeira Dias (ist190757)
Coordenação: Augusto Emanuel Abreu Esteves (ist154298)
-
R-Check: A Reactive Checkpointing Approach for Serverless Computing EVALUATED
Author: Rafael Coelho Alexandre (ist189528)
Coordenação: Rodrigo Seromenho Miragaia Rodrigues (ist14022) João Pedro Faria Mendonça Barreto (ist45149)
-
Automated Multiplayer Playtesting through Quality-Diversity Optimisation EVALUATED
Author: Pedro José Ribeiro Tornada (ist191055)
Coordenação: Rui Filipe Fernandes Prada (ist32219) Manuel Fernando Cabido Peres Lopes (ist40208)
-
AuditChain: Blockchain views applied to auditing EVALUATED
Author: Afonso Marques (ist198707)
Coordenação: André Ferreira Ferrão Couto e Vasconcelos (ist14250)
-
Incidental Vis Incidental visualizations using augmented reality EVALUATED
Author: Francisco José Marques Seixas (ist424766)
Coordenação: Daniel Jorge Viegas Gonçalves (ist13898)
-
Monolith Microservices Identification: An Extensible Multiple Strategy Tool EVALUATED
Author: Telmo Domingues Lopes (ist189540)
Coordenação: António Manuel Ferreira Rito da Silva (ist12628)
-
Force Field calculation for Biomolecules EVALUATED
Author: Pedro José Pereira Elias (ist189519)
Coordenação: João António Madeiras Pereira (ist12291)
-
Maestro: An Extensible General-Purpose Data Gathering and Classification System EVALUATED
Author: Alexandre Maria Martins Magalhães Teixeira Serra (ist198697)
Coordenação: Alberto Manuel Rodrigues da Silva (ist13323)
-
Conversational Question Re-Writing EVALUATED
Author: Nichal Ashok Narotamo (ist198691)
Coordenação: Bruno Emanuel Da Graça Martins (ist24686)
-
SelfReDepth: a Self-Supervised Real-Time Depth Enhancement Solution for Consumer-Grade Sensors EVALUATED
Author: Alexandre Aires Duarte (ist189403)
Coordenação: João António Madeiras Pereira (ist12291)
-
Extending the Concert Framework to Verify Solana Programs EVALUATED
Author: João Maria Correia Ramalho Marcelino Gomes (ist189905)
Coordenação: João Fernando Peixoto Ferreira (ist428178) Pedro Miguel dos Santos Alves Madeira Adão (ist14151)
-
Exploring and Forecasting Nation-Wide Data of Blood donations and Demand EVALUATED
Author: Mariana Gonçalves Brejo (ist189501)
Coordenação: Pedro Tiago Gonçalves Monteiro (ist146963) Rui Miguel Carrasqueiro Henriques (ist156846)
-
Vibrating colours”: Crossmodal Correspondences between Haptics, Colour, and Emotions on Inclusive Social Robots EVALUATED
Author: Isabel Santos Ramos Soares (ist189466)
Coordenação: Hugo Miguel Aleixo Albuquerque Nicolau (ist153934) Ana Maria Severino de Almeida e Paiva (ist12371)
-
Automated Smart Fuzzing Vulnerability Testing EVALUATED
Author: João Afonso Lopes de Almeida Pinto Coutinho (ist189470)
Coordenação: Ricardo Jorge Fernandes Chaves (ist143817)
-
Data Formatting Synthesis by Example EVALUATED
Author: Pedro Miguel Sousa Nunes (ist189525)
Coordenação: Maria Inês Camarate de Campos Lynce de Faria (ist14029)
-
Dissertation: Leveraging eBPF with hardware memory transactions DRAFT
Author: Diogo Vaz Ramires Borges Ferrer (ist198747)
Coordenação: João Pedro Faria Mendonça Barreto (ist45149)
-
ISP: Information Security enterprise architecture Patterns EVALUATED
Author: André Santos Cordeiro (ist198712)
Coordenação: André Ferreira Ferrão Couto e Vasconcelos (ist14250) Miguel Nuno Dias Alves Pupo Correia (ist130598)
-
Preventing misinformation with a private blockchain: A case study on a news industry application EVALUATED
Author: Diogo Filipe Pinto Nogueira (ist198664)
Coordenação: Kevin Christopher Gallagher (ist429125)
-
Advanced Implementation of Mobile Applications EVALUATED
Author: Gabriel Batista de Almeida (ist189446)
Coordenação: Fernando Mira da Silva (ist12048)
-
An Inclusive and Scalable Crypto Economy - Blockchain for Green and Sustainable Economic Growth EVALUATED
Author: Nikoletta Matsur (ist189513)
Coordenação: Catherine Ellen Anne Mulligan (ist429010)
-
PyJL: A Source-to-Source Python Compiler to Julia EVALUATED
Author: Miguel Marcelino (ist198684)
Coordenação: António Paulo Teles de Menezes Correia Leitão (ist13451)
-
Transactional Memory for Processing-In-Memory Systems EVALUATED
Author: André Miguel Romeiro Faria Lopes (ist198675)
Coordenação: Paolo Romano (ist90476)
-
Dissertação: Efficient Data Structures with GraalVM Native Image DRAFT
Author: Roman Babynyuk (ist189536)
Coordenação: Rodrigo Fraga Barcelos Paulus Bruno (ist167074)
-
MyBigLife Extensible Geo-Temporal Lifelogging Framework EVALUATED
Author: Daniel Luis Lopes Serafim (ist189428)
Coordenação: Daniel Jorge Viegas Gonçalves (ist13898)
-
Towards Automatic Detection of Exploitable Vulnerabilities in WebAssembly Modules of Real-World Websites EVALUATED
Author: Daniel Maximiano Matos (ist189429)
Coordenação: Nuno Miguel Carvalho dos Santos (ist14261) Pedro Miguel dos Santos Alves Madeira Adão (ist14151)
-
Code Vectorization and Sequence of Accesses Strategies for Monolith Microservices Identification EVALUATED
Author: Vasco Faustino de Faria (ist189559)
Coordenação: António Manuel Ferreira Rito da Silva (ist12628)
-
Project: Smart Medicine Cabinet DRAFT
Author: Gonçalo Querido de Freitas (ist190604)
Coordenação: Teresa Maria Sá Ferreira Vazão Vasques (ist12922)
-
Dynamic Sensor Network for Air Quality Monitoring Using Sequential Decision-Making Under Uncertainty EVALUATED
Author: João Ribeiro Dias (ist189484)
Coordenação: Pedro Manuel Urbano de Almeida Lima (ist12116)
-
Project - Business Analytics System with Event-Driven Data Collection DRAFT
Author: João Pedro Pereira Esteves (ist178304)
Coordenação: Pedro Manuel Moreira Vaz Antunes de Sousa (ist12951)
-
Hybrid Approaches for Spatial Data Interpolation EVALUATED
Author: Marcos Domingues Barata (ist424814)
Coordenação: Bruno Emanuel Da Graça Martins (ist24686)
-
Evo DB - Bringing Evolutionary Database Design for Schema Editing Tools with a Version Control System EVALUATED
Author: Gonçalo Pereira da Costa (ist186428)
Coordenação: Paulo Jorge Fernandes Carreira (ist24950)
-
Domain Learning Through Dialog EVALUATED
Author: Filipe Vaz Reynaud (ist186412)
Coordenação: David Manuel Martins de Matos (ist13500)
-
Projecto: Kruptos 2: Cryptogaphic gateway for managing cellular network keys DRAFT
Author: Afonso Silvano Paredes (ist189401)
Coordenação: Ricardo Jorge Fernandes Chaves (ist143817)
-
Hyperparameter Optimisation and Guided Tuning on Weight Functions EVALUATED
Author: André Filipe Pinto Caetano Leitão (ist187629)
Coordenação: João Emílio Segurado Pavão Martins (ist11416)
-
INFORMATION SYSTEM PREFITESCOLA EVALUATED
Author: João Nuno Gameiro da Costa Martins Pedro (ist426626)
Coordenação: Arlindo Manuel Limede de Oliveira (ist12282)
-
Root Cause Analysis of Bias Detection and Classification in Natural Language Processing EVALUATED
Author: Ana Sofia Evans Fernandes (ist186379)
Coordenação: Maria Luísa Torres Ribeiro Marques da Silva Coheur (ist24630)
-
Durable Hardware Transactional Memory for Extended Asynchronous DRAM Refresh Architectures EVALUATED
Author: João Miguel Santos Falcão Moreno Pinheiro (ist153090)
Coordenação: João Pedro Faria Mendonça Barreto (ist45149) Paolo Romano (ist90476)
-
Argumentation mining from textual documents combining deep learning and reasoning EVALUATED
Author: Filipe Afonso Nicolau Nazaré Cerveira do Amaral (ist424759)
Coordenação: Bruno Emanuel Da Graça Martins (ist24686) Helena Sofia Andrade Nunes Pereira Pinto (ist12906)
-
Smart Home Energy Management EVALUATED
Author: João Gabriel Sofio Batista Peres Sabino (ist186446)
Coordenação: Alberto Manuel Ramos da Cunha (ist11959)
-
Breast screening through high resolution segmentation transformer with hierarchical approach for lesion segmentation in Mammograms EVALUATED
Author: Mauro José Sarmento Pinto Machado (ist170721)
Coordenação: Jacinto Carlos Marques Peixoto do Nascimento (ist33543) Carlos Jorge Andrade Mariz Santiago (ist158445)
-
Fast matroid intersection and applications EVALUATED
Author: Francisco Miguel Enxerto Sena (ist186420)
Coordenação: Alexandre Paulo Lourenço Francisco (ist14152)
-
Visualising the contribution of whales as a natural solution for climate change - Application with visualizations to raise awareness about the importance of whales to the atmosphere EVALUATED
Author: Miguel Pires Coelho (ist425914)
Coordenação: Duarte Nuno Jardim Nunes (ist132720)
-
Fluid Implicit Particle Simulation for CPU and GPU EVALUATED
Author: Pedro Pereira da Silva Anastácio Centeno (ist186501)
Coordenação: João António Madeiras Pereira (ist12291)
-
Persistence of Passwords in Bitwarden’s Browser Extension: Unnecessary Retention and Solutions EVALUATED
Author: Rafael Alexandre Silva Prates (ist196967)
Coordenação: João Fernando Peixoto Ferreira (ist428178)
-
Using autonomous vehicles to improve traffic conditions EVALUATED
Author: Sofia Afonso Campos de Carvalho (ist189539)
Coordenação: Francisco António Chaves Saraiva de Melo (ist40236) Ana Maria Severino de Almeida e Paiva (ist12371)
-
Multi-Modal Associative Memory: A framework for Artificial Intelligence EVALUATED
Author: Rodrigo Galante Branco Machado de Simas (ist181536)
Coordenação: Andreas Miroslaus Wichert (ist24622)
-
Dissertação: Virtual Reality with Applications in Radiology and Surgery (Collaborative Endoscopy) DRAFT
Author: João Nuno Lopes Serras (ist189478)
Coordenação: Joaquim Armando Pires Jorge (ist13909)
-
Dissertation An Explainable AI Fusion Algorithm for Predictions of COVID-19 Infections from Chest X-Ray Images DRAFT
Author: Gonçalo Homem de Gouveia Almeida (ist189448)
Coordenação: Joaquim Armando Pires Jorge (ist13909)
-
Transaction-Based Entity Monitoring in a Client Due Diligence Context EVALUATED
Author: Oleksandr Stopchak (ist190627)
Coordenação: Arlindo Manuel Limede de Oliveira (ist12282)
-
Dissertação: Business Processes Discovery & Enrichment using Artificial Intelligence techniques DRAFT
Author: João Pedro Veludo Parreiro (ist189483)
Coordenação: Sérgio Luís Proença Duarte Guerreiro (ist62654)
-
Automatic Patch Generation: Using Safety Properties to Extract Crash Constraints EVALUATED
Author: Duarte Manuel Coelho dos Santos (ist189438)
Coordenação: Pedro Miguel dos Santos Alves Madeira Adão (ist14151)
-
Diagnosis and Detection of Breast Cancer using Deep Multiple Instance Learning EVALUATED
Author: Pedro Malveiro Diogo (ist189521)
Coordenação: Jacinto Carlos Marques Peixoto do Nascimento (ist33543) Carlos Jorge Andrade Mariz Santiago (ist158445)
-
Deanonymization of Tor Onion Services with Acceleration-Based Watermarking EVALUATED
Author: Afonso Manuel Vieira Machado Barros de Carvalho (ist427000)
Coordenação: Diogo Miguel Barrinha Barradas (ist173578) Nuno Miguel Carvalho dos Santos (ist14261)
-
Pro(f)Social: a serious game to improve teachers’ bystander behaviour in cyberbullying situations EVALUATED
Author: Hélio Sandro Silva Martins (ist198692)
Coordenação: Carlos António Roque Martinho (ist14181)
-
Cryptocurrency price direction prediction through ensembles of machine learning algorithms allied with percentage resampling EVALUATED
Author: Pedro Gonçalo Silva Fernandes (ist189516)
Coordenação: Rui Fuentecilla Maia Ferreira Neves (ist14409)
-
Digital Services Assessment Framework EVALUATED
Author: Farzad Tehranian (ist198425)
Coordenação: André Ferreira Ferrão Couto e Vasconcelos (ist14250) Miguel Leitão Bignolas Mira da Silva (ist13948)
-
Gamified activity for learning perspective taking EVALUATED
Author: Miguel Alexandre Barroso da Costa Cardoso Monteiro (ist186596)
Coordenação: Ana Maria Severino de Almeida e Paiva (ist12371)
-
Analyzing the Double-descent Curve in Deep Learning EVALUATED
Author: Miguel da Silva Almeida (ist186484)
Coordenação: Andreas Miroslaus Wichert (ist24622)
-
Pretraining the Vision Transformer using self-supervised methods for vision-based deep reinforcement learning EVALUATED
Author: Manuel Filipe Silva Goulão (ist191049)
Coordenação: Arlindo Manuel Limede de Oliveira (ist12282)
-
On-line fall detection using wrist devices EVALUATED
Author: João José Tacanho Marques (ist189473)
Coordenação: Manuel Fernando Cabido Peres Lopes (ist40208)
-
MACHET3: multi-path communication with secret sharing EVALUATED
Author: João Miguel Do Ó Matos Soares (ist189475)
Coordenação: David Rogério Póvoa de Matos (ist424056) Miguel Filipe Leitão Pardal (ist14265)
-
[Dissertation] Predicting the success of a startup company DRAFT
Author: João Filipe Espírito Santo Porto (ist189472)
Coordenação: José Alberto Rodrigues Pereira Sardinha (ist25149)
-
A Virtual Reality platform for Scientific Visualization of Plasma Physics Simulation EVALUATED
Author: David São Miguel de Castro Brás (ist189432)
Coordenação: João António Madeiras Pereira (ist12291) Alfredo Manuel dos Santos Ferreira Júnior (ist14275)
-
A Method to Select Processes for Automation EVALUATED
Author: Diogo António Da Silva Costa (ist186971)
Coordenação: Miguel Leitão Bignolas Mira da Silva (ist13948)
-
Dissertation: State-based fault injection in distributed systems DRAFT
Author: Miguel Marques Mendes (ist186488)
Coordenação: Miguel Ângelo Marques de Matos (ist427850)
-
Data Analysis in Blockchain EVALUATED
Author: Miguel Afonso Rodrigues Hipólito Baptista (ist186481)
Coordenação: Miguel Leitão Bignolas Mira da Silva (ist13948)
-
Restart-Rollback: A Fault model for distributed systems with persistent state EVALUATED
Author: Baltasar Azevedo e Silva Dinis (ist189416)
Coordenação: Rodrigo Seromenho Miragaia Rodrigues (ist14022)
-
Performance Isolation in GraalVM Native Image Isolates EVALUATED
Author: Filipe Gomes Crispim de Sousa (ist181120)
Coordenação: Rodrigo Fraga Barcelos Paulus Bruno (ist167074) Luís Manuel Antunes Veiga (ist14191)
-
Projeto: GameCourse – The Ultimate UI Trazer a UI do GameCourse para o nível seguinte! DRAFT
Author: Joana Isabel Quintãs Sesinando (ist181583)
Coordenação: Daniel Jorge Viegas Gonçalves (ist13898)
-
IoT Smart Door Lock with Wireless Key Sharing for Tourism Applications EVALUATED
Author: Bernardo Cabral Marques (ist187634)
Coordenação: Helena Alexandra Sabala Ruivo da Cruz (ist178190)
-
Towards Assertiveness-based Interactive Agents with Different Behaviours for Breast Cancer Diagnosis EVALUATED
Author: João Gabriel de Matos Fernandes (ist198693)
Coordenação: Jacinto Carlos Marques Peixoto do Nascimento (ist33543)
-
Robust Machine Translation Evaluation Focusing on Critical Errors EVALUATED
Author: Duarte Miguel Rodrigues dos Santos Marques Alves (ist189439)
Coordenação: André Filipe Torres Martins (ist46911) Ricardo Costa Dias Rei (ist178047)
-
Automatic detection of forest fires: a deep learning approach - Exploiting data augmentation for the development of early forest fire detection systems EVALUATED
Author: Miguel Duarte Gonçalves (ist190754)
Coordenação: Pedro Filipe Zeferino Aidos Tomás (ist146645)
-
Arquitetura Empresarial para Organização Pública EVALUATED
Author: Tiago José Figueiredo Lopes (ist186518)
Coordenação: Pedro Manuel Moreira Vaz Antunes de Sousa (ist12951)
-
Optimization models for IPST blood collection EVALUATED
Author: Tomás Ferrage Durão Inácio (ist189553)
Coordenação: Pedro Tiago Gonçalves Monteiro (ist146963) Maria Inês Camarate de Campos Lynce de Faria (ist14029)
-
Blockchain System Compliant with GDPR EVALUATED
Author: Ricardo Martins Gonçalves (ist198668)
Coordenação: Miguel Leitão Bignolas Mira da Silva (ist13948)
-
Agents for Good: Effects of Behavioral Variations, Uncertainty and Reciprocation on an Asymmetric Collective-risk Dilemma EVALUATED
Author: Paulo Neves Alexandre (ist190761)
Coordenação: Joana Carvalho Filipe de Campos (ist155848) Ana Maria Severino de Almeida e Paiva (ist12371)
-
Flipped Learning with Interactive Videos EVALUATED
Author: João Miguel Fernandes Fonseca (ist189476)
Coordenação: Miguel Leitão Bignolas Mira da Silva (ist13948)
-
Recommendation of Fitness Venues Using Graph Neural Networks EVALUATED
Author: Pedro Miguel Águas Marques (ist198682)
Coordenação: Pável Pereira Calado (ist14497) Bruno Emanuel Da Graça Martins (ist24686)
-
Dissertation: Elastic Scaling of Cloud Hosted Machine Learning-based Services DRAFT
Author: André Moreira Correia (ist189412)
Coordenação: Paolo Romano (ist90476)
-
Predicting Motion Sickness in VR EVALUATED
Author: Tiago Manuel Severino Gonçalves (ist189547)
Coordenação: Rui Filipe Fernandes Prada (ist32219) Joaquim Armando Pires Jorge (ist13909)
-
Preserving Natural and Cultural Heritage with the power of Transient Non-fungible Tokens EVALUATED
Author: Tiago Rafael Lucena da Silva (ist198797)
Coordenação: Catherine Ellen Anne Mulligan (ist429010) Valentina Nisi (ist428788)
-
Learning to perceive in deep model-free reinforcement learning EVALUATED
Author: Gonçalo Dos Santos Querido (ist189447)
Coordenação: Francisco António Chaves Saraiva de Melo (ist40236) José Alberto Rodrigues Pereira Sardinha (ist25149)
-
(Projecto) People module's development on Fullsight's product DRAFT
Author: Hugo Filipe Dias Marques (ist189460)
Coordenação: João Carlos Serrenho Dias Pereira (ist13501)
-
DISSERTAÇÃO: Assistente de simplificação de textos DRAFT
Author: Vítor Duarte Castro (ist424877)
Coordenação: Nuno João Neves Mamede (ist12099)
-
NIBOXI: Enhancing sharded blockchains with a consensusless fast-path EVALUATED
Author: Rafael Aldinhas Poças (ist189527)
Coordenação: João Pedro Faria Mendonça Barreto (ist45149) Miguel Ângelo Marques de Matos (ist427850)
-
Feature Engineering through the Exploration of Domain Knowledge EVALUATED
Author: Tiago Francisco Duarte Afonso (ist189546)
Coordenação: Claudia Martins Antunes (ist14046)
-
Towards Finite Field Primitives in Network Switches EVALUATED
Author: Daniel Gouveia da Costa Seara (ist189427)
Coordenação: Fernando Manuel Valente Ramos (ist428757)
-
PUFS-Inc: An Incremental Synthesizer of OutSystems Logic EVALUATED
Author: Andreia Sofia Suzano Pereira (ist189414)
Coordenação: Maria Inês Camarate de Campos Lynce de Faria (ist14029)
-
Neural Models for Generating Clinically Accurate Chest X-Ray Reports EVALUATED
Author: André Leite (ist198620)
Coordenação: Bruno Emanuel Da Graça Martins (ist24686) Arlindo Manuel Limede de Oliveira (ist12282)
-
Automatic Hate Speech Detection in Portuguese Social Media Text EVALUATED
Author: Bernardo Cunha Matos (ist189419)
Coordenação: Paula Cristina Quaresma da Fonseca Carvalho (ist31564)
-
Extensible and Flexible Multi-Factor Authentication for an Online Banking Platform EVALUATED
Author: Henrique Capitão Completo (ist189457)
Coordenação: Nuno Miguel Carvalho dos Santos (ist14261)
-
Dissertação: Reinforcement Learning Techniques applied to the game “Diplomacy” DRAFT
Author: André Jardim Fernandes de Araújo (ist189411)
Coordenação: Pedro Alexandre Simões dos Santos (ist12886)
-
Increasing Readability of Large Networks Visualizations EVALUATED
Author: Beatriz Evangelho Feliciano (ist189417)
Coordenação: Sandra Pereira Gama (ist152404)
-
Dissertation: Green Mining and Minting for Blockchain and Cryptocurrencies DRAFT
Author: João Luís Ambrósio Limeiro (ist198702)
Coordenação: Catherine Ellen Anne Mulligan (ist429010)
-
Old photo and image restoration using deep learning techniques EVALUATED
Author: José Luciano dos Reis Pereira (ist198704)
Coordenação: Arlindo Manuel Limede de Oliveira (ist12282)
-
Semi-Automatic Selection and Annotation of Hate Speech from Social Media EVALUATED
Author: Raquel Bento Santos (ist189533)
Coordenação: Paula Cristina Quaresma da Fonseca Carvalho (ist31564)
-
Fake News Creative Explanations Through the Use of Poetry A Comparison Study and Fine-Tuning Approach EVALUATED
Author: André Filipe Anselmo Santos (ist191000)
Coordenação: Helena Sofia Andrade Nunes Pereira Pinto (ist12906)
-
Inverse Algorithmic Design: Automatic Conversion of Floor Plan Images into Computer Programs EVALUATED
Author: João Carlos Morgado David (ist189471)
Coordenação: António Paulo Teles de Menezes Correia Leitão (ist13451)
-
Monolith Development History for Microservices Identification: a Comparative Analysis EVALUATED
Author: João Pedro de Oliveira Estudante Lourenço (ist190738)
Coordenação: António Manuel Ferreira Rito da Silva (ist12628)
-
Ray Tracing Explorer in VR EVALUATED
Author: Lídia Gómez Custódio (ist189492)
Coordenação: Alfredo Manuel dos Santos Ferreira Júnior (ist14275) João António Madeiras Pereira (ist12291)
-
Enterprise Architecture in an Agile world EVALUATED
Author: David Pereira (ist198685)
Coordenação: Pedro Manuel Moreira Vaz Antunes de Sousa (ist12951)
-
Window Based Monitoring: Packet Drop Detection in the Network Data Plane EVALUATED
Author: Afonso de Paiva e Pona Corte-Real Gonçalves (ist189399)
Coordenação: Fernando Manuel Valente Ramos (ist428757) Luís Eduardo Teixeira Rodrigues (ist126480)
-
DISSERTAÇÃO : Neural Retrieval Models for the Portuguese Language DRAFT
Author: Duarte Ramos Miranda (ist189440)
Coordenação: Bruno Emanuel Da Graça Martins (ist24686)
-
ArgumentNext - Visualizing arguments in the real world EVALUATED
Author: Ana Sofia Marques Silva (ist189407)
Coordenação: Daniel Jorge Viegas Gonçalves (ist13898) Bruno Emanuel Da Graça Martins (ist24686)
-
Projecto: FollowME! - Passeios pedestres digitais DRAFT
Author: Guilherme André De Jesus Dias Nunes (ist189450)
Coordenação: Vanessa Quintal Cesário (ist428974)
-
Development of a SCION router towards a secure Internet EVALUATED
Author: Bernardo António Santos Silva Lima Conde (ist189418)
Coordenação: Fernando Manuel Valente Ramos (ist428757)
-
Federated Learning for Predicting the Next Node in Action Flows EVALUATED
Author: Daniel Francisco Lopes (ist189426)
Coordenação: Luís Eduardo Teixeira Rodrigues (ist126480)
-
Automatic Rule Generation for Network Intrusion Detection Systems EVALUATED
Author: João Cruz (ist198699)
Coordenação: Nuno Miguel Carvalho dos Santos (ist14261)
-
SureThing qualified signatures - strong and legally-binding location Certificates EVALUATED
Author: Tiago Alexandre Teixeira Fonseca (ist189542)
Coordenação: Miguel Filipe Leitão Pardal (ist14265) Ricardo Jorge Fernandes Chaves (ist143817)
-
Formal Specification and Verification of the Lazy JellyFish Skip List: A Case Study in Iris on the Verification of Concurrent Maps with Version Control EVALUATED
Author: Pedro Luís Ribeiro Carrott (ist189520)
Coordenação: João Fernando Peixoto Ferreira (ist428178)
-
NDRank: A Distributed Search System for Weather Analogues EVALUATED
Author: David Diogo Martins (ist189430)
Coordenação: João Nuno De Oliveira e Silva (ist14028)
-
GLITCH: Polyglot Code Smell Detection for Infrastructure as Code EVALUATED
Author: Nuno Filipe Marques Saavedra da Silva (ist189514)
Coordenação: João Fernando Peixoto Ferreira (ist428178)
-
Simulation of collaboration networks in software development EVALUATED
Author: José Miguel Pereira Gomes (ist189490)
Coordenação: Francisco João Duarte Cordeiro Correia dos Santos (ist25308) António Manuel Ferreira Rito da Silva (ist12628)
-
Dissertation: Improving decentralized data-plane emulation DRAFT
Author: João Vieira (ist198624)
Coordenação: Fernando Manuel Valente Ramos (ist428757) Miguel Ângelo Marques de Matos (ist427850)
-
Deduplication vs Privacy Tradeoffs in Cloud Storage EVALUATED
Author: Rodrigo de Magalhães Marques dos Santos Silva (ist198666)
Coordenação: Miguel Nuno Dias Alves Pupo Correia (ist130598) Luís Eduardo Teixeira Rodrigues (ist126480)
-
Combining Rigorous Requirements Specifications with Low-Code Platforms to Rapid Development Software Business Applications EVALUATED
Author: Pedro Miguel da Silva Galhardo (ist189522)
Coordenação: Alberto Manuel Rodrigues da Silva (ist13323)
-
Digital Transformation Process Framework EVALUATED
Author: Ana Madalena Santos Valadares (ist424728)
Coordenação: Miguel Leitão Bignolas Mira da Silva (ist13948)
-
Optimization of Cloud Storage Costs Through Efficient Data Placement EVALUATED
Author: Enrico Giorio (ist197969)
Coordenação: Paolo Romano (ist90476)
-
[Dissertation] A modern JavaScript compiler DRAFT
Author: Rafael Rosa Rahal (ist197936)
Coordenação: José Faustino Fragoso Femenin dos Santos (ist153921)
2020/2021
-
From Music to Animations, A Computational Creativity Approach EVALUATED
Author: Isabel Rego Raposo (ist181524)
Coordenação: Helena Sofia Andrade Nunes Pereira Pinto (ist12906)
-
Using Randomized Byzantine Consensus to Improve Blockchain Resilience under Attack EVALUATED
Author: Afonso Garcia Louro do Nascimento e Oliveira (ist186367)
Coordenação: Rodrigo Seromenho Miragaia Rodrigues (ist14022)
-
Accelerating Machine Learning with GASPI-based Parameter Servers EVALUATED
Author: Rafael Pestana de Andrade (ist186503)
Coordenação: Rodrigo Seromenho Miragaia Rodrigues (ist14022) João Pedro Faria Mendonça Barreto (ist45149)
-
Drones in Lab EVALUATED
Author: Alexandre Duarte Correia Guerra (ist186370)
Coordenação: Alberto Manuel Ramos da Cunha (ist11959)
-
SpecTacle - A platform agnostic analysis tool for detecting Spectre-PHT gadgets in binaries EVALUATED
Author: Pedro Miguel Sousa Bernardo (ist186500)
Coordenação: Pedro Miguel dos Santos Alves Madeira Adão (ist14151)
-
Bottom-up Ontology for IT Skills EVALUATED
Author: Pedro Miguel Nunes Cunha (ist423293)
Coordenação: Miguel Leitão Bignolas Mira da Silva (ist13948)
-
STAKE: Secure Tracing of Anomalies using previous Knowledge and Extensions EVALUATED
Author: Kevin Batista Corrales (ist194131)
Coordenação: Miguel Filipe Leitão Pardal (ist14265)
-
Telemedicine Platform to Support Monitoring and Assessment of Depressive Disorder EVALUATED
Author: Diogo Alexandre Boasinha Ribeiro Ramalho (ist186407)
Coordenação: João Miguel Raposo Sanches (ist13412)
-
Projeto: A Physically-based Rendering Course with Falcor DRAFT
Author: Lucas Lima Silva (ist196962)
Coordenação: João António Madeiras Pereira (ist12291)
-
Attractor reachability estimation in logical models EVALUATED
Author: Yu Cheng (ist197282)
Coordenação: Pedro Tiago Gonçalves Monteiro (ist146963)
-
Agents in a game for the good of humanity - Effects of Intergroup Competition on the Collective Risk Dilemma EVALUATED
Author: André João Beja Guerra (ist186382)
Coordenação: Ana Maria Severino de Almeida e Paiva (ist12371) Francisco João Duarte Cordeiro Correia dos Santos (ist25308)
-
Refining High-Level Specifications of Decentralized Finance Protocols to EVM bytecode using the K framework EVALUATED
Author: Tiago Luís Sardinha Bernardo Cabral Barbosa (ist186519)
Coordenação: João Fernando Peixoto Ferreira (ist428178)
-
Generative Deep Clustering with the Hierarchical and Relativistic Wasserstein Autoencoder GAN EVALUATED
Author: Gustavo Augusto Toscano Morais (ist197152)
Coordenação: Pedro Filipe Zeferino Aidos Tomás (ist146645)
-
A Static Analysis-based Platform-as-Service to Improve the Quality of Smart Contracts EVALUATED
Author: Dinis Antunes Palha de Araújo (ist186406)
Coordenação: João Fernando Peixoto Ferreira (ist428178)
-
Giving Voice to Stroke Survivors and Caregivers: Co-designing Technologies for Rehabilitation Activities EVALUATED
Author: Marta Morais Baeta Domingos Ambrósio (ist186479)
Coordenação: Hugo Miguel Aleixo Albuquerque Nicolau (ist153934)
-
Optimization of Data Cleaning Programs with User-Defined Functions EVALUATED
Author: João Pedro Monteiro Oliveira da Silva Caetano (ist186452)
Coordenação: Helena Isabel De Jesus Galhardas (ist13078)
-
Temporal Models for the Prediction of Rheumatic Disease Prescription Outcomes EVALUATED
Author: Jorge Rebelo Albergaria Pacheco (ist186457)
Coordenação: Susana de Almeida Mendes Vinga Martins (ist14109) Alexandra Sofia Martins de Carvalho (ist45173)
-
Explaining Parkinson’s Disease Computational Diagnostic based on Speech Analysis EVALUATED
Author: Artur Oliveira Fortunato (ist186388)
Coordenação: Alberto Abad Gareta (ist90700) David Manuel Martins de Matos (ist13500)
-
Automatic Chart Interpretation EVALUATED
Author: Catarina Julião Relvas Pires (ist197002)
Coordenação: Vasco Miguel Gomes Nunes Manquinho (ist14221) Maria Inês Camarate de Campos Lynce de Faria (ist14029)
-
[Dissertação] Fast matroid intersection and applications DRAFT
Author: Francisco Miguel Enxerto Sena (ist186420)
Coordenação: Alexandre Paulo Lourenço Francisco (ist14152)
-
MEDO: MEDical Omnichannel Services Reference Architecture EVALUATED
Author: Francisco Alexandre Neves da Silva Coutinho Casaca (ist186413)
Coordenação: André Ferreira Ferrão Couto e Vasconcelos (ist14250)
-
Automatic detection of forest fires: a deep learning approach EVALUATED
Author: André de Assunção Marrucho (ist186381)
Coordenação: Nuno Filipe Valentim Roma (ist14359) Pedro Filipe Zeferino Aidos Tomás (ist146645)
-
Chronicles of Crime: Alexa, the Little Assistant Detective: Using the Smart Assistant Alexa as a voice interface to play the board-game Chronicles of Crime EVALUATED
Author: Miguel Cardoso Valério (ist186483)
Coordenação: Maria Luísa Torres Ribeiro Marques da Silva Coheur (ist24630) Rui Filipe Fernandes Prada (ist32219)
-
GradeMe – Understanding how personal relationships between students affect peer grading in a distance learning environment EVALUATED
Author: Francisco do Canto Sousa (ist186416)
Coordenação: Daniel Jorge Viegas Gonçalves (ist13898)
-
High-Performance Machine Learning in Biomedicine: Towards Efficient Epistasis Detection EVALUATED
Author: Pedro de Castro Pina Capelo Antunes (ist186493)
Coordenação: Leonel Augusto Pires Seabra de Sousa (ist13348) Aleksandar Ilic (ist166430)
-
Ambulance Assignment for Medical Emergencies EVALUATED
Author: João Bernardo Correia da Silva (ist186442)
Coordenação: Vasco Miguel Gomes Nunes Manquinho (ist14221) Maria Inês Camarate de Campos Lynce de Faria (ist14029)
-
Head Pointing in Extended Reality: Dwell Detection while Walking EVALUATED
Author: Renato Vivo Bernardino (ist186504)
Coordenação: Augusto Emanuel Abreu Esteves (ist154298)
-
Dissertation: Using Natural Language Processing to Find Bugs in Java Source Code DRAFT
Author: Alexandre Simão Pereira Faria (ist197005)
Coordenação: João Fernando Peixoto Ferreira (ist428178) Alberto Abad Gareta (ist90700)
-
Dissertation: Using approximate computing to reduce energy consumption in large-scale parallel computations DRAFT
Author: Vladyslav Shumanskyy (ist186526)
Coordenação: Rodrigo Seromenho Miragaia Rodrigues (ist14022) João Pedro Faria Mendonça Barreto (ist45149)
-
Inclusive’R’Stories: Making storytelling inclusive through a multisensory prototype and an emotional robot EVALUATED
Author: Cristiana Maria Silveira Antunes (ist186398)
Coordenação: Hugo Miguel Aleixo Albuquerque Nicolau (ist153934) Ana Maria Severino de Almeida e Paiva (ist12371)
-
A Microfrontend for Digital Humanities Repositories: The LdoD Archive EVALUATED
Author: Lucas Alcobia Perry (ist186462)
Coordenação: António Manuel Ferreira Rito da Silva (ist12628)
-
Improving Differentiable Neural Architecture Search with Sparse Connections and Model Pruning EVALUATED
Author: Martin Mirakyan (ist194771)
Coordenação: Bruno Emanuel Da Graça Martins (ist24686) Paolo Romano (ist90476)
-
Simply Eat - Restaurant Request and Managing System Solution Using Mobile Applications EVALUATED
Author: Diogo Marante Pereira (ist186409)
Coordenação: Duarte Nuno Jardim Nunes (ist132720)
-
[Dissertation] Unveiling progression patterns in Neurodegenerative Diseases DRAFT
Author: Rita Tomás Caveirinha (ist197014)
Coordenação: Helena Isabel Aidos Lopes (ist46223) Pedro Filipe Zeferino Aidos Tomás (ist146645)
-
Climate action in a world of complex ties EVALUATED
Author: Madalena Branco Varanda da Silva Galrinho (ist187546)
Coordenação: Francisco João Duarte Cordeiro Correia dos Santos (ist25308)
-
AstroChain: Proof-of-Space with Random Beacons EVALUATED
Author: João Vasco Estrela Martinho (ist186454)
Coordenação: João Pedro Faria Mendonça Barreto (ist45149) Miguel Ângelo Marques de Matos (ist427850)
-
Audio-driven Gaze Input for Off-Screen Interaction in Videogames EVALUATED
Author: Ana Rita Domingos de Abreu (ist186378)
Coordenação: Augusto Emanuel Abreu Esteves (ist154298)
-
MyInfo - Travel Planning Development of a multimodal travel assistant considering public transports EVALUATED
Author: Rafael Alexandre de Mestre Pinto (ist197153)
Coordenação: Alberto Manuel Ramos da Cunha (ist11959)
-
Mobility Analysis of Tourism in Madeira Island EVALUATED
Author: Pedro Miguel Alves Barbosa (ist186495)
Coordenação: Duarte Nuno Jardim Nunes (ist132720)
-
Projeto: Web BioSPPy+ DRAFT
Author: Diogo Rodrigues Loureiro (ist194053)
Coordenação: Sandra Pereira Gama (ist152404)
-
A Modular Architecture for Model-Based Deep Reinforcement Learning EVALUATED
Author: Tiago João Gaspar Ribeiro de Oliveira (ist186517)
Coordenação: Arlindo Manuel Limede de Oliveira (ist12282)
-
Improved platform for side-channel attacks resistance analysis and evaluation EVALUATED
Author: Rodrigo João Fraga Lima (ist424862)
Coordenação: Ricardo Jorge Fernandes Chaves (ist143817)
-
TimeWarp: Animated transitions in big data streaming visualizations EVALUATED
Author: Miguel António Oliveira Rocha (ist186482)
Coordenação: Daniel Jorge Viegas Gonçalves (ist13898)
-
Designing and Implementing a RTS-like management game EVALUATED
Author: Nuno Miguel Leitão Afonso (ist186491)
Coordenação: Pedro Alexandre Simões dos Santos (ist12886)
-
Local Web Application Development, Framework Proposal and Demonstration on Two Case Studies EVALUATED
Author: Diogo Miguel de Mello Caldeira Reis Almiro (ist193967)
Coordenação: Helena Sofia Andrade Nunes Pereira Pinto (ist12906) José Luís Brinquete Borbinha (ist13085)
-
The Impact of Locus of Control on the Anchoring Effect EVALUATED
Author: Ricardo Caetano Velhinho (ist186505)
Coordenação: Sandra Pereira Gama (ist152404) Daniel Jorge Viegas Gonçalves (ist13898)
-
Functional characterization of transcriptional regulatory networks of yeast species EVALUATED
Author: Paulo Alexandre Cardoso Dias (ist186492)
Coordenação: Pedro Tiago Gonçalves Monteiro (ist146963) Andreia Sofia Monteiro Teixeira (ist158600)
-
Dissertação - MOOC Técnico adherence prediction DRAFT
Author: Pedro Teixeira Pires (ist197271)
Coordenação: Claudia Martins Antunes (ist14046) Ana Isabel Baptista Moura Santos (ist12543)
-
A Censorship-Resistant Publish-Subscribe System Based on WebRTC Covert Channels EVALUATED
Author: Pedro Miguel Bernardino Custódio (ist186496)
Coordenação: Nuno Miguel Carvalho dos Santos (ist14261)
-
Formal Verification of Password Generation Algorithms used in Password Managers EVALUATED
Author: Miguel Proença Tavares Ferreira Grilo (ist186489)
Coordenação: João Fernando Peixoto Ferreira (ist428178)
-
Cross-Reality in public speaking using Immersive Speculative Enactments EVALUATED
Author: João Maria Cardoso de Resende Gomes (ist187673)
Coordenação: Augusto Emanuel Abreu Esteves (ist154298)
-
PETA: Privacy by design EnTerprise Architecture patterns EVALUATED
Author: Maria Guerreiro Dias Coelho (ist424815)
Coordenação: André Ferreira Ferrão Couto e Vasconcelos (ist14250) Pedro Manuel Moreira Vaz Antunes de Sousa (ist12951)
-
Project: Energy Management for Smart Homes DRAFT
Author: João Gabriel Sofio Batista Peres Sabino (ist186446)
Coordenação: Renato Jorge Caleira Nunes (ist12102)
-
XS-Leaks protections deployment and Development of a Configurable Fetchmetadata Middleware EVALUATED
Author: José Armando Marques da Silva (ist197077)
Coordenação: Pedro Miguel dos Santos Alves Madeira Adão (ist14151)
-
Player-based Adaptive Tutorials for Games EVALUATED
Author: Victor Manuel Gomes Ribeiro (ist197075)
Coordenação: Carlos António Roque Martinho (ist14181)
-
SurePresence: Location Proofs for Wearable and Kiosk Devices EVALUATED
Author: Miguel Cordeiro Francisco (ist188080)
Coordenação: Miguel Filipe Leitão Pardal (ist14265) Hugo Miguel Aleixo Albuquerque Nicolau (ist153934)
-
Perception of Emotion Expression in Synthetic Characters EVALUATED
Author: Taíssa Haupt Ribeiro (ist186514)
Coordenação: Carlos António Roque Martinho (ist14181)
-
Using Bayesian Networks to Support Believable Expression of Emotions in Games EVALUATED
Author: José Afonso Baptista Vieira (ist186458)
Coordenação: Carlos António Roque Martinho (ist14181)
-
Biomarkers of sleep disorders EVALUATED
Author: António Moura Sarmento de Magalhães Vieira (ist186387)
Coordenação: Alberto Abad Gareta (ist90700) Isabel Maria Martins Trancoso (ist11803)
-
Traceless Execution Support for Privacy Enhancing Technologies EVALUATED
Author: Daniela Gorjão Lopes (ist186403)
Coordenação: Nuno Miguel Carvalho dos Santos (ist14261)
-
Internet Traffic Anomaly Warning Tool EVALUATED
Author: Rodrigo Gil Bento Nobre (ist426062)
Coordenação: João Coelho Garcia (ist14139)
-
Business Logic Migration: From Monolith to Microservices Architecture EVALUATED
Author: João Henrique Marques de Freitas (ist187671)
Coordenação: António Manuel Ferreira Rito da Silva (ist12628)
-
Personality-Based Reward Sharing In Cooperative Games EVALUATED
Author: Francisco José da Silva Rosa (ist186417)
Coordenação: Carlos António Roque Martinho (ist14181)
-
Evaluation of crash-consistency in Persistent Memory Applications EVALUATED
Author: João Pedro Dias Margaço (ist186451)
Coordenação: Miguel Ângelo Marques de Matos (ist427850) Shady Alaaeldin Mohamed Abdelkader Rabie Issa (ist180054)
-
Conveying Believable Emotions Through Control Modulation EVALUATED
Author: João Miguel Mendez Patrício (ist197046)
Coordenação: Carlos António Roque Martinho (ist14181)
-
Dissertação: ITLingo/GenTechnicalDocs: Produção Automática de Documentação Técnica DRAFT
Author: João Miguel Nunes Tavares Rodrigues (ist424786)
Coordenação: Alberto Manuel Rodrigues da Silva (ist13323)
-
Generating Realistic Sign Language Animations EVALUATED
Author: Inês Moutinho de Gouveia Correia de Lacerda (ist186436)
Coordenação: Maria Luísa Torres Ribeiro Marques da Silva Coheur (ist24630) Hugo Miguel Aleixo Albuquerque Nicolau (ist153934)
-
Dissertation: LGP-Dictionary: A Gesture-based Dictionary for Portuguese Sign Language DRAFT
Author: Catarina Maria Lima Fernandes Gonçalves (ist186397)
Coordenação: Hugo Miguel Aleixo Albuquerque Nicolau (ist153934)
-
Acronym and Definition Extraction EVALUATED
Author: João Ricardo dos Santos Teixeira Peralta Casanova (ist186453)
Coordenação: Helena Isabel De Jesus Galhardas (ist13078)
-
Sentiment-Aware Conversational Agent EVALUATED
Author: Isabel de Lima Henriques Dias (ist426026)
Coordenação: Maria Luísa Torres Ribeiro Marques da Silva Coheur (ist24630)
-
Location Certificate Transparency EVALUATED
Author: Pedro Miguel Matias Carvalho (ist186499)
Coordenação: Miguel Filipe Leitão Pardal (ist14265)
-
Building chatbots for customer support: fast and serious EVALUATED
Author: Diogo André Barradas Fernandes (ist186408)
Coordenação: Maria Luísa Torres Ribeiro Marques da Silva Coheur (ist24630)
-
Improving the Performance of Deep Neural Networks in Vision Tasks with Attention Mechanisms - Using Attention in Medical Imaging Use Cases EVALUATED
Author: Rafael Gamanho Pedro (ist186502)
Coordenação: Arlindo Manuel Limede de Oliveira (ist12282)
-
Constrained IoT authentication in Cloud services EVALUATED
Author: Tomás Ribeiro da Silva (ist425165)
Coordenação: Ricardo Jorge Fernandes Chaves (ist143817)
-
(Projeto) Process Control-Flow Discovery DRAFT
Author: Hugo Martins Dias Simões Monteiro (ist176058)
Coordenação: José Luís Brinquete Borbinha (ist13085)
-
[Dissertação]: De música para uma sequência de imagens DRAFT
Author: Isabel Rego Raposo (ist181524)
Coordenação: Helena Sofia Andrade Nunes Pereira Pinto (ist12906)
-
Autonomous Vehicles Ontology EVALUATED
Author: Cecília Inês Oliveira Lopes Baltazar (ist424744)
Coordenação: Miguel Leitão Bignolas Mira da Silva (ist13948)
-
Using Knowledge Graphs to model Digital Footprints EVALUATED
Author: André Carlos Ruano Andrade Cavalheiro (ist425300)
Coordenação: Arlindo Manuel Limede de Oliveira (ist12282)
-
ECMA-SL - A Platform for Specifying and Running the ECMAScript Standard EVALUATED
Author: Luís Miguel Alves Loureiro (ist194070)
Coordenação: José Faustino Fragoso Femenin dos Santos (ist153921)
-
Bats Across Lisbon - A pervasive scavenger-hunt gaming experience to promote the bat preservation cause and eco-friendly entertainment EVALUATED
Author: Rafael de Sousa Martins (ist182034)
Coordenação: Duarte Nuno Jardim Nunes (ist132720) Valentina Nisi (ist428788)
-
Secure Documents in Collaborative Environments EVALUATED
Author: João Alexandre Faustino de Oliveira (ist181670)
Coordenação: José Manuel da Costa Alves Marques (ist12023)
-
Survival analysis of transcriptomic high-dimensional oncological data for the identification of cancer biomarkers EVALUATED
Author: Ana Beatriz Rodrigues Correia (ist425996)
Coordenação: Susana de Almeida Mendes Vinga Martins (ist14109) Alexandra Sofia Martins de Carvalho (ist45173)
-
Clusterval: Python package for determining the number of clusters in longitudinal datasets EVALUATED
Author: Nuno Miguel Canhoto da Silva (ist180763)
Coordenação: Susana de Almeida Mendes Vinga Martins (ist14109) Alexandra Sofia Martins de Carvalho (ist45173)
-
Automated logic circuit invention EVALUATED
Author: Alejandro José Rachadell Pereira (ist181026)
Coordenação: Maria Inês Camarate de Campos Lynce de Faria (ist14029)
-
Mutation Testing of Quantum Programs EVALUATED
Author: Daniel Antunes Bustorff Fortunato (ist425886)
Coordenação:
-
VfcShareLatex - Efficient Consistency for Cooperative Latex Edition EVALUATED
Author: José João de Magalhães Mexia Peixoto (ist424795)
Coordenação: Paulo Jorge Pires Ferreira (ist12958)
-
Precise Information Flow Control for JavaScript EVALUATED
Author: Francisco João Do Vale Lopes e Silva Quinaz (ist194015)
Coordenação: José Faustino Fragoso Femenin dos Santos (ist153921) Ana Gualdina Almeida Matos (ist24690)
-
Faster than real time processing of aircraft dynamic model: towards enhanced airborne decision making EVALUATED
Author: Pedro Francisco Henriques Salgueiro (ist424845)
Coordenação: Luís Jorge Brás Monteiro Guerra e Silva (ist14070)
-
Optimization of Monte Carlo Methods for Matrix Functions Applied to Large Scale Problems EVALUATED
Author: Gonçalo Veiga dos Santos (ist178093)
Coordenação: José Carlos Alves Pereira Monteiro (ist12850)
-
Shared Control Approaches for Hybrid Multidisciplinary Team Meetings EVALUATED
Author: Yuri Manuel Krauland Cabrita (ist426078)
Coordenação: Daniel Simões Lopes (ist151462)
-
DynaGame - A Rule Based System for a Gamified Blended Learning Environment EVALUATED
Author: Ana Beatriz Mateus Nogueira (ist182433)
Coordenação: Daniel Jorge Viegas Gonçalves (ist13898)
-
Recurrent Neural Networks for Next-Action Prediction EVALUATED
Author: Rita Brito Cunha Vieira Conde (ist194023)
Coordenação: Bruno Emanuel Da Graça Martins (ist24686)
-
Process Control-Flow Discovery EVALUATED
Author: Hugo Martins Dias Simões Monteiro (ist176058)
Coordenação: José Luís Brinquete Borbinha (ist13085)
-
Fraud Detection in Multiple Choice Exams EVALUATED
Author: Pedro Miguel Carvalho Caldeira (ist181888)
Coordenação: António Manuel Ferreira Rito da Silva (ist12628) Rui Miguel Carrasqueiro Henriques (ist156846)
-
GroupSensing - Exploring Team Identification Impact on Sensory Experience and Purchase Intentions using Biosignals EVALUATED
Author: Sara Beatriz Antunes Franco (ist424866)
Coordenação: Sandra Pereira Gama (ist152404)
-
Car Race EVALUATED
Author: Hussein Amin Givá (ist186434)
Coordenação: Alberto Manuel Ramos da Cunha (ist11959)
-
Blockchain Address Transparency with DNS EVALUATED
Author: Mara Cristina Marques Caldeira (ist424809)
Coordenação: Miguel Nuno Dias Alves Pupo Correia (ist130598)
-
Dissertação: Digital Strategy Co-creation Framework DRAFT
Author: Iara Núria Tomas de Medeiros de Almeida Gomes (ist170501)
Coordenação: Miguel Leitão Bignolas Mira da Silva (ist13948) Daniel Simões Lopes (ist151462) Daniel Simões Lopes (ist411291) Daniel Simões Lopes (ist151462)
-
Data-Driven Approaches For Amyotrophic Lateral Sclerosis Patient Stratification Using Clinical Profiles EVALUATED
Author: Eleonora Auletta (ist194811)
Coordenação: Claudia Martins Antunes (ist14046)
-
Control of Baxter robot through Motor Imagery based Brain-Computer Interface using OpenBCI low-cost acquisition system EVALUATED
Author: Silvia Da Lio (ist194812)
Coordenação: João Miguel Raposo Sanches (ist13412)
-
Contributions towards the possible identification of psychosis through speech processing in Portuguese EVALUATED
Author: Maria Gomes Simas Beato Forjó (ist186475)
Coordenação: Helena Sofia Andrade Nunes Pereira Pinto (ist12906) Alberto Abad Gareta (ist90700)
-
Multi-modal HyperDense-Net Classification For Breast Diagnosis EVALUATED
Author: Madalena Beja da Costa Gil Pedreira (ist186466)
Coordenação: Jacinto Carlos Marques Peixoto do Nascimento (ist33543) Carlos Jorge Andrade Mariz Santiago (ist158445)
-
Explaining Classification in Breast Images Using Visual Activation Maps EVALUATED
Author: João Bernardo da Cruz Tavares (ist186443)
Coordenação: Jacinto Carlos Marques Peixoto do Nascimento (ist33543) Carlos Jorge Andrade Mariz Santiago (ist158445)
-
CiF-Bannerlord, a Social Artificial Intelligence System for Mount and Blade II: Bannerlord EVALUATED
Author: Filipe Miguel Dias da Silveira (ist196987)
Coordenação: Pedro Alexandre Simões dos Santos (ist12886)
-
The effect of malicious gossiping in cooperation dynamics over social networks EVALUATED
Author: Tomás Vieira (ist186523)
Coordenação: Francisco João Duarte Cordeiro Correia dos Santos (ist25308)
-
[Dissertation] Compositional Symbolic Execution for Typescript DRAFT
Author: Guilherme Moita Batista da Rosa (ist197032)
Coordenação: José Faustino Fragoso Femenin dos Santos (ist153921)
-
GameCoursePersonal EVALUATED
Author: Ana Rita Alves Gonçalves (ist186377)
Coordenação: Daniel Jorge Viegas Gonçalves (ist13898)
-
A Classifier for Cybersecurity Indicators of Compromised Published in Twitter EVALUATED
Author: David Anil Cardoso (ist179710)
Coordenação: José Luís Brinquete Borbinha (ist13085)
-
Laboratório da Internet das coisas EVALUATED
Author: João Gonçalo Vieira Saramago (ist197050)
Coordenação: Alberto Manuel Ramos da Cunha (ist11959)
-
Deep Learning for Medical Visual Question Answering EVALUATED
Author: João Daniel Rua Ferreira Pires da Silva (ist186445)
Coordenação: Bruno Emanuel Da Graça Martins (ist24686)
-
VTL - Variable Transactional Layer EVALUATED
Author: Rúben André Gonçalves Silva (ist196999)
Coordenação: João Coelho Garcia (ist14139)
-
Modelling and Assessing Resilience in Multimodal Transportation Systems EVALUATED
Author: João Tiago Aparício da Costa (ist197155)
Coordenação: Rui Miguel Carrasqueiro Henriques (ist156846)
-
Dense Template Retrieval for Customer Support EVALUATED
Author: Tiago Manuel Reis Mesquita (ist186520)
Coordenação: Bruno Emanuel Da Graça Martins (ist24686)
-
Code-Stepping Regular Expressions in the Browser EVALUATED
Author: Luís Alberto Carvalho de Almeida (ist172955)
Coordenação: José Faustino Fragoso Femenin dos Santos (ist153921)
-
A Cube Full of Shapes: Exploring and Selecting Supershapes in Virtual Reality EVALUATED
Author: Francisco Miguel Barreira Nicolau (ist186419)
Coordenação: Daniel Simões Lopes (ist151462)
-
Stepwise Migration of a Monolith to a Microservices Architecture: Performance and Migration Effort Evaluation EVALUATED
Author: Diogo Alexandre dos Reis Faustino (ist197081)
Coordenação: António Manuel Ferreira Rito da Silva (ist12628)
-
Collaborative discovery and enrichment of business process models using a semantification approach that combines DEMO EVALUATED
Author: Yevheniya Derevyanko (ist186527)
Coordenação: Pedro Manuel Moreira Vaz Antunes de Sousa (ist12951) Sérgio Luís Proença Duarte Guerreiro (ist62654)
-
Optimizing bus networks from multimodal travel flows EVALUATED
Author: Vasco Dias Silva (ist186525)
Coordenação: Rui Miguel Carrasqueiro Henriques (ist156846) Anna Carolina Nametala Finamore do Couto (ist168340)
-
Balancing Randomness and Predictability in Games EVALUATED
Author: Manuel Mendes Parracho Correia (ist186470)
Coordenação: Carlos António Roque Martinho (ist14181)
-
Crisis in the Atlantic: An Artificial Intelligence Driven Interactive Story about Biodiversity recovery EVALUATED
Author: Jin Xin (ist186438)
Coordenação: Valentina Nisi (ist428788)
-
Prosocial Learning Agents in Networked Populations EVALUATED
Author: André Vitorino Ribeiro (ist186384)
Coordenação: Ana Maria Severino de Almeida e Paiva (ist12371) Francisco João Duarte Cordeiro Correia dos Santos (ist25308)
-
Development of a Multi-Platform Whiteboard Application EVALUATED
Author: Lucas Emanuel Figueiredo Soares (ist186463)
Coordenação: João Fernando Peixoto Ferreira (ist428178)
-
Stegozoa: Securing the Transmission of Covert Internet Communications over WebRTC EVALUATED
Author: Gabriel Costa Figueira (ist186426)
Coordenação: Nuno Miguel Carvalho dos Santos (ist14261)
-
Deep Learning for Remote Sensing Image Captioning EVALUATED
Author: João Miguel Delgado Barata (ist186450)
Coordenação: Bruno Emanuel Da Graça Martins (ist24686)
-
Separating Agreement from Execution to Improve the Scalability of Blockchains EVALUATED
Author: Diogo Peres Monteiro de Faria Fernandes (ist186410)
Coordenação: Rodrigo Seromenho Miragaia Rodrigues (ist14022)
-
Dissertation: Formal Verification of Password Manager Security Properties DRAFT
Author: Rafael Alexandre Silva Prates (ist196967)
Coordenação: João Fernando Peixoto Ferreira (ist428178)
-
Extending EcoAndroid with Automated Detection of Resource Leaks EVALUATED
Author: Ricardo Filipe Baía Pereira (ist186506)
Coordenação: João Fernando Peixoto Ferreira (ist428178)
-
[Project] Improving QubesOS Usability DRAFT
Author: Francisco Da Cruz Correia Rocha (ist186414)
Coordenação: Augusto Emanuel Abreu Esteves (ist154298)
-
Robust Symbolic Execution for WebAssembly EVALUATED
Author: Filipe dos Santos Oliveira Marques (ist186411)
Coordenação: José Faustino Fragoso Femenin dos Santos (ist153921) Nuno Miguel Carvalho dos Santos (ist14261)
-
Player and Simulation based Environmental Storytelling for Games EVALUATED
Author: Adrian Alejandro Rodrigues Manica (ist197076)
Coordenação: Carlos António Roque Martinho (ist14181)
-
OrderWarp Visualizing ordinal data in Big Data Streaming EVALUATED
Author: Henrique Lourenço do Espírito Santo Rosa Ferreira (ist186432)
Coordenação: Daniel Jorge Viegas Gonçalves (ist13898)
-
[Dissertação] : Delineating Boundaries for Vague Regions DRAFT
Author: Francisco De Almeida Carvalho Matos (ist186415)
Coordenação: Bruno Emanuel Da Graça Martins (ist24686)
-
Mechanizing Feng-Ying Quantum Hoare Logic in Coq for Formal Proofs of Programs with Quantum and Classical Variables EVALUATED
Author: Mustafa Samir Khalil (ist427068)
Coordenação: João Fernando Peixoto Ferreira (ist428178)
-
Dissertação: Large-scale Fast Fluid Simulation over Nvidia GVDB Voxels Framework DRAFT
Author: Pedro Pereira da Silva Anastácio Centeno (ist186501)
Coordenação: João António Madeiras Pereira (ist12291)
-
Using Topic Modeling Techniques to Characterize the Quality of Life of Students in Academic Contexts EVALUATED
Author: Simão Pedro Ferreira Nunes (ist186512)
Coordenação: David Manuel Martins de Matos (ist13500) Isabel Cristina Nunes Mota da Silva Gonçalves (ist23718)
-
Desenvolvimento de um Módulo de Business Intelligence para o XTraN Passenger Produto para - Gestão de Frotas de Transportes de Passageiros EVALUATED
Author: Catarina da Conceição Filipe (ist186396)
Coordenação: Alberto Manuel Ramos da Cunha (ist11959)
-
Adaptive Single Player Challenge Generation for World War Online EVALUATED
Author: Torstein Lundervold Nesheim (ist194778)
Coordenação: Carlos António Roque Martinho (ist14181)
-
Artificial Populations in Games with Dynamic Social Roles: Defining a new Taxonomy and Implementation mechanism for Social Agents in Games EVALUATED
Author: Diogo Miguel Barradas Eusébio (ist187650)
Coordenação: Rui Filipe Fernandes Prada (ist32219)
-
Player Preference Extraction From In-Game Behavior EVALUATED
Author: André Pais Borges de Macedo Leite (ist186383)
Coordenação: Carlos António Roque Martinho (ist14181)
-
Proof of Timely-Retrievability for Storage Systems at the Edge EVALUATED
Author: Rita Alexandra Rodrigues Prates (ist186507)
Coordenação: Luís Eduardo Teixeira Rodrigues (ist126480) Miguel Nuno Dias Alves Pupo Correia (ist130598)
-
Best Way to Squeeze: A Comparison of Model Compression Techniques in Natural Language Processing EVALUATED
Author: João Carlos Lopes Antunes (ist196965)
Coordenação: Maria Luísa Torres Ribeiro Marques da Silva Coheur (ist24630) Miguel Filipe Leitão Pardal (ist14265)
-
Geographical Question Answering Leveraging Neural Language Models for Passage Retrieval EVALUATED
Author: João Miguel De Almeida Vares Coelho (ist186448)
Coordenação: Bruno Emanuel Da Graça Martins (ist24686)
-
Adaptive Event Driven Infrastructure EVALUATED
Author: João Marcos Gaspar Campos (ist163238)
Coordenação: Fernando Mira da Silva (ist12048) Simão Pedro Patrício da Silva (ist155972)
-
Natural Language Processing applied to the Portuguese Consumer Law EVALUATED
Author: Maria Ana de Sousa e Moura Duarte (ist186474)
Coordenação: Pedro Alexandre Simões dos Santos (ist12886)
-
Perceive, Represent, Generate: Translating Multimodal Information to Robotic Motion Trajectories EVALUATED
Author: Fábio Guilherme Morgado Vital (ist425542)
Coordenação: Francisco António Chaves Saraiva de Melo (ist40236) José Alberto Rodrigues Pereira Sardinha (ist25149)
-
Project: A Test Framework for Spark Applications DRAFT
Author: Luís Francisco Bernardes Antunes (ist424802)
Coordenação: Pedro Manuel Moreira Vaz Antunes de Sousa (ist12951)
-
Use of Learning Mechanisms to Improve Wind Farms Operation Conditions Monitoring EVALUATED
Author: Ana Rita Sabudin Nunes (ist187440)
Coordenação: José Alberto Rodrigues Pereira Sardinha (ist25149) Hugo Gabriel Valente Morais (ist428549)
-
Development of models to optimize IPST blood collections EVALUATED
Author: Joana Isabel Nunes Alves (ist186439)
Coordenação: Maria Inês Camarate de Campos Lynce de Faria (ist14029) Pedro Tiago Gonçalves Monteiro (ist146963)
-
BLE (Bluetooth Low Energy) for public transportation contactless card emulation EVALUATED
Author: Henrique Ferreira Silva (ist186431)
Coordenação: José Manuel da Costa Alves Marques (ist12023)
-
Reproducible fault-injection on distributed systems EVALUATED
Author: Daniel David Marques de Castro (ist187644)
Coordenação: Miguel Ângelo Marques de Matos (ist427850) Shady Alaaeldin Mohamed Abdelkader Rabie Issa (ist180054)
-
Dissertação: Attacking self-driving networks DRAFT
Author: Bernardo Miguel Gaspar Krohn (ist190914)
Coordenação: Fernando Manuel Valente Ramos (ist428757)
-
Toward Tool-Independent Summaries for Symbolic Execution EVALUATED
Author: Frederico Duarte Ramos (ist424772)
Coordenação: José Faustino Fragoso Femenin dos Santos (ist153921) Pedro Miguel dos Santos Alves Madeira Adão (ist14151)
-
Cunning Lords: Tactical AI and Troop Control for Mount &Blade II: Bannerlord EVALUATED
Author: Joaquim Manuel Rebotim Rosado Piteira Quadrado (ist186455)
Coordenação: Pedro Alexandre Simões dos Santos (ist12886)
-
From Music to a Sculpture EVALUATED
Author: Joana Silva Teodoro (ist186440)
Coordenação: Helena Sofia Andrade Nunes Pereira Pinto (ist12906)
-
Critical Review of Reinforcement Learning Based Adaptive Traffic Signal Control EVALUATED
Author: Miguel Ângelo Mendes Coelho (ist187687)
Coordenação: José Alberto Rodrigues Pereira Sardinha (ist25149) Francisco António Chaves Saraiva de Melo (ist40236)
-
An Interoperability Tool for Low-Code Development Platforms EVALUATED
Author: Rita Clode Silva Jardim Fernandes (ist186508)
Coordenação: Miguel Leitão Bignolas Mira da Silva (ist13948)
-
Process Assessment Model for Business Continuity Management EVALUATED
Author: Diogo Rodrigues Bernardo Pedro Pinto (ist424751)
Coordenação: Miguel Leitão Bignolas Mira da Silva (ist13948)
-
HeapDUO: Finding Heap Vulnerabilities in Binary Code EVALUATED
Author: Jorge Cardoso Martins (ist186456)
Coordenação: Pedro Miguel dos Santos Alves Madeira Adão (ist14151)
-
[Dissertation] The Effect of Personality on the Framing Bias in Information Visualization DRAFT
Author: Alexandra Santos Maroco (ist186369)
Coordenação: Daniel Jorge Viegas Gonçalves (ist13898) Sandra Pereira Gama (ist152404)
-
MusiVid: Composing Video-inspired Soundtracks EVALUATED
Author: Leandro Manuel Oliveira Carreira Salgado (ist186460)
Coordenação: Helena Sofia Andrade Nunes Pereira Pinto (ist12906)
-
Dissertação: Multiple choice questions system - fraud detection DRAFT
Author: Pedro Miguel Carvalho Caldeira (ist181888)
Coordenação: António Manuel Ferreira Rito da Silva (ist12628) Rui Miguel Carrasqueiro Henriques (ist156846)
-
[Dissertação] Auditing System for Attack Investigations of Microservice-based Web Applications DRAFT
Author: José Francisco Lopes da Silva Malanho Semedo (ist178294)
Coordenação: Nuno Miguel Carvalho dos Santos (ist14261) Daniel Simões Lopes (ist151462) Daniel Simões Lopes (ist407577) Daniel Simões Lopes (ist411193) Daniel Simões Lopes (ist411964)
-
ChemTouch: A new way of seeing Chemistry EVALUATED
Author: Gonçalo João Neves Gaspar (ist424774)
Coordenação: Rui Filipe Fernandes Prada (ist32219) Daniel Simões Lopes (ist411193)
-
Project Prioritization with Multi Criteria Decision Making Methods EVALUATED
Author: Pedro Miguel Fernandes Coelho de Sousa (ist178024)
Coordenação: Pedro Manuel Moreira Vaz Antunes de Sousa (ist12951)
-
Smart Health Enterprise Architecture Framework: Focus on Motivation and Open Data Aspects EVALUATED
Author: Helena Isabel Martins Alves (ist180860)
Coordenação: Alberto Manuel Rodrigues da Silva (ist13323) André Ferreira Ferrão Couto e Vasconcelos (ist14250)
-
Modelling the Recommender Alignment Problem - An Abstract Model and a Toy Experiment Where We Learn to Control Evolutionary Dynamics in Social Dilemmas Through Recommendations EVALUATED
Author: Francisco Lopes Pereira de Carvalho (ist425350)
Coordenação: Manuel Fernando Cabido Peres Lopes (ist40208) Francisco João Duarte Cordeiro Correia dos Santos (ist25308)
-
IoT Solution for Rental Houses EVALUATED
Author: Nuno Afonso Rebelo Patrício Freire dos Santos (ist181360)
Coordenação: Alberto Manuel Ramos da Cunha (ist11959)
-
Unravelling Patterns from a Blood Donation Data Set using Machine Learning Approaches EVALUATED
Author: Francisco Jorge Lopes (ist188078)
Coordenação: Pedro Tiago Gonçalves Monteiro (ist146963)
-
Time Series Analysis and Forecasting of Shellfish Contamination and Safety EVALUATED
Author: André da Silva Pereira (ist424732)
Coordenação: Susana de Almeida Mendes Vinga Martins (ist14109)
-
Testing Interactive Narratives using Personality Types EVALUATED
Author: David Garcia Pereira (ist186404)
Coordenação: Rui Filipe Fernandes Prada (ist32219)
-
Multi Objective Set Covering Problem, an Exact Approach EVALUATED
Author: Gonçalo José Reis Bento Paredes (ist197127)
Coordenação: Alexandre Paulo Lourenço Francisco (ist14152) José Rui De Matos Figueira (ist14525)
-
P-Res Tutor: An Intelligent Tutoring System for Propositional Resolution EVALUATED
Author: Alexandre Lopes Poeira (ist178503)
Coordenação: Manuel Fernando Cabido Peres Lopes (ist40208)
-
GiTab: Automatic Tablature Music Composition for Classical Guitar EVALUATED
Author: Martim Zanatti dos Santos Gomes da Silva (ist182517)
Coordenação: Helena Sofia Andrade Nunes Pereira Pinto (ist12906) David Manuel Martins de Matos (ist13500)
-
MeteoTecnico Responsive EVALUATED
Author: Francisco Aresta Branco de Matos Miranda (ist424764)
Coordenação: João Manuel Brisson Lopes (ist11355)
-
VRAAD: Virtual Reality Aided Algorithmic Design - Supporting the Algorithmic Design Workflow with Virtual Reality EVALUATED
Author: Catarina São Miguel de Castro Brás (ist424743)
Coordenação: António Paulo Teles de Menezes Correia Leitão (ist13451)
-
Topological effects in the spread of informationand misinformation in social networks EVALUATED
Author: Gonçalo Alexandre Santos Simões (ist181031)
Coordenação: Francisco João Duarte Cordeiro Correia dos Santos (ist25308)
-
Realidade Aumentada para o Treino de Tarefas Cirúrgicas usando Simuladores EVALUATED
Author: Daniel Filipe Guerreiro da Silva (ist426007)
Coordenação: Daniel Simões Lopes (ist151462)
-
Data Recovery for Hardware Security Extensions EVALUATED
Author: Vasco Miguel António Guita (ist424875)
Coordenação: Miguel Nuno Dias Alves Pupo Correia (ist130598)
-
Degree Coordination Decision Support System EVALUATED
Author: Lucas Lobo Fell (ist186464)
Coordenação: Helena Isabel De Jesus Galhardas (ist13078) Luís Manuel Marques Custódio (ist13279)
-
Evaluating generalization in Deep Reinforcement Learning with Procedural Generated Environments EVALUATED
Author: Miguel Borges Freire (ist425445)
Coordenação: Arlindo Manuel Limede de Oliveira (ist12282)
-
Light-field rendering on mobile devices EVALUATED
Author: Ricardo Pedro Da Silva Fonseca (ist190862)
Coordenação: João António Madeiras Pereira (ist12291)
-
Document Automation in ITLingo PSL Excel Template EVALUATED
Author: Domingos José Troncão de Carvalho Bragança (ist181193)
Coordenação: Alberto Manuel Rodrigues da Silva (ist13323)
-
Towards traffic change detection in the network data plane EVALUATED
Author: Gonçalo Filipe Oliveira Matos (ist178280)
Coordenação: Fernando Manuel Valente Ramos (ist428757)
-
Active vs Passive Flow Adjustment in Games EVALUATED
Author: Alexandre Nunes Zambujal Chícharo (ist193989)
Coordenação: Carlos António Roque Martinho (ist14181)
-
Fake News Websites EVALUATED
Author: Diogo Miguel Ferreira Pinheiro (ist178208)
Coordenação: Maria Luísa Torres Ribeiro Marques da Silva Coheur (ist24630) João Paulo Baptista de Carvalho (ist14039)
-
SocialCraft: A social NPC framework for Minecraft EVALUATED
Author: Miguel Lourenço Gonçalves (ist186485)
Coordenação: Rui Filipe Fernandes Prada (ist32219)
-
A mobile platform for enhancing biodiversity monitoring with citizen engagement EVALUATED
Author: Mafalda Joana Catita Neves Ferreira Mendes (ist424805)
Coordenação: Duarte Nuno Jardim Nunes (ist132720)