Short-term operational planning under uncertainties

Graph Processing: Distributed Frameworks, Approximations and Compact Data Structures

Topology Optimization of Flying Backhaul Networks

Conversores Isolados para Redes Residenciais de Baixa Tensão em Corrente Contínua

Efficient Software-based base Stations design for C-RAN

Learning Semantic Patterns for Question Generation

Elevar o nível de abstração para projectar uma aprendizagem profunda em Field Programmable Gate Arrays

Network-based sparse regularization for the identification of disease signatures

Enrichment of products catalogs from social media

Enriquecimento de Catálogos de Produtos Baseados em Aspectos

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

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

Gamification in a corporate environment

Symbiotic interaction in open ended tasks

Artificial intelligence for adaptive and personalized child-robot interaction

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

Aceleração da Aprendizagem por Reforço Usando Arquitecturas de Redes Neuronais Profundas Baseadas em Transformadores

Extracting of care pathways from patients with multimorbilities

Métodos para análise de imagem médica 2D e 3D com baixa complexidade amostral

Metodos para Segmentação de Imagens usando Arquitecturas como Mecanismos de Atenção

Prognostico de Acidentes Vasculares Cerebrais com Base em Tomografia Computorizada Usando a Aprendizagem Profunda

 TBO: Total Byzantine Order - Scalable epidemic probabilistic total order resilient to Byzantine faults

A Metabolic-Regulatory Genome-Scale Integration forSaccharomyces cerevisiae: Predicting Targets forIncreased Ethanol Production

ATOCS  - Automatic Configuration of Secure Databases

Automatic detection of forest fires: a deep learning approach

Avaliação técnica e económica de uma solução integrada de Energia Fotovoltaica (On-Grid) e armazenamento

Collaborative discovery and enrichment of business process models using a semantification approach

Correct Smart Contract Speculation By Design

Database Partitioning via Symbolic Execution

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

Hydrogen based solutions to help electrical grid management: Application to the Terceira Island case

Network motifs in multi-graphs

P2CSTORE: P2P and Cloud File Storage for Blockchain Applications

Participation of Prosumer in Local Energy Market based on Preferences

Simulation of the Zero and Non-zero bids in the 2030 Day Ahead MIBEL Market

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

A Blockchain Solution Applied to a Citizen-centric Document Automation Platform

A secure content dissemination scheme for the Internet of Vehicles

Ad hoc teamwork in partial observability

Ambulance Assignment for Medical Emergencies

Architectural Representation of the Portuguese Government Interoperability Platform

Attractor reachability estimation in logical models

Automatic Aggression Detection in Social Media

Automatic Chart Interpretation

Avaliação de qualidade de tradução de diálogos na aplicação didática – ELSA Speak

Biomarkers of sleep disorders

Boolean Leximax Optimisation using Iterative SAT Solving

Bring Your Own Token

Building chatbots for customer support: fast and serious!”

Combining multi-modal demonstrations with dynamic movement primitives

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

Customer Support with Sentiment

Debunking the CPU+GPU Processing with Transactional Memory

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

Development of models to optimize IPST blood collections

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

Document Automation in ITLingo PSL Excel Template

Enabling Enterprise Blockchain Interoperability

Enriching task-oriented bots with small-talk

Enterprise Reference Architecture for Open Data Implementation in Smart Health

Explaining Parkinson's Disease Computational Diagnostic based on Speech Analysis

FakeNewSSItes

Human Language Technologies meet Educational Escape Games

Impact of carbon neutrality roadmap in Power systems (Portuguese scenario)

Impacto dos transformadores inteligentes na rede elétrica de distribuição

Improving Differentiable Neural Architecture Search

Interligação de microrredes híbridas com conversor multinível

Learning temporal and geographic patterns from IPST blood collection data

MEDO: MEDical Omnichannel Services Reference Architecture

Migrating Smart Contracts Across Heterogeneous Blockchains

Multilingualism and Translation: The multilingual actor(s) and the involvement in translation, a view on Covid-19 pandemic

Oversampling Active Noise COntrol Headphones

PK-Graph: Partitioned K2-Tree Graph

Playing Soccer with Learning Agents

Sistema Hierárquico de Gestão de Energia em Parques de Estacionamento

SmartPubSub@IPFS

Stateful Functions for Approximate Stream Processing

Supporting Posits in Deep Learning Frameworks: A PyTorch Implementation

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

Traffic light control using multiagent reinforcement learning

Transformador Inteligente com Barramento DC Integrado

Trustable Blockchain Interoperability: Incentivizing Public Escrow Parties

Use of Learning Mechanisms to Improve Wind Farms Operation Conditions Monitoring

Using Topic Modeling Techniques to Characterize the Quality of Life of Students in Academic Contexts

Vector Multiply-Accumulate Unit for Transprecision Computing

Feasibility Analysis of a Battery Energy Storage System combined with a Utility-Scale Solar PV Power Plant in the Atacama Desert

Generating Test Cases from Use Cases and Structured Scenarios with the RSL Language

Identifying patient subgroups in chronic diseases by phenotypic clustering

Sizing and assessment of an off-grid PV system using a Lithium battery bank

Using Markov Chains and Temporal Alignment to Identify Clinical Patterns in Dementia

(Wearable) IoT System for People and Environment Monitoring

Contributions towards automatic music transcription

Controlador Inteligente de Iluminação

Desenvolvimento de um sistema de Maximum Power Point Trackers para o projeto Tecnico Solar Boat

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

Floating-point unit with variable exponent/mantissa size

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

Realidade Aumentada para o Treino de Tarefas Cirúrgicas usando Simuladores

Roofline Analysis and Performance Characterization for Intel Integrated GPUs

Shared Control Approaches for Hybrid Multidisciplinary Team Meetings

SoC-FPGA Deep Neural Network for Object Detection

SoC-FPGA MobileNets for Embedded Vision Applications

Uma arquitetura de informação para o Quadro Nacional de Referência para a Cibersegurança

Privacy by Design Enterprise Architecture Patterns

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

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

Controlo e Gestão de uma Micro rede DC

Development of Specific Demand Response Programs for Electric Vehicles

Domain Adaptation in Low-Resource Automatic Speech Recognition

Dynamic Bayesian networks for clinical decision support on ankylosing spondylitis patients under biological therapies

Full-spectrum economic optimization of a solar PV park

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

Predicting Ankylosing Spondylitis Treatment Outcome Using Model-based Methods

Techno-economic assessment of interconnection of offshore wind farms using Hydrogen-based solutions

GroupSensing - Influência do fator grupo em respostas sensoriais

STAKE: Secure Tracing of Anomalies using previous Knowledge and Extensions

Fog Computing Task Offloading Optimization based on Deep Reinforcement Learning

Optimization of LORAWAN Networks in Smart Grids

Optimization of Machine Learning Jobs in the Cloud

An exploratory analysis of Portuguese hospital relationships on behalf of financial sustainability

Análise de fluxos na rede pública de autocarros de Lisboa

Análise do comportamento competitivo das empresas produtoras no mercado diário do MIBEL

Building GDPR-Compliant Applications with RuleKeeper

Control of distributed energy systems with renewable sources and storage management

Descoberta de padrões circulação multimodal apartir de fontes heterógeneas de dados urbanos

Descoberta de padrões em dados oncológicos para a compreensão dos factores de risco cirúrgico

Discovering Vulnerabilities in WebAssembly with Code Property Graphs

Distributed System for Cooperative Deanonymization of Tor Circuits

Estudo de causalidade numa rede de distribuição de água com recurso a séries temporais multivariadas

FPGA-Based Accelerator for High-Order Epistasis Detection

Making Tor Robust against Traffic Correlation Attacks by Providing K-Anonymity

Processemanto offline e online de séries temporais nas redes de distribuição de água

Security Assessment of the Oeiras Municipality IT Infrastructure

A machine learning approach to predict Virtual Machine Workload

A Scalable and Performant Permissionless Blockchain

Abstractive Multi-document Summarization using Topical Simplicial Curves

Ad Hoc Teamwork in the presence of learning teammates

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

Analysis of retweeting behaviour on Twitter

Assessment of relevant assets for outage coordination

Autogame

Automated Assessment of Coronary Artery Stenosis in X-ray Angiography using Deep Neural Networks

Automated Computational Complexity Estimation

Automated Deep Learning Artist for Music Generation

Automatic Nativeness Assessment

Biony: A Web Application for Biosignal Processing

BlockRobot: Increasing Privacy in Human Robot Interaction by Using Blockchain

Boosting machine learning applications with weakly-consistent collectives

Breaking security of crypto systems using cache side - channel atatck

Building more decentralized blockchains using secure virtual coordinates

Caraterização de Processadores RISC-V de Código Aberto

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

Cathode: A Consistency-Aware Data Placement Algorithm for the Edge

CCalc: Cloud Calculator for the public administration

CGRA - Based deep neural network for object identification

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

Clustering and Complexity Estimation for Air Traffic flow Management

Combining Off and On-policy Training in Deep Reinforcement Learning

ConsciVis: Exploring the Effect of User-Based Preferences in Information Visualisation

Contact Agent Assistant

Controlo automático da tensão da rede elétrica BT com um sistema de microgeração

Convolutional Neural Networks for Archaeological Pottery Classification

Coordenação da análise de segurança operacional entre áreas de rede

Data Integration in Support of Gazetteer Development

Data2Help: Integração e Limpeza de Dados

Deep Learning methods for document relevance rakingin the context of search engines for legal/legislative contents

Deep Learning with aproximate Computing: an energy efficient approach

Degree Coordination Decision Support System

Development of the energy demand of drive architectures for different means of transport

DevOps Maturity Model

Domain adaptation for neural network based dialogue systems

Dual Active Bridge based converter for integration of PV systems in the grid

Dynamic Reconfiguration of the Data Aggregation Topology at the Edge

Dynamic Stable Business Process Operation for Cyber Security Enforcement Using Atlas

DynaSlides

End-to-end automatic speech recognition in Portuguese

Enrichment of Location Databases

Evaluating Redistricting of Electoral Areas

Exploiting GPU Undervoltage to Improve the Energy Efficiency of Deep Learning Applications

Exploration of Audio Feedback for L2 English ProsodyTraining

Exploring processor frontend capabilities via micro-benchmarking

FastGeo - Visualizing large amounts of georeferenced data

FastViz - Visualizing Dynamically Evolving Big Data

FFM-MHI Vis: Visualizing How Personality and Sociodemographic Factors Have an Effect on Mental Health

FPGA accelerated model checking of regulatory networks

From Movement to Sound and Music, a Computational Creativity approach

From Rigorous Requirements and User Interfaces Specifications into Software Business Applications: The ASL Approach

GameCourseBeyond

GamiUI: Creating an Interface for the users of a Gamified University Course

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

Generative models for image descriptions

Impact of dynamic contracts in power systems

Impact of Electric Vehicle Charging on the Portuguese Electricity Demand Curve

Implementação de Demo Action Model em Blockchain Smart Contracts

Imputation Techiques for Clinical Data of Ischemic Stroke Patients

Inference of Pronunciation Difficulty from Non-Native Data

Influence of Increasing Renewable Power Penetration on the Future Electricity Spot Prices

Information Architecture Patterns for GDPR compliance

Isolated Matrix Converter for Interconnection of Low Voltage AC Grids to DC Grids

IST CSE Information System

IT Risk Management Ontology from representation to optimization using Enterprise Ontology

Learning Agent in the Ms. Pac-Man vs Ghosts game

Machine Learning methods for finding predictors of Rheumatoid Arthritis treatment response

MAGLEV - Levitação Magnética num Sistema de Suspensão Eletromagnética com Correntes Turbilhonares

Mapping Urban Areas Leveraging the Analysis of Ground-Level Imagery with Convolutional Neural Networks

MARE: A Machine Learning Approach for Requirements Classification

MedBlock: Using Blockchain in health”

Modeling of BDN Framework in ArchiMate. Benefits Management of SI investments applied in the context of digital transformation in Broadcast Media Industry

Music Creation from Found Sounds - An Approach from Computational Creativity

NAPP v2.0: Integration of freshmen students in Instituto Superior Técnico Campus Taguspark

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

Object Detection and Classification on the Versat Reconfigurable Processor

Otimização do Algoritmo Back Propagation

Parallel NF Synthesis

Partial power DC-DC converter to integrate PV systems in DC grids

Playing Soccer with Unknown Teammates

Poland’s 2040 Energy Transition: Energy Mix Optimization

PriVeil Circle: using Secure Multiparty Computation for sharing threat information

Proposta de Controlador do Sistema de Carregamento de Veículos Elétricos num Parque de Estacionamento

Pure Function Synthesis in the OutSystems Plataform

RATEE - Resource Auction Trading at Edge Environments

Recoverable Token Recovering from Intrusions against Digital Assets in Ethereum

Renewable-based isolated microgrids instead of replacing existing MV lines supplying rural areas

RISC-V Processing System with Streaming Support

RiverCure Portal: Exploring Geographic Features on Context Definition and Integration with the HiSTAV Hydrometric Toll

SDD4Streaming

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

Ser Músico em Portugal - Publicação e Visualização de dados com Solução Mediawiki e Arquitetura MVC

Shadow rendering techniques for mobile devices

SoC-FPGA Binary Convolutional Neural Networks

Stochastic Multi-Objective Combinatorial Optimization Algorithms

SureSpace: orchestrating IoT devices to certify location

Technical and Economic Assessment of a 1 MWp Floating Photovoltaic System

Termite - Supporting Encounter Based Apps

Towards a multi-agent dialogue system with contextual agents and tailored distractors

Tracking animals in underwater videos

Trafic Light Control using Deep Reinforcement Learning

Unsupervised Density-based Concept Discovery

Utilização de um Conversor Multinível Modular num Sistema de Tração Ferroviária com Frenagem Regenerativa

Visual Argument

Wireless Power Transfer System For Electric Vehicle Charging

A Book-oriented Chatbot

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

Ad Hoc Teamwork in the presence of non-stationary teammates

Automatic Repair of Java Code with Timing Side-Channel Vulnerabilities

Blockchain-based secret management in multi-cloud storage platforms

Clinical Dashboard for Hospital Quality Indicator Assessing

Clinical Dashboard for Hospital Quality Indicator Assessing

Custo do armazenamento da energia nos veículos elétricos e preço da energia armazenada injetada na rede elétrica

EcoAndroid: An Android Studio Plugin for Developing Energy-Efficient Java Mobile Applications

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

Fenotipagem na Multimorbilidade

Formal Verification of Pointer-Based Splay Trees in Iris

Longitudinal and Survival Data Analysis for Rheumatic Diseases Prognoses

Machine Learning and Electronic Medical References: Reuma.pt study

MIRES: Recovering Mobile Applications based on Backend-as-a-Service from Cyber Attacks

Question Generation Using Neural Networks

Scalable consistency service

Small Flexibility Based Frequency Containment Reserves - Opportunities analysis and modeling

Towards Automated Checking of Input Data Usage with Facebook Infer

Automatic Bug Detection in R

Causality Tracking Trade-offs for Distributed Storage

Concolic Execution for WebAssembly

ConnectionLens: Entity and Relationship Extraction from French Textual Data Sources

CUBES: A New Dimension in Query Synthesis From Examples

Deep Learning for Spatio-Temporal Forecasting with Gridded Remote Sensing

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

Fault Tolerance Support in an R P2P cycle-sharing system

FOREST: An interactive multi-tree synthesizer for regular expressions

From Music to Image, a Computational Creativity Approach

LoCaPS: Localized Causal Publish-Subscribe

Locksmith: Secure Android Keystore Based on Virtualized Trusted Environments

MAGIC - Manipulation of virtual people for remote collaboration

Mitigar o churn em serviços de armazenamento P2P

Moduladores ressonantes para alta tensão

Optimization of Data Cleaning Programs

Practical Detection of JavaScript Concurrency Bugs using Callback Graphs

Prioritizing Facebook´s Infer Static Analysis Tool Warnings

Prognóstico clínico e previsão do risco de complicações pós-cirúrgicas em pacientes com cancro

Simulador Háptico de Realidade Virtual para Perfuração Dentária

Switching Converter Systems for Fuel Cell Powered Electric Vehicles

Transformations and Alignments in Project Management Tools: The PSL-v.2020 Experiments

Unsupervised Anomaly Detection in Water System Networks using Recurrent Neural Networks

Using energy storage systems in electricity markets

Voltage Nonlinear Control in Multiterminal HVDC Networks

WArdian: Securing WebAssembly applications on unstrusted mobile operating systems

Accelerating Validation in Software Transactional Memory (inglês)

Análise de criptomoeda baseada em conteúdo gerado por utilizadores de redes sociais

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

Avaliação do impacto emocional do vídeo usando técnicas de aprendizagem automática

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

Classificação de Fake News na Língua Portuguesa Europeia

Desenvolvimento de Smart Node IoT para Aplicações Agriculas

Detecção de Sentimentos Psíquicos em Utilizadores de Redes Sociais

Evaluation of Train Communications Interference-Free Regions along Rail Tracks

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

FFM e PID-5 Vis - Visualização da Personalidade

Flexible Data Management and Publication with Mediawiki

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

Global Illumination with GPU Vertex Connection and Merging

Haking the sistems from within

Interactive Physics-Based Rendering with AI-Accelerated Denoiser

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

Partial Shading Microgeneration with Energy Storage

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

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

Simulação como ferramenta na conceção de processos de negócio

Simulation of the future Iberian power system till 2040

Single and Multi-Objective Epistasis Scoring: A Matter of Frequency

Sistema de Recomendação de Videojogos

Unlimited Vector Extension with data streaming support

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

Variable Consistency RPC Layer

Verilog PNG Encoder

Website analysis: Finding Fraud Patterns in Web Pages

A Blockchain-based Platform for Sharing and Verifying Education Certificates

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

Deteção de palavras emergentes em tweets portugueses e análise do seu percurso na redes sociais

Development and Evaluation of E-assessment platform based on Multiple Choice Questions

Evaluating Password Strength Meters and Password Composition Policies using Guessing Attacks

exergyX: A Game on Management of Energy Systems

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

MedClick: Last Minute Medical Appointments No-Show Management

MedUx: improving User eXperience in healthcare services

Monitorização de Pessoas em Ambiente Doméstico

MuSyFi - Music Synthesis from Images

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

Supporting Enterprise Cartography through Metamodel Integration

The Virtual Suspect Meets Alexa

Engineering Trust in Complex Networks

Improving database performance through symbolic execution

Development Environment for a RISC-V Processor

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

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

qNotify Notification System and Integration with a Document Automation Platform

Automatização de moradia

Pulsarcast - Scalable and reliable pub-sub over P2P networks

Controlo Inteligente do carregamento de carros elétricos

Framework para o Densenho de Negócios "Digitais" com base em Arquitetura Empresarial”

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

Synthesizing Signing Avatars from Annoted Language Corpus

Um MODEM 4G MIMO

Controlo de recursos energéticos distribuídos baseados em sinais de preços

Learning Dynamics in Populations of Actor-Critic Agents

Auriculares com Controlo Ativo de Ruído Sobre Amostrado

Generating Realistic Sign Language Animations.

Impedance based modeling of HVDC offshore wind

Electrodermal Activity Sensor (EDA) with Adaptive Gain Control

Online multivariate density estimation

Investigador-bolseiro do projecto RiverCure

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

Anomoulous and Emerging Pattern Discovery from Spatiotemporal Urban Data

Estágio de Verão: Arquitetura de Computadores

Investigador-bolseiro (em doutoramento) do projecto INOV/Interface

Investigador-bolseiro do projecto RiverCure

Indices espaçotemporais de vulnerabilidade na resposta a emergências médicas

Investigador-bolseiro do projecto RiverCure

Integrative analysis of heterogeneous traffic data

Construção de Artefactos Narrativos