The Interplay Between Positioning and Beamforming in Millimeter Wave Communications

Augmenting Transactional Memory with the Future Abstraction

Energy storage as a way to facilitate the integration of renewable energy

Speculation in Partially-Replicated Transactional Data Stores

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

Arithmetic and Algorithms for Emerging Criptography

Arithmetic and Algorithms for Emerging Cryptography

Fair and Efficient Parallelism Tuning in Multi-programmed Environments

Leveraging Existing Technologies to Improve Large-Scale Recommender Systems

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

Complex networks analysis from an edge perspective

Constraint-Based Multi-Objective Combinatorial Optimization

Intrusion Recovery in Cloud Computing

Channel Modelling for Polarised Off-Body Communications with Dynamic Users

Aluno de Doutoramento

On-demand RAN Slicing Techniques for SLA Assurance in Virtual Wireless Networks

Energy-Efficient Computing: Adaptive Structures and Data Management

​Techniques for Enhancing the Performance of Data-intensive Management Systems

Mass Customization of Ceramic Tableware

RF Receiver for Navigation Systems Using Pulsars

Mobile Device Security with ARM TrustZone

Optimal Implementation of LTI Systems for Embedded Systems/ Real Time

Techniques for enhancing the efficiency of Transactional Memory

novaVM: Enhanced Java Virtual Machine for Big Data Applications

Decision-making for retail electricity providers in liberalized electricity markets

GHEVC: An Efficient HEVC Decoder for Graphics Processing Units

Manipulation of 3D Objects in Immersive Virtual Environments

3D Flashback: an Application for Video-Based Rendering Using Color and Depth Cameras

Dynamics of Reputation and the Self-organization of Cooperation

Incorporating Human Expertise in Robot Motion Learning and Synthesis

Toward a Context-Aware Augmentative and Alternative Communication System for European Portuguese

Automatic Classification of Metadiscourse

Cascade Book Recommendation

Essays in telecomunnication policy

Geo-Replicated Key Value Stores

Prospecção de genes aplicados à biodegradação de hidrocarbonetos e produção de surfactantes utilizando abordagens computacionais

Click Modulation

Using energy storage systems in electricity markets

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

Body Perception Manipulation with Real-Time Movement Sonification of Upper Body Exercises

Evolution of Signaling in Adaptive Networks

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

From Requirements Specification to Tests Execution: An Integrated Approach from Acceptance Tests Perspective

Haking the sistems from within

Interfaces Cérebro-computador Baseadas em EEG

Learning Your Moves: A Gait Motion Virtual Reality Educational Tool for Physiotherapy Students

Multilabel classification of unstructured data using Crunchbase

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

Simulation of the future Iberian power system till 2040

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

Bobine de Peterson Elecrónica: análise do regime transitório e validação experimental

Monitorização de Pessoas em Ambiente Doméstico

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

Engineering Trust in Complex Networks

eWOM para instituições públicas: aplicação ao caso do Exército Português

Optimization of UAV message delivery trajectories in partitioned Mobile Ad-hoc Networks using Machine Learning methods

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

Learning Dynamics in Populations of Actor-Critic Agents

A Browser-based Anonymous Questionnaire System with User-controlled Linkability

Development of Mobile Application For Speech Therapy

Dynamic Invocation

Empathy, conformism and consensus in reputation-based cooperation with private information

FaultSee: interactive fault injection in distributed systems

IoT System for Air Quality Monitoring with NB-IoT

JusticeChain: Using Blockchain To Protect Justice Data

Learning dynamics in populations of actor-critic agents

Security Analytics with Mixed Event Sources and Ensembles

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 Proposal for Project Management Methodology for Projects in the Public Domain in the Military Area

Accelerating Tree of Life reconstructions using GPUs and Computational Intelligence

Ambiente de Desenvolvimento para Processador Open Risk

An Ecosystem for Securing Vehicle-to-Everything Communication

Analysis of the Influence of Pantographs in Railway Communications

Analysis of the Performance of Multi-Access Edge Computing Network Slicing in 5G

Application for Defining Complex Smart Home Behaviors

Auditory Collaborative Surfaces

Blended Workflow introduction of skip and redo operations

C Compiler for the VERSAT Reconfigurable Processor

CAPTOR: loCAtion Proofs for goods TranspOrtation Reports

CDRGen: A Clinical Data Registry Generator

Chattuga - desenvolvimento de um chatbot para português

Cibersegurancça em Cidades Inteligentes - Segurança das Tecnologias e dos Dados em Sistemas Inteligentes de Transporte

Circuito inversor para alimentação de estágios de semicondutores de potência em geradores de Marx

Collaborative software development: from goals to coding

Conversor Modular do Tipo Gerador de Marx Bipolar para Aplicação numa UPS Interativa

CROSS: loCation pROofs for Smart touriSm in the city

Crystalline: A Privacy-Aware Middleware for the Android Platform

Data Center Optimization using vitual machine profiles

Deep Architecture for the Versat Reconfigurable Processor

Desenvolvimento de Smart Node IoT para Aplicações Agrícolas

Design and assessment of MMC-HVDC system

detectP2P – P2P Detection of Travel Mode

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

Energy Management and Control in Hybrid Aircraft with Energy Storage

Energy Modelling: Forecasting the Australian Electricity Mix by 2030

Evaluation of Antennas Location on Trains for Mobile Communications

Flying Tourist Problem An Integer Linear Programming Approach

Fog and Cloud Computing Optimization in Mobile IoT Environments

FPGA- PNG Encoder

High Performance GPU-based Power Grid Analysis

Identidade Digital – o Espectro desde a Anonimização à Identificação

Identificação e Análise de Cryptojacking

Identification of Skype Covert Channels using Sketches in SDNs

Identification of Skype Covert Channels using Sketches in SDNs

Improving Acoustic Features for Structural Segmentation of Music

Integrating Approximate Duplicate Detection into Pentaho Data Integration

Integrating Outlier Detection into Pentaho Data Integration

IoT Neighbourhood Watch

Localized Reliable Causal Multicast

Machine Learning and Computational Intellingence for High-Order Epitstasis Detection

Melange: A Hybrid Approach to Tracing Heterogeneous Distributed Systems

Ms.Pac-Man vs Ghost Team - A Monte Carlo Tree Search Approach

Multi-Cloud Deployment and Execution of Earth Observation Services

MyCampus Chatbot - A Conversational Agent that offers information to IST Students

New Language for Program Test Generation

Omega: a Secure Event Ordering Service for the Edge

Optimal design and economic analysis of a grid-connected PV systems operating under Net Metering or Feed-In-Tariff support mechanisms – case study of a warehouse in Poland

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

Simulator for the RV32-Versat Architecture

SQUARES : A SQL Synthesizer Using Query Reverse Engineering

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

Technical and Economic Solutions for Grid-Connected Utility-Scale Solar Photovoltaic Power Plants

Video Based Live Tracking of Fishes in Tanks

Applying Modern HPC Programming Platforms to Plasma Simulations

Compreender o Processo de Adoc ̧ao de Tecnologias ̃ Interativas em Centros de Reabilitac ̧ao ̃

CoopMap: Democratizing Community Maps using Crowdsourcing

DeepData: Machine Learning in the Marine Ecosystems

Design of AR interface for motorcycle driving assistance

EDITE: Voice-based Mobile Text Editing

Effective Games in Multilayer Complex Networks.

Etherspace: Practical Proof-of-Space for Blockchains

Evolution of Cooperation through Graduated Punishment

GradeMe

Melhoramento do Protocolo de disseminação do Ethereum

Norms for Beneficial A.I.

O efeito messiânico causado pelo altruísmo patológico

Portuguese Speech Synthesis for Amyotrophic Lateral Sclerosis

Program Synthesis from Noisy Tabular Data

The Fall of Homo Economicus - The Role of Cognitive Biases and Theory of Mind in Human Coordination

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

Bets Helper - A Sports Betting Chatbot

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

Impact and solutions to cope with high penetration scenarios of photovoltaic micro generation embedded in low voltage distribution networks

Interpretable Deep Learning Methods for Classifying Folktales According to the Aarne-Thompson-Uther Scheme

LdoD Visualization Reading The Book of Disquiet with Information Visualization Techniques

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

Solução Mitigadora de Cavas de Tensão numa Instalação Industrial

Stochastic Population Dynamics under Repeated Collective-Risk Dilemmas

Applying Deep Learning Techniques Towards the Diagnosis of Medical Images

Assessment of Fault Ride Through Capability of Wind Generation System with a Doubly-Fed Induction Generator

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

The Impact of Feature Causality on Normal Behaviour Models for SCADA-based Wind Turbine Fault Detection

The Impact of Feature Causality on Normal Behaviour Models for SCADA-based Wind Turbine Fault Detection

Model-based Testing: from Requirements to Tests

Providing trust to multi-cloud storage platforms through the blockchain

Sigma- Delta ADC for IoT Applications

2Gather4Health: Web Crawling and Indexing System Implementation

Census Optimization Using Machine Learning Techniques

Estudo de Sistemas Pump as Turbine para Recuperação de Energia Utilizando Máquinas de Indução

Implementation of decision and process validation systems using natural language processing methods

Otimização de Redes Neurais Convolucionais em FPGA com Redução do Tamanho dos Operandos

Otimização de Redes Neurais Convolucionais na FPGA utilizando Técnicas de Compressão

Physician-friendly predictive model: application to vasopressors administration and mechanical ventilation prediction

“Big data meets nature conservation”: Ferramentas automáticas para extracção de informação relevante para a conservação da biodiversidade

Virtual Assistant for Web Dashboard (Analytic Bot)

4G Network Patch using Drones

A Distributed and Hierarchical Architecture for Deferred Validation of Transactions in Key-Value Stores

Adaptive Dynamics and Structural Properties of Financial Markets

Adaptive Information Dissemination in the Bitcoin Network

An Investigation into the Relationship between Cryptocurrencies, Anonymisation Networks, and the Darknet Cybercrime Scene

Analysis of 5G Cellular Radio Network Deployment over several Scenarios

Analysis on the limits of capacity and coverage extension of ad-hoc UAVs networks

Application of the Lean Six Sigma (DMAIC) Methodology to ISO/IEC 17025:2005 Certified Metrology Laboratories

ARCADE: Augmenting Rehabilitation Centres to Assist Physiotherapists through Digital Environments

Automatic Collection of Citations in the LdoD Archive

BCaR: Blockchain in Car Registration

Blockchain as a consensus service

Blockchain Simulator

Cancro da Mama

CARAVELA: Cloud@Edge A fully distributed and decentralized orchestrator for Docker containers

CogniHue: Studying the cognitive effect of color in HCI

Container network topology modelling,

DeepSea: Web-based database

Design of Control Strategies for Low Voltage DC Residential Grids

Dimensionamento e construção de protótipo de conversor eletrónico de potência para aplicação em sistemas fotovoltaicos

Disjuntor Rapido Auxiliado por Semicondutores

Emulador de Inércia Virtual para Sistemas de Geração Distribuída

ErrorIST 2.0 - Geração de erros à la carte

Evaluation of 5G Cellular Network Implementation Over an Existing LTE One

Evaluation of Train Communications in Bridges and other Metallic Structures

Evolution of Cooperation through Graduated Punishment

Evolution of Cooperation through Graduated Punishment

Exploiting Processing Near Cache for Memory Bound Vector Operations

Fine grained transaction scheduling in replicated databases via symbolic execution

FireFlint: Firefighting Support Flying Intelligent Network

From Skeuomorphism to Flat Design: Investigating Older Adults Experience

HCE Mobile Ticketing: Providing Security for Mobile Ticketing Applications Backed by TrustZone

Health Alert Dashboard

Identity in BlockChain and Smart Contracts

Ilha Sustentável

ImmersiveMind: Terapia de Reminiscência através da utilização de Vídeos 360º

IncidentalVis

Large scale membership and consistency

Learning language skills based on implicit, explicit and active learning

Mechanisms for Providing Causal Consistency on Edge Computing

On-Board Multi-core Fault-Tolerant SAR Imaging Architecture

Online Security Analytics

PE2LGP 3.0: from European Portuguese to Portuguese Sign Language

Real-Time Attack Detection on Software-Defined Networks

Regulacao tensao-frequencia em redes fracas com produçao distribuida e armazenamento de energia

Response Rate Limiting no serviço DNS de .PT

SediVis: Visualizing Plume Dispersion

Sistema fotovoltaico com conversor eletrónico multi-terminal

Video Compression Using (End-to-End) Deep Learning

Virtual Reality for Locomotion Rehabilitation

VisMillion

Web Monetization Using Crypto-Currencies

--

A recommender-based approach to self-tuning of cloud systems

A Virtual Assistant for Web Dashboards ( Support BOT)

Ad hoc teamwork with unknown task model and teammate behavior

Adaptive Dynamics and Structural Properties of Financial Markets

Adopting Microservices - Migrating a HR tool from a monolithic architecture

An overview of the development of electric vehicle markets in selected EU member states: Analysis of observed trends and supporting policies

Analysis of Antennas’ Locations on Trains for Mobile Communications

Application of Deep Learning Techniques to the Diagnosis of Medical Images

Automatic Annotation of Unstructured Fields in Medical Databases

Blended Workflow Organizational Perspective

Census Optimization Using Machine Learning Techniques

Collect Citation in the LdoD Archive Using Crowdsourcing

Conformance Checking for Care Pathway Compliance Assessment

Creating Recipes using Machine Learning and Computational Creativity

Data Driven Performance Models for Photovoltaic Modules

Deep Learning for Multi-Label ICD-10 Classification of Hospital Discharge Summaries

Design optimization for a hybrid renewable microgrid: Application to the case of Faial Island, Azores Archipelago

Design, feasibility study and environmental analysis of a grid connected PV system in Cambodia

Discourse analysis for mental health monitoring

DTBM - Detecting Travel and Behavioral Mode

High Frequency Integrated DCDC converter

Influence of thermal plants cycling costs in the economic balance of renewables in Portugal

Integrated high PSRR class D audio driver

MyWatson: A system for interactive access of personal records

Portugal's Transition to a 100% Renewable Energy Sector by 2050

Power Management Unit for WigGig SoC

Predicting Restaurant Inspection Scores Based on Yelp Data and Sanitary Inspection Reports

Punishment dynamics in structured populations

Reusable Framework for Digital Humanities Repositories

Reward and Punishment in Climate Change

Rigorous Project Plans with the ITLingo PSL Excel Template

RSLingo4Cybersecurity: Rigorous and Reusable Requirements Catalogue in Cybersecurity Domain

Solar Based Rural Electrification in Liberia

Solar Energy Harvesting PMU

Solving the treewdith and pathwidth in graphs using MaxSat

Visualising Data in NAPP Web Application

Wind-Hydro Hybrid Park

Workflow Engine for Earth Observation Services

Co-evolution of cooperation and in-group favoritism

Compact Three-Phase SiC Inverter for the IST Formula Student Prototype

From a Monolithic to a Microservices architecture - Hierarchical clustering modularity re-engineering through transactional contexts

Maximum Power Point Tracking in Photovoltaic Systems with Partial PV Shadowing

Parallelization of Conditional Path Detection in Graphs

Controladores Ghost Team Hybrid e Bullseye - Eficiência de controladores Ghost Team com Observação Parcial

Embedded System for Gym and Fitness Centers

Implementação de filtros de imagem em FPGA usando ferramentas de síntese de alto nível

IPDiff - Detecting IP Traffic Changes

Speculative Read-Write Lock Elision

Desenvolvimento de Fresa CNC a laser: Sistema de Controlo Global e Programas de Vetorização

Aplicação de Tecnologia LoRaWAN à Monitorização de Redes de Distribuição de Energia

Audio-Visual Engagement Detection for Robots

Big Data Privacy by Design Computation Platform

Blended workflow access control perspective

Catálogo de Requisitos de Segurança Alinhados com o Regulamento Geral de Proteção de Dados Pessoais (UE) 2016/679

CNN Architectures on Heterogeneous Systems

DClaims: A Censorship-Resistant Web Annotations System

Dependência dos parâmetros do solo com a frequência – sua influência no comportamento de eléctrodos de terra

Desenvolvimento de Fresa CNC a laser

Development of a Domotic Module for DomoBus

Distributed Algorithm for the Analysis of Properties of Complex Networks

Dynamic Security Analysis using Virtual Machine Introspection

Energy-Efficient HEVC Motion Estimation for Mobile Heterogeneous Platforms

EpiMass: A Clinical and Epidemiological Platform for Mass Gatherings

Extending OpenMSP430 Microcontroller for IoT Low-power Applications

MultiTLS: secure channel with cipher diversity

One thousand agents speaking all the languages in the world

Performance Analysis of Intel Gen9.5 Integrated GPU Architecture

PREMIUM: Private Reactive Multipath Communication Middleware

Ray Tracing Acceleration Structures on Mobile Environments

Ricardo Jorge Ferreira Ponciano

Routing Heuristics in LTE-Advanced Networks

Sensor Data Market for the Internet of Things

Sensor Data Market for the Internet of Things

Service Integration Framework for TIBCO ActiveMatrix R BusinessWorksTM 6 Integration Framework

SmallChain - The Implementation of a Distributed Ledger

Smart Place Manager: provisioning, deployment and monitoring of cloud-based application servers

SoC Implementation of OpenMSP430 Microcontroller in UMC 130nm

Stream-Economics - Resource Efficiency in Flink Stream Processing with Accuracy Awareness and Load-Shedding

Systems Integration within Cyber-Physical Systems

Trusted Cooperative Exchange System for Security Vulnerabilities and Exposures

Ultimate Capsule -- an app that helps you dress better with less clothes

Watson contra o Mundo

Whitebox fuzzing for web application security

Wireless Adaptive Reconfigurable Network

Wireless Adaptive Reconfigurable Network - Sensors and Energy Harvesting Subsystem

XRAY for JIRA Cloud

Algorithms for Leakage Detection System

An Overview of Deep Learning Strategies for Time Series Prediction

Análise da integração dos mercados de banda de reserva secundária de Portugal e Espanha

Equalização da tensão em Mosfet's em Série

Evaluation of Antialiasing Techniques on Mobile Devices

Implant Planning with a Tablet in an Augmented Reality Environment

Machine Learning Techniques for System Modeling

MapVis

Military Confrontations simulator for the training of army officers

Modelling Renewable Energy Integration: Energy Storage in the 2030 Portuguese Power System

Real-time Emulation of Vehicular Non-stationary Channels

Towards Computational Fact-Checking: Automatic Search and Retrieval of Data for Fact-Claim Checking

Transformador modular de alta frequência para aplicação em sistemas de energia

Wind Generation Forecast from the Perspective of a DSO

Comparative analysis of the renewable energy generation forecasts in Poland and Portugal and their influence on the energy exchange prices

Optimization algorithms in forest planning models

Sistema de Gestão de Informação do IPFN: Gestão de Recursos Humanos e Suporte Informático

Avaliação do desempenho de um carro elétrico com máquina DC e máquina AC

FollowMySteps

Attention Network: steep learning curve in an invariant pattern recognition model

Domotic Platform for Energy Management

Estudo sobre Mecanismos de Segurança Aplicáveis à Difusão de Conteúdos Multimédia Adaptativos e Escaláveis em Redes Peer-to-Peer

Integrating Transactional Memory Support in the TensorFlow Framework

Services Load Balancer for a Sofware Defined IXP

Wireless Sensor Network for Smartgrid Applications - (Rede de Sensores sem Fios para Aplicac¸oes de Smartgrid)

Estágio de Verão

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

Language Dynamics in Dementia Patients

Analysis of Music Spaces

The Applicability of Gacuda in Developing Genetic Algorithms for Minimum Vertex Cover and Subset Sum Problem

Unsupervised Topic Modelling of Fernando Pessoa's Works (SiPN/FLAD)

Fine-grained Topic Models

64-bit ABI for small Compilers

Supervised Sound Source Separation using Non-negative Matrix Factorization (Capstone Project)

Topic Models for Scientific Publications

U Medicine

Characterisation of BAN Communications channel in indoor environments in LTE-A deployments for a moving body