A C Compiler for a RISC 16 bit Processor Supporting Embedded Applications

A Cloud-Based Facility Management Benchmarking

A Computer Approach to Emotional Storytelling

A CRM Approach for Implementing ITIL

A Data Warehouse for Energy Management

A Game-Theoretic Approach to Subway Real-time Scheduling in the Lisbon Metropolitan Area

A Machine Learning Approach for Real Time Prediction of Last Minute Medical Appointments No-Shows

A Maturity Model for Energy Management

A Method for Identifying IT Services Using Incidents

A modular framework for transactional systems

A Normalized Systems approach to develop Facilties Management Software

A Product Family for Digital Humanities Repositories

A Robotic Tutor for teaching geography and map reading through google maps

A secure content dissemination scheme for the Internet of Vehicles

A System to Automate IOT Devices Configuration Processes

A User Centred Approach in the Implementation of Mobile Marketing in Health Applications

A Witness Protection Program for a privacy-preserving location proof system

AAC audio decoder using a RISC-V processor and hardware accelerators

Accelerated GNSS receiver on FPGA

Accelerator for real-time on-board processor of satellite images

Acessing Energy Pattern

Actualização de Software num microcontrolador através de codificação audio

Ad hoc teamwork in partial observability

Adaptive Learning and Generation of Exercises

Adivinhador de palavras desconhecidas

Agenda Automática Digital

Agregação de dados em larga escala

AI Runner - Criação de Bots para Jogos de Corridas

Algorithmic Optimization of Structures

Algorithms and Data Structures for Large Network Analisys

Alignment of player and non-player motivations

Alinhamento e Mudança Organizacional: Um projecto de Engenharia Informática na Indústria do Retalho

ALS patient stratification

Ambient Intelligence in the Home

Ambulance Assignment for Medical Emergencies

An Approach to Aid Developers Understand Code Change in Code Review

An Automated Debugging plugin for Visual Studio Code

An efficient information-centric mechanism for the next generation vehicular networks

An Industrial IoT application using the Zynq Soc FPGA

An Integrated Space Radiation-Tolerant Oscillator

An interactive tangram game for autistic children

An Open Source Multico Processing System Based on the RISC-V Instruction set

An OSGi-Based Architecture for Building Automa- tion Software

An RF energy - harvesting system for the internet -of-things

Análise do Desempenho de Carga de Baterias por 2 Métodos: por impulsos e por tensão/corrente constante

Analysing costs and profitability with process-based ABC

Analysis and Requirement Gathering of Users Interfaces for Home Automated Systems

Analysis of aircraftaccuracy location in aeronautical multilateration systems

Analysis of temporal data of rheumatic diseases patients through model-based methods

Analysis of the Behavorial Impact of Code Modifications

Analyzing Transactional Consistency

Anatomy Studio – Modelação Colaborativa de Anatomia 3D

Anotação e Avaliação de Sintagmas Preposicionais

Anti-DDoS for the IoT

Anticipation and Evolution in Synthetic Characters

Apoio à Gestão do Projecto

Application and Design of GPU Parallel RRT for Racing Car Simulation

Applications of Nondeterministic Constraint Logic

Applying TrustZone Technology for High Performance Computing

Aproveitamento de recursos hídricos na Ilha da Madeira para a microprodução de energia elétrica

ARisCo: Sistema de recomendação para análise de risco em saúde mental da criança e do adolescente

Arquitectura de Referência para o Sector da Saúde Portuguesa

Arquitectura Empresarial Aplicada a Preservação Digital - Cenários e-science

Arquitectura Organizacional para Implementação de IT Governance na Administração Pública

ART@Streams

Asynchronous Sample Rate Converter

Atention Augmented Convolutional Neural Networks for the Classification of Medical Images

Attack SureThing! Vulnerability assessment, penetration testing and attack tournament on location proof system

Atualização da oferta na rede CARRIS a partir dos fluxos de deslocação multimodal

Atualização de um desambiguador morfossintático estatístico

Auditing System for Attack Investigations of Microservice-based Web Applications

Augmenting Remote Physical Exercise Sessions through Playful Design

Aumento da Compensação do Decaímento da Tensão no Gerador de Marx Bipolar Generalizado com Dispositivos Semicondutores de Potência

Auriculares com Controlo Ativo de Ruído Sobre Amostrado

Auto-organização de redes de sensores usando TinyOS

Automatic Aggression Detection in Social Media

Automatic Assignment of Geospatial Coordinates to Historical Photos

Automatic Chart Interpretation

Automatic Depression Assessment from Personal Reports

Automatic OutSystems App Test Generation

Automatic refactoring for energy in continuous integration pipelines

Automatic sampling of water content in the soil using lysimeters

Automaticallly Georeferencing Tabular Descriptions of Historic Routes

Automatically Deriving Mixed-precision kernels for GPUs

Automating UI tests generation for Mobile Apps

Automatização de túneis rodoviários

Autonomous Energy Conditioning System with High Level of Reliability

Autonomous Energy Conditioning System with High Level of Reliability

Avaliação da eficiências das unidades hospitalares

Avaliação da qualidade e acesso às unidades hospitalares

Avaliação de qualidade em pós-edição em diálogos numa aplicação didática – ELSA Speak

BACH - Browsing Audio Collections using listening Histories

Behavior Driven Test Framework for BPM Quality Assurance

Bibliotecas Digitais

Big-Data@Edge

Biomarkers of sleep disorders

Blended Reality Characters using Sphero Balls

Blockchain Address Transparency with DNSSEC

Blockchain for Academic Records

Blockchain for Consent Management

Blockchain Low Code Multi-actor Information System

Body Modeling and Garment Simulation

Boot loader for a RISC-V processor that uses flash memory

Breaking crypto systems using side-channel attacks

Breaking from the Past

Building chatbots for customer support: fast and serious!”

Building Information Modeling for Building Control

Business processes compliance for controlling run-time operation using Atlas

Cache-oblivious tecniques for representing matrices and tensors

Caracterização de regiões urbanas com base em dados de redes sociais baseadas na localização

Chatbot in the Online Provision of Government Services

Checkpoint, Restore e Migração de VMs OO

Circuitos de Proteção contra Sobretensões e Sobrecorrentes de Semicondutores de Potência

CISO nas organizações - o caso do Instituto Nacional da Segurança Social de Angola

Citizen Science with immediate feedback

Classificação Automática de Causas de Mortalidade de Acordo com a Norma ICD-10

Clinical Systems

Cloud Calculator: A cloud assessment tool for the Public Administration

Cloud Energy Dashboard

Cloud platform for enforcement of GDPR policies involving data sharing constraints

CloudLamp. Automating Illumination Control on Internet of Things

Clustering of multivariate time series

Co-Credibilidade de Personagens Sinteticas em Videojogos

Co-criatividade na conceção automática de níveis num videojogo

Coarse Grain Reconfigurable Micro Architecture

Colaboração com o Prof. Paulo Carreira

Colaboração e Competição com Personagens Sintéticas em Jogos

Combining multi-modal demonstrations with dynamic movement primitives

Compensação do Decaímento da Tensão de Saída do Conversor Multinível Utilizando um Modulador Sigma-Delta

Compensação do Decaímento da Tensão no Gerador de Marx Otimizado com Semicondutores, por circuito ressonante

Compreensão avançada de padrões cerebrais para apoio à neuroplasticidade

Computação aproximada para processamento de imagens de satélites em tempo-real

Computation offloading in bridgeOS

Configuração de dispositivos IoT

Consolidação de fontes heterogéneas de neuroimagem para a descoberta de marcadores neurodegenerativos

Constraint-Based Programming

Context-based predictive models for medical emergencies

Continuous Improvments Meets Energy Auditing

Contributions towards automatic music transcription

Control Adaptativo Distribuido

Controlo Inteligente do carregamento de carros elétricos

Controlo Optimo do Cancro

Criação de uma Chatbot como base em legendas de filmes

Cross-lingual toponym resolution with deep neural networks

Cryptographic material management tool

Current and Voltage sensors fot the Smart Grid

Customer Support with Sentiment

Cyber Incident and Threat Impact Assessment

Data Extraction and Integration for the Creation of a Datbase Describing Portuguese Unions and other Social Partners

Data Migration for Secure Hardware Extensions

Day-PhD Information System

De música para uma sequência de imagens

Debunking the CPU+GPU Processing with Transactional Memory

Decspace: A multicriteria decision analysis

Deep Learning in Social Interactions

Deep learning object detection in mobile GPUs for IoT applicationa

Deep Learning para extração de argumentos desde documentos textuais

Deep Learning with aproximate Computing: an energy efficient approach

Deep Neural Network on the Versat Reconfigurable Processor

Degree Coordination Decision Support System - Data Analytical Component

Deissertação : SmartZone: enhancing the security of TrustZone with SmartCards

Desambiguação da classe de construção dos verbos

Desambiguação de Etiquetas Morfosintácticas Utilizando Redes Neuronais Recorrentes e Word Embeddings

Desambiguação semântica de nomes

Desambiguar a classe de construção dos verbos usando um corpus paralelo

Desenhar, implementar e testar a abordagem Scrum em tele-ambientes - eficiência/eficácia/produtividade (AIS)

Desenho e Desenvolvimento de um Algorítmo Paralelo para o Cálculo da Função Exponencial de Matrizes

Desenvolvimento da Electronica de Control de um Expectrometro de Raman

Desenvolvimento de Ferramentas para Clinical Data Management

Desenvolvimento de modelos de previsão com base em textos

Desenvolvimento de um ambiente Web para anotação de dados em BioEngenharia

Desenvolvimento de um plataforma AAD baseada em Microsserviços

Design and implementation of a Permanent Magnet Synchronous Motor Controller

Designing and Implementing a browser RTS

Deteção Automática de Sinais de Depressão em Redes Sociais

Detecção precoce de onset da Psicose através de processamento do Português

Detecção, atribuição e classificação de citações em artigos de jornais

detectBiklio – detect bicycle usage with an Android smartphone ap

Detecting Bias in Text

Determinação e Incremento da Eficiência Eléctrica de um Gerador de Marx para Produção de Ozono

Develop for C Compiler and Tools for Educational Processor

Developing a Domain-Specific Language to support the effective integration of BIM and sendor data

Development of Baseband Backend for IST sat-2q Satelite-Band Transeiver

Diagnosis of Parkinson’s Disease with structural MRI instead of DATASCan

Digital Anatomy in VR

Digital Filter Code Generate

Discriminating between PT and PT-Br in an error identification tool

Dissertação: Blockchain Undo: Panic button for stolen crypto-wallets

Dissertação: Simulaçâo de modelos biológicamente realistas de neurónios com sistemas de elevado desempenho baseados em arquitecturas multi-core

Dissertação: Tutor Virtual

Distributed Control of Ilumination in Offices Like Spaces

Distributed Optimization of a Supply Chain Using Biological Agents

Distributed Predictive Control of Multiple Vehicles

Document Geocoding and Toponym Resolution with Neural Language Models,

Domain Adaptation in Low-Resource Automatic Speech Recognition

Domain learning through dialog

DRE

DynaGame

Dynamic Bayesian networks for the analysis of time-series data

E-Ark - Gestão de riscos

Efficient Phase-Lock-Loop Design

Efficient Visualization for Algorithmic Design

Embodied Cognition in Level Design

EmoPhoto: Using Emotions and Speech for Photo Exploration

Enabling Enterprise Blockchain Interoperability

Energy Harvesting for Implants

Energy-Aware Task Scheduling in OmpSs

Enhancing Player Experience in Minecraft through Location-Based Companion App

Enriching task-oriented bots with small-talk

Enterprise Architecture Strategy Modeling

Enterprise Arquitect Applied to Digital Preservation

Enterprise Information Architecture Patterns for Portuguese Government

ERIC - intEntion Recognition for skyrIm Companions

Error typology analysis and annotation assessment

Especificação e Automação de Testes no Dominio da Cibersegurança

Estudante ERASMUS

Estudo e previsão da procura de bicicletas nas estações públicas de Lisboa

ETl for integration of Building Automation Data

EUSYSBIO

Evaluating Use Cases Suitability for Conversational User Interfaces

Evaluation of Antialiasing Techniques on Mobile Devices

Exact Methods for Multiobjective Combinatorial Optimization Problems

Expectativas e Emoções para Personagens Sintéticas

Explaining Parkinson's Disease Computational Diagnostic based on Speech Analysis

Exploiting Machine Learning Techniques to Predict Alzheimer's Disease Progression

Exploiting Machine Learning Techniques to Predict Alzheimer's Disease Progression

Explorando soluções de blockchain para aumentar a credibilidade dos certificados digitais

Explração de repositório institucional

Extending Software-Defined Networking into user managed devices

FakeNewSSItes

Fast hierarchical graph clustering

Fast mapping and querying over large scale typing data

Faster than Real Time Processing of Aircraft Dynamic Model: Towards Enhanced Airborne Decision Making

Ferramenta de Apoio a Concepção da Experiência em Jogos

Ferramenta de Apoio ao Processo Colaborativo e Criativo de Design de Níveis

Ferramenta de Gestão de Risco

Filtro não linear

Fine-Tunning HVAC Operation Throught RFID and User Feed-back

Floating-point unit with variable exponent/mantissa size

Formal methods for the analysis of modular gEnetic ReGulatOry network DynamiCs

FOST: Fast and Open Search for Text in Courts

From a Monolith to Microservices: The analysis of Spring-Boot Applications

From a Monolith to Microservices: The dynamic analysis of application in the JVM

From ALS patient stratification towards prognostic using disease progression patterns

Fully compress suffix trees

Functional Algorithmic Design

Game Engines for Algorithmic Design

GameCoursePersonal

GameCourseUI

GCperf – A Performance Comparison of Modern Garbage Collectors for Big Data Environments

Generative modeling of demand in the public transport network in the city of Lisbon: context-sensitive and multi-modal dynamics

Geocodificação de documentos com métodos de aprendizagem semi-supervisionada

GeoPortal to Environmental Datasets

Geração automática de desafios em jogos

Geração de código automático para aplicaçoes web baseadas em Vue, Node e mongo

Geração de redes entre entidades mencionadas em textos

Geração Procedimental de Niveis Cooperativos

Gestão Ágil e Eficiente de Projetos: Foco nos processos de Execução e Controlo

Gestão de contexto

Gestão de Recursos Hídricos com uma Rede de Sensores sem Fio

Gestão de Risco

Gestão de Risco

Gestão de Risco com Base na Arquitectura Empresarial

Gestão documental em contexto autárquico

Gestão integrada de edifícios com autómato programável

GLASS - adapting Game content to pLayer Affective State and perSonality

GnuTLS-SGX: a port of the GnuTLS library for Intel SGX

Google TensorFlow acceleration using Intel HD Graphics units

Grade Me

Graphical Interfaces For Users Behaviour Transformation in the Energy Domain

H2OPower - Ligação em rede de um sistema de microprodução elétrica nas levadas da Ilha da Madeira

Hacking Systems from Within

Haking the Sustems from Within

Hardware-Secured System for Secure Communications

Hardwarer Processors Based on Streaming Model

HBASE++ Extending HBase with client-centric consistency guarantees for Geo-Replication

he Effect of Personality on the Framing Bias in Information Visualization

Heterogeneous Bioinspired Computing for High-Performance Tree of Life Reconstructions

High Quality Digital Signal Processing Audio Effects Module

High-Level Hardware Synthesis of Deep Neural Networks

Home Automation Remote Interface for PDA

Home Automation Supervision

How good are my tests?

Human Language Technologies meet Educational Escape Games

Human Robot Interaction in Small Groups

I am (still) Here!

I Play, You Play: A Framework for Card Games in a Multitouch Table

ICONS

Idenficação de Eventos na Cadeia String

Identificação de Interacção de Serviços por Antevisão

Identificação e Classificação de Entidades Mencionadas e Eventos em Documentos da Marinha

Identificação e Classificação de Entidades Mencionadas em Discursos Políticos

Identification of sardine schools by sonar

IExchange Communication Point Modeling in the context of Enterprise Architecture

Implementação de Arquitectura para Disponibilização de Serviços Electrónicos Pan-Europeus

Implementação de Sistema de Decisão e Validação de Processos Usando Algoritmos Estatísticos ou Probablisticos

Implementação de Sistema de Decisão e Validação de Processos Usando Fuzzy Sets e Fuzzy Logic

Implementação de um conversor AC/AC multinível

Improving Radiant AI in Skyrim

Improving Software Fault Predition Using a Data Drivem Approach

Improvise - Intelligent Music Playlist Creator and Visualizer

Increasing privacy in interactions between robot and humans using Blockchain - testing in a real environment

Industrial Energy Management in the Cloud

Influence Analysis in Twitter using Streams

INSPECT - Integrated Nano Sensor Probes and Electronics for Eddy Currents Testing

Integração de sensores ambientais com dados recolhido por crowdsourcing.

Intel CPU + GPU Systems: Demystyfying the Execution Bottlenecks

Intelligent Actuation in Home and Building Automation Systems

Intelligent Time-Series Forecasting for Predictive Maintenance

Interações Multimédia em Exposições Museológicas

Interações Multimédia em Exposições Museológicas

Interactivness in Architecture

Interfaces Computadores Cerebro

Internet of Things for the Smart Home

Internet Traffic Anomaly Warning Tool

Interoperabilidade em Sistemas de Gestão de Dados Clinicos

Interoperabilidade entre esquemas de informação

IOT_Testbed

IST SmartOffice

IT Risk Management Ontology from representation to optimization using Enterprise Ontology

ITLingo/Cibersegurança Requisitos e Testes no Domínio da Cibersegurança: Foco na Automação de Testes

ITLingo/GenTechnicalDocs: Produção Automática de Documentação Técnica

Jogos Sociais ++

Joint Models for the Analysis of Medical Date

Joint Topology Control and Routing Optimization based on Movement Prediction for Flying Mesh Networks of Unmanned Aerial Base Stations (UABSs)

Keyphrase Extraction and Geo-Temporal Characterization of their Occurrence

Language gap between business clients and BPMN models

Large scale and dynamic phylogenetic inference from epidemic data

Large scale phylogenetic inference from noisy data based on minimum weight spanning arborescences and local optimization

Lattice-based Cryptography on Programmable and Reconfigurable Embedded Systems

Learning and Authomatic Theorem Proving

Learning to see: Reinforcement learning for limited perception agents

Legibilidade de livros de Ensino de Português

Lie to Me 2: the effect of Theory of Mind in Deception

Location proofs in Smart Spaces

Low Cost High Precision GPS Service

Low Voltage, Ultralowpower, Voltage reference

Low-Cost Networked Luminary Controller for Sustainable Ambient Illumination

LTLS Lightweight LTLS for the new IoT world

Ludificação e Personalizção

Lying Robots: Agents and Robots playing the Resistance (or Coup) Game

Machine Learning Algorithms for Optimization of Urban Mobility

Machine Learning for IDS

Machine Learning Methods for Clinical Decision Support in Rheumatology

Machine Learning Methods for Personalizing Healthcare

Maquetista Virtual

Maturity of records management in Arabic countries

mCALI: Reconhecedor de esboços para dispositivos móveis

Me and you together: Collaboration between a robot and a human in a manipulation game

Medblock: using blockchange in health

MedClick: Last Minute Medical Appointments No-Show Management

Memento: Sumarização Interativa de Coleções de Fotografias

Mercado de Créditos para Computação Voluntária em R

Mercadores Integrativos para Apoio ao Prognóstico de Doenças Neurodegenerativas

Mestrado em Engenharia Informatica

Method for Improving Healthcare Operational Processes

Metrics for tree comparision

Microelectrics Circuits for Energy Recovery and Data Communication for Wireless Bionic

Microelectronics Circuits for Biomedical Devices

Microelectronics Circuits for Neuronal Sensing and Stimulation

Mining CERN`S historical data of software developments projects to improve its efficiency

MisTrust Vis: The Effect of Personality on Data Trustworthiness

Mobile Application for Emergency and Disasters Participation and Management

Mobile Rectify: Recovering from Cyber Attacks in Mobile Applications with Backend-as-a-Service

Model Based Methods for Multivariate Time Series

Modelação de Gestão de Riscos Empresarial

Modelação de Progressão em Videojogos

Modeling cancer metabolism using a cell-specific genome scale metabolic model

Modeling Dynamic Systems Using Machine Learning Techniques

Modeling Large Neuron Systems using Machine Learning Techniques

Modelização baseada em agentes para planear e avaliar intervenções de contenção da Pandemia de Covid 19

Modelling Human Player Sensorial and Actuation Limitations in Artificial Players

Modelling IT Startups

Modelo de Carga do Gerador de Marx

Modelo de referência de Sistemas de informação Organizacionais para Entidades desportivas

Modelo de referência para implementação de GDPR em Blockchain

Mono2Micro - From a Monolith to Microservices: Metrics refinement

Mono2Micro - Identification of fine-grained call structure and refactoring

Move with me - Serious Games para reabilitação de crianças com patologias dos membros superiores e inferiores

MPC Motion Control of Autonomous Vehicles

MPEG1/2 layers I/II encoder using a RISC-V processor and hardware accelerators

MPEG1/2 layers I/II encoder using a RISC-V processor and hardware accelerators

mtFlex: A multi-touch FLickr EXplorer tool

Multi-Dimensional Personality-based Game Adaptation

Multiaxial magnetoresistive sensors for high resolution magnetic imaging

Multilingualism and Translation

Multiple choice questions system - fraud detection

Multivariety time series forcasting

Museu Interactivo

My Buddy Bit

My dream theater

MySteps

Named Entity Recognition in a food domain

Não definido

Network motifs in multi-graphs

Next-Gen Pure Function Synthesis in OutSystems

NFV service implementation on the OpenStack platform

NGSPipes:From Specification to Automatic Deployment of NGS pipelines

NGSPipes:From Specification to Automatic Deployment of NGS pipelines

NLP Applied To Portuguese Consumer Law

Object Detection and Classification for the Internet of Things

OmniDoc

On-board image processor for satellites

Optimisation of Machine Learning in expansion-based QBF solving

Optimização de Desempenho de Redes Mesh IEEE 802.11 com MIMO

Optimização de fluxos de trabalho numa biblioteca digital histórica

Optimization of LORAWAN Networks in Smart Grids

Optimization of Public Transport Routes by Means of AI Techniques

Optimizing Fog Computing in the Internet of Mobile Things

Optimizing routing solutions based in blockhain

Optional Rendezvous Control with MPC

OrderWarp

Otimização de Métodos Monte-Carlo na Resolução de Sistemas Lineares de Grande Escala

Oversampling Active Noise COntrol Headphones

Percepção em L2

Personagens Empáticas para com o Jogador

Personalised Content Placement for Digital Games

Personalised Game Reviews

Personality for Synthetic Characters

Pesquisa e Recuperação de Fontes de Informação em Ambientes Distribuídos

Physical Modeling of Brass Instrument on FPGAs

Plataforma de gestão e inventariação para museus

Plataforma para o Desenvolvimento de Acelaradores de Processamento

Playing Soccer with Learning Agents

Ponte de robots esféricos

Predicting conversion from mild cognitive impairment to Alzheimer´s Disease using a temporal mining approach

Predictive Control based cooperative control of mobile robots

Preference Elicitation

Previsão dos padrões de prevalência e resposta a > emergências médicas em Portugal continental

PriVeil Improvements

Priveil: integration in SecOps ecosystem

Profiling Transformations in Heterogeneous and Large Scale Metadata Harvesting Processes

Programação da Plataforma de Suporte do Biochip

Project FST Novabase

Projecto - Desenvolvimento do ambiente DECSPACE

Projecto de Estruturação de Dados na Navigator

Projecto de Sistema de Gestão de Estacionamento e Localização de Lugares Vazios

Projecto de telecomunicações e de energia das infra-estruturas de um edifício

Projecto DRE

Projecto DRE

Projecto DRE

Projecto Ferramenta de Gestão de Risco Holirisk-Desenvolvimento do Módulo de Gestão de Dados

Projecto FST Novabase

Projecto Gestão de Risco em Ambiente Empresarial

Projecto Gestão de Risco em Ambiente Empresarial

Projecto IRIS e ARMS

Projecto-avaliação de serviço de recuperaçãode informação DRE.pt

Projeto de comando dos motores elétricos de um drone para transportar pessoas ou mercadorias

Projeto de controlo de um drone para transportar pessoas ou mercadorias

Projeto de ligação elétrica entre a Ilha da Madeira e a Ilha do Porto Santo

Projeto de um protótipo de ligação elétrica entre a Ilha da Madeira e a Ilha do Porto Santo

Projeto de um travão com máquina elétrica

Projeto de uma moto elétrica com carregamento por painéis fotovoltaicos

Protocol Translation Synthesis

Psychoreal - Creating a Human Persperctive

QDocs/Smart Contracts: Secured and Citizen Centred Processes based on Technology

Qualidade de Serviço em IPTV

Quantifing Emotional Valence and Arosal from Natural Language

Quantum Based Program Analysis

Real Estate Market Analysis For Investment and Buying Cycles Prediction

Real-Time Processing and Control on Multicore Devices

Real.-time Data Processing for Energy Metering Pattern Detection

Receptor GNSS/GPS melhorado em FPGA

Reconhecimento de Identidades Mencionadas sobre Textos em Português

Rede de Comunicações RF sub-GHz reconfigorável para IoT: desenvolvimento do controlador central

Rede de sensores sem fios para aplicações em smartgrid

REEFS - Interaction-based Evolution for Synthetic Creatures

Reference Architecture for Implementing IT Auditing

Refood: Algoritmos para a distrubuição justa e saudavel de bens alimentares

Reliable and Distributed Storage Systems

Remote Access Mechanisms for Domotic Systems

Repositório de Entidades Morfológicas

Repositórios Institucionais 2.0

Requisitos de referencia para um sistema de gestão documental

Requisitos de referencia para um sistema de gestão documental

Resistance Agents: Agents that Play the Resistance Game

Resposta regulatória à infecção pelo SARS-CoV-2

Resposta regulatória diferenciada do linfoma de Hodgkin à progressão do tumor e atuação de fármacos

Reverse Algorithmic Design

RF Harvester for Autonomous Sensors

RF Harvester for Autonomous Sensors

rfffrff

RISC-V + HW accelerator PNG Encoder

RIsCoS - Retrieving Images using Color Sketches

Roadbook APP

Robust Symbolic Execution for WebAssembly

Routing Infrastructure for Censorship-Resistant Overlay Networks

ROVIM - Consola de Comando

ROVIM - Sensores e Controlo

ROVIM - Tracção, Travagem e Direcção

Runtime reconfiguration of a micro-service replica consistency framework

Scanner Magnético de ALTA Resolução

Scientific Computing on High Performance System

SDN Infrastructure for IoT

SDN Synthesis

SEA: Smartcities Enterprise Reference Architecture

SEAL: Language-Independent Web Vulnerability Detection using Machine Learning

Secure Communication over mobile phone using smartcards

Secure Data Storage for Blockchains

SecureFSeSD: Secure FileSystem on an Embedded SD

Security and Trust Management for Censorship-Resistant Overlay Networks

Security assessment automated

Semantic classification of locations from mobility history information

Semantic Process Mining

Semantifying Business Processes

Sensing Platform for Counting People

Service design in the banking industry using DEMO

Serviços de Segurança para PME’s em Portugal

Side-Channel Setup for Chip Testing

Simulation Based Approach to Bacterial Evolution and Phylogenetic Inference

Sistema de Aviso Móvel da Qualidade de Moluscos Bivalves

Sistema de carregamento das baterias de um carro elétrico

Sistema de Domótica para Melhoria da Eficiência Energética em Edifícios

Sistema de Gestão de Parques de Estacionamento

Sistema de Medida de Condutividade Térmica dos Materiais

Sistema de recomendação de imagens e customização de interface

Sistema Eficiente para Processamento de Sinal baseado no CELL

Sistema Multisensorial

Sistemas de Suportes a Estudos DELPHI

Sistemas TI de apoio ao Facility Management em edifícios

Sketch-Driven SQL Synthesis

Skill Progression Based System for Games

Smart Complaints – Natural Language Processing in the Interpretation of Complaints

Smart Traffic - Monitorização inteligente de tráfego automóvel

Smart-Graphs

Smart-Streams

SmartEnergy – Rede inteligente de gestão de energia elétrica em edifícios

SmartEnergy – Sistema de carregamento de carros elétricos interligado a uma rede inteligente de energia

SoC-FPGA Deep Neural Network for Object Detection

SoC-FPGA MobileNets for Embedded Vision Applications

Socially Aware Interactions

SocketsOverMPI - camada de comunicação sobre MPI

Software Centric Energy Efficiency Policies

Sound and music generation from a video sequence

Source Quality with User-generated Content

Sparse Predictive Control for Vehicles

Spatial Disaggregation Using Geo-Referenced Flickr Data as Auxilary Information

Specialized Architecture for High-order Epistasis Detection

Specifying Customers’ Expectations using DEMO-based SLAs

Speech as a health biomarker

SportsBook

STAKE: Secure Tracing of Anomalies using previous Knowledge and Extensions

Stetic Analysis With Java Code

Study of the brain’s dynamic functional connectivity with simultaneous EEG-fMRI: a network science approach

SunEnergy – Produção de energia elétrica a partir do sol com painéis fotovoltaicos

SureThing integration with DS2OS: location proofs for secure smart spaces

SureThing Location Proof Transparency

SureThing UX: use of wearable and kiosk devices for location proofs

Syntax Deep Explorer with multiple corpora

Synthesis of Network Switch Programs

Taguscraft - creating an AI agent to play Starcraft

Tales of Fear - A Tailor-Made Horror Game Experience

Termite - Supporting Encounter Based Apps

The Blame and Shame Game: Simulating Social Norms in Multi-agent systems

The Digital Me

The Effect of Locus of Control on the Anchoring Effect in Information Visualization

The EmoRegulators – A serious game for learning how to regulate emotions

This one time, at band camp ... Dialogue Generation for Sharing emotional Episodes

Tiago Edgar Sôra Barbosa

TicAPP - Digital Transformation in the Portuguese Government

Time Dependent Models for ALS Prognostic

Time Series Forecating of Neurodegenerative Desease Progression

TimeWarp

Touch on Chemistry

Towards Correct Software-Defined Networks

Towards Exascale Epistasis Detections with Heterogeneous Computing

Traceless Execution Support for Censorship-Resistant Tools

Traffic light control using multiagent reinforcement learning

Transposição de Simulações SSFNet para Redes Reais de Grandes Dimensões

Trusted Execution Environment support for blockchains

TrustZone-backed Bitcoin Wallet

Tutor Adaptativo

Tutor for learning based on multiple choice questions

Tutor for learning based on multiple choice questions

Tutor for learning based on multiple choice questions

TUx: Testing UX between Web Frameworks

UBILocus - Framework for location aware application development

UE­UD at NTCIR­12 MedNLPDoc Task

Usabilidade em Sistema de Gestão de Dados Clinicos

Use of Learning Mechanisms to Improve Wind Farms Operation Conditions Monitoring

User Friendly SCA Tool

Using a Public Cloud to Build an Information System for an NGO

Using DEMO for Improving Email Communication

Using Natural Language Processing to Find Bugs in Java Source Code

Using Text mining to increase the insight in IT service Management

Utilização de Aprendizagem Profunda por Reforço no Jogo de Estratégia StarCraft II

Vacuum Box - Histórias e Narativas Dinamicas

Verification of Time Complexity and Functional Correctness of Pointer-Based Splay Tree

Visual Features Extraction using Embedded Hardware

Visual Interfaces for Modol Mapping

WakeUpNet

Web BioSPPy+

Web Services como Tecnologia de Suporte a Processos de Negócio

Who-Fi: Wireless device beHaviOr FIngerprinting

WikiTime - Collaborative Timelines

Wireless Guidance System for Vehicles

Wireless Sensor Network for Home Automation

WiseImplant

Woinc - Worfflows over BOINC

Workflow Management for networked organizations with Blockchain technology

ZIP-Graphs

A Aprendizagem de Anáfora em Inglês e Espanhol como Línguas Estrangeiras

A multifold approach to address the security issues of stateful forwarding mechanisms in Information-Centric Networks

Aceleração da Aprendizagem por Reforço Combinando Redes Neuronais Profundas e Logica de 1ª Ordem

Análise de tendências e padrões na base de dados nacional FitEscola

Análise patológica de tecidos usando redes neuronais profundas

Auriculares com Controlo Ativo de Ruído Sobre Amostrado

Automotive Data Acquisition System - FST

Biblioteca Nacioanal Digital / PORBASE Virtual

Classification of Chest X-Ray Images with Deep Neural Networks for Detecting COVID-19

CMOS Voltage Reference

Colaboração no projecto SmartMob

Colaboração no projecto SmartMob

Constrained IoT authentication in Cloud services

CryingJackpot: Network Flows and Performance Counters against Cryptojacking

Cryptojacking Detection with CPU Usage Metrics

Desarrollo de herramientas de realidad virtual y realidad aumentada para invidentes y otras personas con discapacidad visual para facilitar su integración en la sociedad digital

Design of an Integrated LVDS Transceiver

Determinação da severidade de acidentes cardiovasculares cerebrais (AVCs) usando redes neuronais convolucionais

Determinação do valor de estenose aórtica usando redes neuronais convolucionais

DRE

Efficient Proof-of-space approaches for permissionless blockchains

Electronic Engine Control Unity - FST

Electronic Stearing Wheeal for FST

Estudo de tecnicas de Aquisição e processamento de dados LIDAR

Estudo sobre o impacto de suporte para transações fracas em ambientes de micro-serviços

Evaluation of crash-consistency in Persistent Memory Applications

Fonte Luminosa Inteligente baseada em Leds RGB e Comunicaçõa sem Fios

Generating Realistic Sign Language Animations.

Graph neural networks for the inference of customer preferences

Grupo de Sistemas de Informação - TIIMBUS

Melhoria do desempenho de redes neuronais profundas usando mecanismos de atenção

Microsystems for Biochip Control and DNA Recognition

Modeling Dynamic Systems using Machine Learning Techniques

Monitorização de registos de operação usando aprendizagem automática

NGS4Cloud: Cloud-based NGS data Processing

NGS4Cloud: Cloud-based NGS data Processing

PHYLOViZ, a tool for phylogenetic inference and data visualization for sequence based typing methods

Predicting Frequency and Claims of Health Insurance with Machine Learning techniques

Preservação Digital

Processos de Negócio na PORBASE - Base Nacional de Dados Bibliográficos

Secure Storage with a Small, Verified TCB

Sistema de Ignição Electrónica para Motores de Explosão

Sistema de Leitura de Etiquetas Biosensibilizadas

Sistema de vídeo reconfigurável para modelização da retina humana

Sistema Embebido para Controlar Robôs através de reconhecimento de Gestos

Sistemas de Suportes a Estudos DELPHI

Sistemas Electrónicos para Projecto FST

Sistemas Electrónicos para projectos FST 1

Sistemas Electrónicos para projectos FST 2

Sistemas Electrónicos para Projectos FST 2

Smart Flexible Sensing Architectures for Conformal Detection of Magnetic Fields

Speaker diarization

Stateful@Streams - Stateful Functions for Approximate Stream Processing

SUBA a Hidrogénio no IST Taguspark

Summer School de AI da Microsoft

Summer School de AI da Microsoft

Suporte para coerência causal transaccional em ambiente de micro-serviços

Technical Trainee for magcyte

The impact of sports affiliation on the sensorial experience of a product

Um Sistema de Informação para FRBR

Uma Arquitectura Empresarial para a Bibliotecna Nacional

Using Randomized Byzantine Consensus to Improve Blockchain Resilience under Attack

Validação da qualidade de serviço prestada por servidores na periferia da rede

Water quality monitoring system

Webconfort mecanismos de licenciamento e autenticação seguros e actualização online

Workflow em Processos de Gestão em Objectos Digitais

A defenir - Aluno de licenciatura

Aluno de licenciatura (ainda não tem tese)

Biblioteca de Heurísticas para o alinhamento de Projetos, Programas e Portfólios com a Arquitetura Empresarial

Blockchain -based scret management in multi-cloud storage platforms

Codificação de Video de Alto Desempenho com Paralelismo Massivo em GPUs e Computação Aproximada

Colaboração com o projecto DOT

Colaboração com o Projecto RAGE

Concepção e implementação da interface utilizador do Blended Workflow

Design Computacional e Optimização em Arquitectura

Design Computacional, Processo de Projecto e Interfaces de Programação

Energy behaviour engagement in smart urban environments

Estágio de Portofólio

Estágio de Portofólio

Estágio de Verão - Vimmi

Estágio de verão no Grupo de Investigação VIMMI

Estágio de verão no Grupo de Investigação VIMMI

Estágio de verão no Grupo de Investigação VIMMI

Geração de Paráfrases

Phd visit

PHYLOViZ Online 2.0

PHYLOViZ Online 2.0

Population Genetics

Portfólio de Análise de Corpus de Discursos Politicos

Portfólio Pessoal

Summer Internship VIMMI - Esqueletos plausíveis