Combining Locks with Transactional Memory in Data Centric Concurrency Control | Computer Systems and Networks | Hervé Miguel Cordeiro Paulino | Qualquer semestre | 2018-09-22 |
Blockchain-based storage with SGX clients for mobile games | Computer Systems and Networks | Nuno Manuel Ribeiro Preguiça | Qualquer semestre | 2018-11-05 |
Fast K-Nearest Neighbor Computation of Thousands/Millions of Images on the GPU | Computer Systems and Networks | Hervé Miguel Cordeiro Paulino | | 2019-03-15 |
Using Machine Learning to Improve the Scheduling of Computations in Multi-CPU/Multi-GPU Environments | Computer Systems and Networks | Hervé Miguel Cordeiro Paulino | Qualquer semestre | 2019-03-15 |
SQL interface for NoSQL database | Computer Systems and Networks | Nuno Manuel Ribeiro Preguiça | Qualquer semestre | 2018-09-21 |
Blockchain-Enabled PKI Management Framework | Computer Systems and Networks | Henrique João Lopes Domingos | Qualquer semestre | 2018-10-09 |
Processamento de Mapas Auto-organizados em GPUs | Computer Systems and Networks | Hervé Miguel Cordeiro Paulino | | 2019-03-15 |
Monitoração para suporte de Auto-Gestão em Aplicações de Microserviços | Computer Systems and Networks | Maria Cecília Farias Lorga Gomes | 1º Semestre | 2018-12-10 |
Big Data computations with partially replicated data | Computer Systems and Networks | Nuno Manuel Ribeiro Preguiça | Qualquer semestre | 2018-09-21 |
Integrating Big Data Computations in a Geo-replicated Database | Computer Systems and Networks | Nuno Manuel Ribeiro Preguiça | Qualquer semestre | 2018-09-21 |
Dynamic Decomposition and Execution of Computations in the Edge | Computer Systems and Networks | Maria Cecília Farias Lorga Gomes | 1º Semestre | 2018-12-10 |
Trusted Enabled Critical Apps for Android with ATZ Technology | Computer Systems and Networks | Henrique João Lopes Domingos | Qualquer semestre | 2018-09-26 |
Emulação e teste de redes e sistemas distribuídos com recurso a virtualização | Computer Systems and Networks | José Augusto Legatheaux Martins | Qualquer semestre | 2018-10-05 |
Filiação não estruturada para um sistema PubSub P2P | Computer Systems and Networks | Sérgio Marco Duarte | 1º Semestre | 2021-10-25 |
SwifterCloud - Protocolo de commit descentralizado | Computer Systems and Networks | Sérgio Marco Duarte | 1º Semestre | 2021-10-25 |
WebBased CNSS | Computer Systems and Networks | Sérgio Marco Duarte | 1º Semestre | 2021-10-25 |
Encrypted CRDTs | Computer Systems and Networks | Sérgio Marco Duarte | 1º Semestre | 2021-10-25 |
Gestão de micro-serviços na Cloud e Edge | Computer Systems and Networks | Maria Cecília Farias Lorga Gomes | 1º Semestre | 2018-12-10 |
Utilização de emuladores de redes para o apoio ao ensino | Computer Systems and Networks | José Augusto Legatheaux Martins | Qualquer semestre | 2018-09-23 |
Non uniform database replication applied to network traffic engineering | Computer Systems and Networks | José Augusto Legatheaux Martins | Qualquer semestre | 2018-09-28 |
Gestão automática de réplicas na Edge | Computer Systems and Networks | Maria Cecília Farias Lorga Gomes | 1º Semestre | 2018-12-10 |
Self-Organising Networks For Edge Computing Applications | Computer Systems and Networks | João Carlos Antunes Leitão | 1º Semestre | 2018-09-21 |
Modular and Adaptive Key-Value Storage Systems | Computer Systems and Networks | João Carlos Antunes Leitão | 1º Semestre | 2018-10-08 |
Tree-based Decentralized and Robust Causal Dissemination | Computer Systems and Networks | João Carlos Antunes Leitão | 1º Semestre | 2018-10-08 |
A Middleware Support to enable Dynamic Micro-Services in the Edge | Computer Systems and Networks | João Carlos Antunes Leitão | 1º Semestre | 2018-10-08 |
Towards Secure and Trustable Apps for Mobile Devices | Computer Systems and Networks | Henrique João Lopes Domingos | 1º Semestre | 2018-10-09 |
Secure Remote Bluetooth-Enabled Cryptographic Provider | Computer Systems and Networks | Henrique João Lopes Domingos | 1º Semestre | 2018-10-09 |
Cross-modal hashing for efficient search in indexes with over 1 biilion entries | Decision Support and Artificial Intelligence | João Magalhães | Qualquer semestre | 2018-09-28 |
NoHR - A showcase application | Decision Support and Artificial Intelligence | João Alexandre Carvalho Pinheiro Leite | Qualquer semestre | 2018-12-05 |
NoHR - Incorporating Linked Open Data | Decision Support and Artificial Intelligence | João Alexandre Carvalho Pinheiro Leite | Qualquer semestre | 2018-12-05 |
Detecção Remota de estruturas permanentes | Decision Support and Artificial Intelligence | João Carlos Gomes Moura Pires | 1º Semestre | 2018-10-09 |
Análise Comparativa de Fontes com Indicadores de Investimento | Decision Support and Artificial Intelligence | Nuno Miguel Cavalheiro Marques | 1º Semestre | 2019-09-25 |
Mineração Interativa de um Repositório de Código Matlab | Decision Support and Artificial Intelligence | Nuno Miguel Cavalheiro Marques | 1º Semestre | 2019-09-25 |
News search with background and entity linking | Decision Support and Artificial Intelligence | João Magalhães | Qualquer semestre | 2018-09-28 |
SWARG - A Tool for Online Debates | Decision Support and Artificial Intelligence | João Alexandre Carvalho Pinheiro Leite | Qualquer semestre | 2018-12-05 |
Extending a Stream Processor with Rule-Based Reasoning | Decision Support and Artificial Intelligence | João Alexandre Carvalho Pinheiro Leite | Qualquer semestre | 2018-12-05 |
Avaliação por deteção remota do estado da vegetação em faixas de gestão de combustível de incêndios | Decision Support and Artificial Intelligence | Fernando Pedro Reino Silva Birra | 1º Semestre | 2018-10-11 |
Forgetting in Answer Set Programming | Decision Support and Artificial Intelligence | João Alexandre Carvalho Pinheiro Leite | Qualquer semestre | 2018-12-05 |
Fusão de imagens e produtos de satélite | Decision Support and Artificial Intelligence | João Carlos Gomes Moura Pires | 1º Semestre | 2018-10-09 |
Detecção remota de parcelas agrícolas | Decision Support and Artificial Intelligence | João Carlos Gomes Moura Pires | 1º Semestre | 2018-10-09 |
Detecção de eventos anormais a partir de dados satélite | Decision Support and Artificial Intelligence | João Carlos Gomes Moura Pires | 1º Semestre | 2018-10-09 |
Classificação de solos com técnicas de aprendizagem automática | Decision Support and Artificial Intelligence | João Carlos Gomes Moura Pires | Qualquer semestre | 2018-12-05 |
Interpolação espacial através da análise de caminhos de custos mínimos | Decision Support and Artificial Intelligence | João Carlos Gomes Moura Pires | 1º Semestre | 2018-10-14 |
Redes neuronais profundas para classificação do território combinando imagens de satélite e fotos geo-referenciadas | Decision Support and Artificial Intelligence | João Carlos Gomes Moura Pires | 1º Semestre | 2018-12-05 |
foRESTER -Sistema de Apoio à Decisão para Situações de Fogos Florestais | Decision Support and Artificial Intelligence | João Carlos Gomes Moura Pires | 1º Semestre | 2018-12-05 |
Predictive Algorithms for Managing Community Pharmacies Inventory | Decision Support and Artificial Intelligence | Jorge Carlos Ferreira Rodrigues da Cruz | 1º Semestre | 2018-11-19 |
NOVA GTI v2.0 | Decision Support and Artificial Intelligence | João Alexandre Carvalho Pinheiro Leite | Qualquer semestre | 2018-12-05 |
NOVA GTI - Automated Players | Decision Support and Artificial Intelligence | João Alexandre Carvalho Pinheiro Leite | Qualquer semestre | 2018-12-05 |
Linked Open Data na Câmara Municipal de Almada | Decision Support and Artificial Intelligence | João Alexandre Carvalho Pinheiro Leite | Qualquer semestre | 2018-12-05 |
Deteção semi-automática de áreas de vegetação permanente | Graphic Systems and Multimedia | Fernando Pedro Reino Silva Birra | 1º Semestre | 2018-10-09 |
Storify: Graph-based social media story mining | Graphic Systems and Multimedia | João Magalhães | 1º Semestre | 2019-04-15 |
SmartyFlow: Robust Facial Biometrics for Virtual Identification | Graphic Systems and Multimedia | João Magalhães | 1º Semestre | 2018-10-10 |
Realidade Aumentada em Monitorização Florestal | Graphic Systems and Multimedia | João Carlos Gomes Moura Pires | 1º Semestre | 2018-10-09 |
Visita Virtual (e realista) em terrenos florestais | Graphic Systems and Multimedia | João Carlos Gomes Moura Pires | 1º Semestre | 2018-10-09 |
A responsive platform for the Auditory Atlas of Evora | Graphic Systems and Multimedia | Armanda Rodrigues | 1º Semestre | 2018-10-15 |
Plataforma para análise cronológica da exposição de obras artísticas | Graphic Systems and Multimedia | Armanda Rodrigues | 1º Semestre | 2018-10-15 |
2018 - CLAY Interactive programming construction (CLAY) | Graphic Systems and Multimedia | João Costa Seco | 1º Semestre | 2018-11-21 |
Aplicações e jogos para saúde | Graphic Systems and Multimedia | Sofia Cavaco | Qualquer semestre | 2019-03-15 |
Repositório de Dados e Metadados de Observação Terrestre | Information Systems Technology | João Carlos Gomes Moura Pires | 1º Semestre | 2018-10-09 |
Forgetting in Relational Databases | Information Systems Technology | João Alexandre Carvalho Pinheiro Leite | Qualquer semestre | 2018-12-05 |
Ars Vitraria Database | Information Systems Technology | Matthias Knorr | Qualquer semestre | 2018-12-05 |
2018 - Better and more flexible widget composition language (OutSystems) | Software Construction and Analysis | João Costa Seco | 1º Semestre | 2018-10-30 |
Invariant-driven automated testing | Software Construction and Analysis | Carla Ferreira | Qualquer semestre | 2019-08-19 |
Behavioural Types in Object-Oriented Programming Languages | Software Construction and Analysis | António Ravara | Qualquer semestre | 2018-10-24 |
Resolução automática de bloqueios em programas concorrentes | Software Construction and Analysis | António Ravara | Qualquer semestre | 2018-10-24 |
OCaml-Flat on the Learn-OCaml platform | Software Construction and Analysis | Artur Miguel Andrade Vieira Dias | 2º Semestre | 2020-02-05 |
Infering likely data invariants | Software Construction and Analysis | Carla Ferreira | Qualquer semestre | 2019-08-19 |
2017 - IFML specifications meet REACT-JS | Software Construction and Analysis | João Costa Seco | 1º Semestre | 2018-11-21 |
Formally Verified Bug-free Implementations of (Logical) Algorithms | Software Construction and Analysis | António Ravara | 1º Semestre | 2018-10-24 |
2018 - Integration of Visual Languages with SCS tools (OutSystems) | Software Construction and Analysis | João Costa Seco | 1º Semestre | 2018-11-21 |
2018 - Data validation from the ground up (OutSystems) | Software Construction and Analysis | João Costa Seco | 1º Semestre | 2018-11-21 |
Software Language Engineering: Interaction and Usability Modeling of Language Editors | Software Engineering | Vasco Miguel Moreira do Amaral | Qualquer semestre | 2018-12-05 |
Modelling and simulation of a smart room with humans-in-the-loop | Software Engineering | Vasco Miguel Moreira do Amaral | Qualquer semestre | 2018-12-05 |
Assessment, prioritization and trade-off analysis of sustainability requirements | Software Engineering | Ana Maria Dinis Moreira | 1º Semestre | 2018-12-07 |
Using Cyber-Physical Systems for Software Engineering Process Improvement | Software Engineering | Vasco Miguel Moreira do Amaral | | 2018-12-06 |
Software para Mineração Interativa de um Repositório de Código MATLAB | Software Engineering | Miguel Pessoa Monteiro | Qualquer semestre | 2019-09-25 |
Software para Mineração Interativa de um Repositório de Código Matlab | Software Engineering | Nuno Miguel Cavalheiro Marques | 1º Semestre | 2019-09-25 |
Uma abordagem baseada em Machine Learning para a Identificação de Requisitos de Serviços na Cloud | Software Engineering | João Baptista da Silva Araújo Junior | 1º Semestre | 2019-10-02 |
Techniques to remove the Schizophrenic Function symptom from MATLAB code | Software Engineering | Miguel Pessoa Monteiro | | 2019-09-25 |
Domain Specific Language for specifying Home Automation IOTs Behavior | Software Engineering | Vasco Miguel Moreira do Amaral | Qualquer semestre | 2018-12-06 |
ModelByVoice II - A Diagramatic Modeling platform with Voice & Sound for visually impaired and blind people | Software Engineering | Vasco Miguel Moreira do Amaral | Qualquer semestre | 2018-12-05 |
Modeling Human Values for Requirements Engineering | Software Engineering | João Baptista da Silva Araújo Junior | 2º Semestre | 2020-03-11 |