Optimal Performance of FACTS to Enhance the Power Quality of Electrical Grid Embedded with Renewable Energy Resources

Incorporating Uncertainty for Decision Making and Policy Design in Electricity Market Modelling

The Interplay Between Positioning and Beamforming in Millimeter Wave Communications

Augmenting Transactional Memory with the Future Abstraction

DVFS Modeling for Energy-Efficient GPU Computing

Speculation in Partially-Replicated Transactional Data Stores

Exploração de Computação Aproximada no Projeto de Hardware Dedicado de Baixo Consumo para a Codificação de Vídeo em Dispositivos Móveis

"Impact of photovoltaic microgeneration systems in the Low Voltage distribution grid

Arithmetic and Algorithms for Emerging Cryptography

Fair and Efficient Parallelism Tuning in Multi-programmed Environments

Environment for Knowledge Acquisition by Restricted Domain Names in Internet Infrastructure

Leveraging Existing Technologies to Improve Large-Scale Recommender Systems

Complex Networks From An Edge Perspective

Interacting with a virtual teaching assistant: from the student model to the intelligent tutor

Software-Defined Systems for Network-Aware Service Composition and Workflow Placement

Constraint-Based Multi-Objective Combinatorial Optimization

Intrusion Recovery in Cloud Computing

High-Fidelity Locomotion in VR

Automated Planning to Support the Deployment and Management of Applications in Cloud Environments

Energy-Efficient Computing: Adaptive Structures and Data Management

Privacy by Design Enterprise Architecture Patterns

Abstractive Multi-document Summarization using Topical Simplicial Curves

An edge-based smart network monitoring system for the Internet of Vehicles

Automated Deep Learning Artist for Music Generation

Categorização Automática do Conteúdo do Acervo de Imagens Digitais dos Arquivos do IST

Chronic pain assessment from patient reports

Classificação Automática de Correspondência de Uma Instituição Pública

Classificação de Emoções em Redes Sociais

Cloud-based web application for multivariate time series analysis: A language-agnostic integrative architecture for short- and long-running machine learning algorithms

Contact Agent Assistant

Exploration of Audio Feedback for L2 English ProsodyTraining

FPGA accelerated model checking of regulatory networks

Generative models for image descriptions

Inference of Pronunciation Difficulty from Non-Native Data

Machine Learning methods for finding predictors of Rheumatoid Arthritis treatment response

Network Protocols for Stream Processing on Low-Cost FPGAs in Space Systems

Otimização do Algoritmo Back Propagation

Pure Function Synthesis in the OutSystems Plataform

Seleção Automática da Lista de Distribuição Associada à Correspondência de Uma Instituição Pública

Unsupervised Density-based Concept Discovery

A Book-oriented Chatbot

Extração e Visualização de Indicadores de Desinformação (Fake News)

Fenotipagem na Multimorbilidade

Longitudinal and Survival Data Analysis for Rheumatic Diseases Prognoses

Machine Learning and Electronic Medical References: Reuma.pt study

Question Generation Using Neural Networks

Causality Tracking Trade-offs for Distributed Storage

ConnectionLens: Entity and Relationship Extraction from French Textual Data Sources

CUBES: A New Dimension in Query Synthesis From Examples

Descoberta de padrões emergentes de tráfego na rede de transportes públicos em Lisboa

ENGAGE: Session Guaranties for the Edge

Estudo e previsão da procura na rede pública de bicicletas de Lisboa (GIRA)

Exploiting non-conventional DVFS on GPUs: application to Deep Learning

FOREST: An interactive multi-tree synthesizer for regular expressions

MAGIC - Manipulation of virtual people for remote collaboration

Optimization of Data Cleaning Programs

Prioritizing Facebook´s Infer Static Analysis Tool Warnings

Unsupervised Anomaly Detection in Water System Networks using Recurrent Neural Networks

As legendas de filmes ao serviço do processamento da língua natural

Extendo o VITHEA KIDS com Exercícios que Visam Testar e Melhorar Variadas Competências Linguísticas de Crianças

Haking the sistems from within

Interfaces Cérebro-computador Baseadas em EEG

Leveraging Subsampling Techniques to Optimize Machine Learning Jobs in the Cloud

PE2LGP 4.0: Português Europeu para Língua Gestual Portuguesa

Problem-aware High-Performance Search Methods for Any-Order Epistasis Detection

RiverCure Portal: Collaborative GeoPortal for Curatorship of Digital Resources in the Water Management Domain

Unlimited Vector Extension with data streaming support

Using Robots to make Computational Thinking Accessible to Children with Vision Impairments

BiRep: A reputation scheme to mitigate effects of black-hole nodes in Vehicular Delay-Tolerant Networks

Evaluating Password Strength Meters and Password Composition Policies using Guessing Attacks

IntelliComment: An IDE Plugin to Improve Java Source Code Using Comments

SocialGeoProtocol: A Socially and Geographically Aware Routing Protocol for Delay Tolerant Networks

Packing and Fusing Narrow-Width Vector Operations for Energy-Efficient SIMD

qNotify Notification System and Integration with a Document Automation Platform

Pulsarcast - Scalable and reliable pub-sub over P2P networks

Synthesizing Signing Avatars from Annoted Language Corpus

A practical case of software architecture for metadata management in the context of business intelligence

Análise de dados urbanos para determinação de fluxos de tráfego na cidade

Análise de Texto e Referências Multi-Documento

Automatization of Incident Resolution

Biomarcadores de progressão da doença de Alzheimer

Development of Mobile Application For Speech Therapy

Dynamic Invocation

FaultSee: interactive fault injection in distributed systems

Feature selection for high longitudinal data using elastic net

JusticeChain: Using Blockchain To Protect Justice Data

Marcadores Integrativos para Apoio ao Prognóstico de Disturbios do Foro Psiquiátrico

Precision Medicine with electronic medical records

Realidade Aumentada em Sala de Operações

VisMillion and Change

A Citizen-Centric and Multi-Curator Document Automation Platform: The qBox and Further Interoperability Aspects

A Complexity Metric for Microservices Architecture Migration

A Product Family for Digital Humanities Repositories

A Study of Static Analysis Tools for Ethereum Smart Contracts

Accelerating Tree of Life reconstructions using GPUs and Computational Intelligence

Ambiente de Desenvolvimento para Processador Open Risk

Blended Workflow introduction of skip and redo operations

CAPTOR: loCAtion Proofs for goods TranspOrtation Reports

CDRGen: A Clinical Data Registry Generator

Chattuga - desenvolvimento de um chatbot para português

Collaborative software development: from goals to coding

Compreensive Study of Cronic Deseases in a Population-Based cohort

Configurable RISC-V softcore processor for FPGA implementation

CROSS: loCation pROofs for Smart touriSm in the city

Data Center Optimization using vitual machine profiles

detectP2P – P2P Detection of Travel Mode

Dissertação: Exploring Project Management Tools based on the ITLingo PSL language

Flying Tourist Problem An Integer Linear Programming Approach

FPGA- PNG Encoder

GameCourseNext

High Performance GPU-based Power Grid Analysis

Identification of Cancer Common Gene Signatures Through Regularized Classification

Identification of Skype Covert Channels using Sketches in SDNs

Improving Acoustic Features for Structural Segmentation of Music

IoT Neighbourhood Watch

Machine Learning and Computational Intellingence for High-Order Epitstasis Detection

Machine Learning for Personalized Health Care

Melange: A Hybrid Approach to Tracing Heterogeneous Distributed Systems

Multi-Cloud Deployment and Execution of Earth Observation Services

New Language for Program Test Generation

Omega: a Secure Event Ordering Service for the Edge

Privacy-preserving data market for threat sharing

RectifyPlus - Black-Box Intrusion Recovery in MEAN Applications

Say something Smart 3.0 - um chatbot em domínio aberto

Sculpture Inspired Musical Composition - One Possible Approach

Seafood safety assurance by data mining and machine learning

SQUARES : A SQL Synthesizer Using Query Reverse Engineering

Startrail - Adaptative Network Caching for Peer-to-peer File Systems

Video Based Live Tracking of Fishes in Tanks

Applying Modern HPC Programming Platforms to Plasma Simulations

CoopMap: Democratizing Community Maps using Crowdsourcing

DeepData: Machine Learning in the Marine Ecosystems

Design of AR interface for motorcycle driving assistance

Etherspace: Practical Proof-of-Space for Blockchains

Melhoramento do Protocolo de disseminação do Ethereum

Portuguese Speech Synthesis for Amyotrophic Lateral Sclerosis

Program Synthesis from Noisy Tabular Data

Efficient Implementation of Causal Consistent Transactions in the Cloud

qDocs: Citizen-Centered and Multi-Curator Document Automation Platform: The Curator Perspective

Algorithmic Tree-Inspired Design: A Link Between Manual and Performative Methodologies

Boosting the performance of multi-objective epistasis detection

PALbot: a Plug&(Almost)pLay chatbot

Question Generation With Deep Neural Networks

Surdez na Terceira Idade

TLS for IOT

Automatically Generating Novel and Epic Music Tracks; Exploring Computational Creativity using Deep Structures against Music

FPGA-Based Traffic-Sign Classification

Geocast Routing in Vehicular Delay-Tolerant Networks

Information Platform for Muscle-skeletal Health

LdoD Visualization Reading The Book of Disquiet with Information Visualization Techniques

Mining e-prescription databases

Multi-lingual automatic reply for customer support

Privacy protection proxy for IoT data endpoints

Produção Semi-Automática de aplicações Web Responsive a partir de especificações RSL

SAR ADC for Stochastic Self-Calibration Algorithms

Sistema Embebido de Monitorização de Tráfego em Tempo Real para Cidades Inteligentes

SoC-FPGA Monte Carlo Tree Search Processor

Applying Deep Learning Techniques Towards the Diagnosis of Medical Images

EEG-based Music Cross-modal Retrieval

IR-UWB Transmiter for Biomedical Applications

Processador Didático P4 - Especificação e Implementação do Processador e Ambiente de Desenvolvimento

Program Synthesis with Formal Methods for outsystems language

Sigma- Delta ADC for IoT Applications

Construção de Artefactos Narrativos

Estágio de Verão

Machine Learning in Python

Geração de artefactos a partir de descrições

'Online Density-based Discriminative Models'

Trabalho de Doutoramento

Tratamento de Dados

Development and Analysis of a SAT-model for Determining Short-circuit Conditions in Logic Circuits

Self-organization of Emotional Spaces in Fado Music