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

Constraint-Based Multi-Objective Combinatorial Optimization

Power Efficient Communications in Body Area Networks within Smart Cities Infrastructures

Aluno de Doutoramento

Load-Balancing Mechanisms for C-RAN

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

As colocações em corpora de PL2: identificação, classificação e análise de erros

Avisos Multi-Modais em Ambientes Virtuais

Design personalizado para producao em massa

Low Phase-Noise CMOS RC Oscillator for RF Applications

Dependable MapReduce in a Cloud-of-Clouds

Modelling Interpersonal Conflict in Multi-Agent Societies

SAR ADCs Design and Calibration in Nano-scaled Technologies

Efficient and Secure Routing in Wireless Ad Hoc Networks

QUANTUM PROBABILISTIC GRAPHICAL MODELS FOR COGNITION AND DECISION

Regulatory Framework Design and Market Response Interactions under Growing Solar and Wind Generation Deployment in the Portuguese Electrical Energy System

Emergence and self-organization of cooperation

Internet Sharing in Community Networks

On the Service Placement in Community Network Micro-Clouds

Multi-Phase Ring Oscillators

Radio-Frequency Energy Harvesting Circuits

Vehicle-to-Grid contribution to Energy Resource Management in the Smart Grid Context

Smart matrix converter-based grid-connected photovoltaic system for mitigating current and voltage related power quality issues in the low-voltage grid

Boosting the performance of multi-objective epistasis detection

Surdez na Terceira Idade

TLS for IOT

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

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

SAR ADC for Stochastic Self-Calibration Algorithms

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

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

Providing trust to multi-cloud storage platforms through the blockchain

Sigma- Delta ADC for IoT Applications

Census Optimization Using Machine Learning Techniques

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

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 Information Dissemination in the Bitcoin Network

Analysis of 5G Cellular Radio Network Deployment over several Scenarios

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

ARCADE: Augmenting Rehabilitation Centres to Assist Physiotherapists through Digital Environments

Automatic Collection of Citations in the LdoD Archive

Blockchain as a consensus service

Cancro da Mama

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

Exploiting Processing Near Cache for Memory Bound Vector Operations

Fine grained transaction scheduling in replicated databases via symbolic execution

From Skeuomorphism to Flat Design: Investigating Older Adults Experience

Health Alert Dashboard

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

PE2LGP 3.0: from European Portuguese to Portuguese Sign Language

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

Security for Mobile Ticketing Applications

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

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

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

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

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

Reusable Framework for Digital Humanities Repositories

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 treevdith and pathwidth in graphs using MaxSat

Visualising Data in NAPP Web Application

Wind-Hydro Hybrid Park

Workflow Engine for Earth Observation Services

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

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

Service Integration Framework for TIBCO ActiveMatrix R BusinessWorksTM 6 Integration Framework

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

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)

Adaptive Management and Administration of IT Infrastructures

Cancer Models for Optimal Therapy

Extension of navigation and communication aeronautical services coverage over the ocean via antenna optimisation

Interactive Storytelling for Social Agents in RPGs

Policy-Based Adaptation of Byzantine Fault Tolerant Systems

Questionaire System for Human Resources

Towards Computational Fact-Checking: Is the Information Checkable

Virtual Tour na Fundação Calouste Gulbenkian - para uma interpretação sensorial do espaço construído. O caso de estudo: Sede e Auditório da Fundação Calouste Gulbenkian

A Sketch-Based Interface for Modeling Articulated Figures

Algorithms for Markov Logic Networks

Analysis of the use of LTE-A in Mission Critical Communications among armoured vehicles in operational scenarios

Analysis of the use of LTE-A in Mission Critical Communications among soldiers in operational scenarios

Aplicações webRTC com recurso à plataforma reThink

Assinaturas Digitais Qualificadas Remotas

Avaliação e Controlo de um Sistema de Microgeração na Ligação à Rede Elétrica

Biochip architecture for real-time cardiac patholagies identification.

CLEENEX: Iterative Data Cleaning with User Intervention

Comparing software stacks for Big Data batch processing

Computer-Aided Virtual Reality Environment for Collaborative CT Colonography

Controlo eletrónico de um motor de combustão interna para regular um gerador elétrico

Conversor Elevador com Isolamento Galvânico a Alta Frequência para Aplicação em Sistemas Fotovoltaicos

Creating a Dynamic Battle System for a Massive Multiplayer Online Real-Time Strategy Game

Crypto Cloud

dDocs/Dashboards: Data Analytics for a Citizen-Centric Platform

Development of low-cost LoRaWan gateway for private deployments

Domotic Framework for the Internet of Things - The mHouse Framework

DroneSensor - Recolha de Informação de sensores baseada em drones

Energy4Cloud

Especificação rigorosa de requisitos de usabilidade para software

Estacionamento seguro para bicicletas em meio urbano

Exact Inner Product Processor in FPGA

Fault tolerant control for active rendez vouz mission

Gamification of Software Developmen

Generalized Paxos made Byzantine, Visigoth and Less Complex

Geocodificação e Datação Automática de Obras Musicais com, Base no Conteúdo Áudio

Implementation of VoLTE considering different QoS and QoE overall approaches

Improving Message Delivery in UAV-based Delay Tolerant Networks

Improving Player Experience with NPC Vendors in Role Playing Games

ITBox: A Collaborative Platform for Better Managing Technical Documentation

Mafia/Werewolf AI Player

Measurement of imperceptible breathing movements from Kinect Skeleton Data

Micro-VMS: Unidade móvel VMS para embarcações de pesca artesanal

Modelação do efeito térmico e eletromagnético provocado por correntes elétricas em barramentos não isolados, em materiais de protecção mecânica: redes metálicas

Modelling of incidents in UMTS and LTE networks encompassing mitigation strategies

Modulo de Processamento em banda de base para sistema de comunicações do ISTnanoSat

Optimal Control Algorithms for spacecraft rendez-vous applications

Parallel GPU Boolean Evaluation for CSG Ray-Tracing

PebbleSmartGait

ProjectLingo: Rigorous Specification of Project Plans

Radio Frequency Pulsar Signal Simulator

Routing in Delay-Tolerant Networks Based on Past Events

RSLingo-Studio: A Tool for Rigorous Requirements Specification, Validation and Transformation

Software Authenticity Protection in Smartphones using ARM Trustzone

SureThing - User Device Location Certification

TécnicoViz - Visualizing Patterns in Educational Data

This4That - A Secure incentive scheme for Internet of Things data sharing

Variable Data Consistency in Parse Server

Visualização de Doenças Transmissíveis

Visualizing Dam Behavior

Visualizing Disease-Related Patterns

A Visualization of Network Data: Combining 2D and 3D Features

ADAM: ADAptive Microlearning using virtual flashcards

André Filipe Pinto Domingues

Automated Classification of Causes of Mortality

BikeApp - Detecting Cyclists Activity and Location using Bluetooth Low Energy Technology

Bolsa BIC - Projecto RETHINK

Brailler++: Combinação de teclados físicas e virtuais em dispositivos móveis

Byzantine Fault Tolerant Monitoring of Distributed Systems

Cloud-Auctions

Definition of a SDN Northbound Interface for Load Balancing Applications

Designing and Implementing a browser RTS

Dynamic Adaptation of Byzantine Fault Tolerant Protocols

Evaluating the Security of Cryptographic and wireless systems against electromagnetic attacks

Evaluation of Narrowband Technologies in Urban Environments

Exploiting Hardware Transactional Memory to Accelerate Concurrent Spatio-Temporal Indexes

GeoFriends-Recommendation System in Location Based Social Networks

Influência do Efeito de Proximidade no Cálculo dos Coeficientes de Capacidade de um Cabo Subterrâneo Trifásico

Leveraging Transient Resources for Incremental Graph Processing on Heterogeneous Infrastructures

Manipulating 3D Objects in Mid-Air using Virtual Rails

Monitoring and Assessment of the Wi-Fi Signal Quality and Detection of Unauthorized AP´s on High-End Wireless Networks, MSc Thesis

NAPP: Connecting mentors and students at Te ́cnico Lisboa

Nonvisual Locomotion Techniques for Mobile Virtual Environments

Peer-to-peer Communication in Android Devices: Web Access over na Ad Hoc Network

Performance and Energy-Efficiency Modeling for Multi-Core Processors

Scalable and Memory-Efficient Approaches for Spatial Data Downscaling Leveraging Machine Learning

Secure External Memory on Embedded Devices

Small Wind Power Plants - Feasibility study

Solar generation forecast from the perspective of a DSO

Strategies to Accelerate Cloth Simulations: A non-polygonal approach to contact detection

Tamper proof certification system based on secure non-volatile FPGAs

Tipster: Promoting Trust in Online Tip Sharing Platforms

TrustedVote-Trusted Computing for Internet Voting

Two-Tier Cellular Networks: Secondary Node MIMO Configuration, Applied to LTE-A

Ultra Low-Power Parallel Embedded System

Amplificador de Banda Larga

Construção de Vizinhanças através da Popularidade de Itens em Métodos Colaborativos

MPLS Layer 3 VPN

A comparison of internal grid topologies of offshore wind farms regarding reliability analysis

A Real-time Data Processor for Service Quality Management

Automatic generation of test cases for MOOCs

Automatizando o Processo de Resposta a Posts das Redes Sociais da TAP

Business Process Transformation to Dynamize and Improve Fulfilment and Assurance Agility in CSPs

Improving and Enhancing Vithea Kids

Improving the Precision of Indoor Positioning Systems

Real-Time Collaboration on the World Wide Web in a Peer-to-Peer Mode

A new approach to organization and tracking of Walking School Buses

A Real-Time Terrain Ray-Tracig Engine

ADC for High Data Rate Communication Systems

AI Player for Board Game Diplomacy

Algorithms for Maximum Satisfiability using GPU

Análise de consumo de energia de PMEs

Analysis of aircraft accuracy location in Aeronautical Multilateration Systems

Analysis of Techniques for the Management and Mitigation of Interference in LTE

Cargo API

Game Simulation Engine Optimisation

Intelligent Agent player for Hearthstone

A recommendation system approach to online tuning of Transactional Memory

Application of Machine Learning Techniques in Project Management Tools

Arc Summaries for TV Series

Arduino-based IoT Capable Low Cost Smart Meter

Battery Energy Storage Systems as a way to integrate renewable energy in small and isolated power systems

Bobine de Petersen Electrónica

Cross-Domain Analogy: From Image to Music

Data Compression Algorithms in FPGAs

Design and Evaluation of Multiple Access Strategies for Spatial Modulation

LTE radio network deployment design in urban environments under different traffic scenarios

Metodologias de despacho de sistemas de armazenamento de energia

Natural Language Generation for Open-domain Human-robot Interaction

Occupancy Prediction from Electricity Consumption Data in Smart Homes

Operação de rede em ilha em situação de contingência

Otimização da carteira de ativos de geração de energia elétrica de uma empresa que atua no mercado diário do MIBEL e no mercado de reserva secundária

Paralelização de um algoritmo baseado em Monte Carlo para a análise de propriedades elétricas de circuitos integrados

Photovoltaic irradiance forecast using Artificial Intelligence techniques

Position-based Routing in Delay-Tolerant Networks

Projeto de um transformador de potencia de media frequencia (kHz)

Promoting urban bicycle use through next-generation cycle track-and-score systems

Routing and Dropping Policies for Delay Tolerant Networks

Smart Card Power Analysis: From Theory To Practice

Temporal and Spatial modelling of mobile data traffic applications for network optimisation

Umedicine: A System for Clinical Practice Support and Data Analysis

Umedicine: Medical Data Visualization Module

XIS-Reverse: A Model-Driven Reverse Engineering Approach

Modelização do Arco Elétrico em Disjuntores para Análise de Transitórios Eletromagnéticos

Fashion Recommender System (only project)

Multrack: A Framework for Using Multiple Location Technologies Simultaneously

Quantum Computation for Artificial Intelligence

Security Risks in Healthcare

Implementação de Fontes de Energia Renováveis em U/O/S da Força Aérea

Exploitation of Data-Flow Parallelism and Stream Processing Paradigms within Reconfigurable Processor Architectures

GeoDroid - Sistema de Apoio a Trabalho de Campo de Geologia

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

Online Density-based Discriminative Models

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

Self-organization of Emotional Spaces in Fado Music

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

The Mechanical Composer

Caracterização de Conteúdo Emocional em Fado

Efficient Sampling in Bayesian Networks

Machine learning for creative applications

Online Density-based Pattern Discovery

Rotação Laboratorial (MIT Portugal)

The Deep Poet