Melhoria do Processo Legislativo no Âmbito Parlamentar pela Introdução de Tecnologias Digitais

Towards Artificial Entities that Learn Through Dialog: Intention-Based Knowledge Extraction and Learning

Towards Effective and Effortless Data Cleaning: from Automatic Approaches to User Involvement

Advanced predictive control strategies applied to solar thermal systems

Automatic Configuration for Cloud Workloads

Computational Biology for Modeling Oncological Omics Data: the way towards personalized medicine

A system model for data centers

Bibliotecas de axiomáticas, conceitos e resultados para sistemas algébricos

Improving Low-Power Wide-Area Networks (LP-WAN) through Network-Centric Extensions

Transactional memory systems for heterogeneous computing and memory architectures

Best of All Worlds for Low-resource Natural Language Processing

Intrusion Detection using Clustering and Outlier Detection

Semantic Structures of Music Artifacts

Sick but still productive? The impact of presenteeism climate and health conditions on workers' productivity

Hybrid Comparator-Based ADC Architectures for Low-Power High-Speed Applications

Scalable and Efficient Frameworks for Distributed Ledgers,

Complex-valued ARMA model parameterization methods: design, characterization, and numerical regularization

A Multi-Criteria Integrated Approach for Risk Classification Problems

Bandwidth-aware page placement in asymmetric NUMA systems

Efficient support for large transactions in transactional memory systems

Short-term operational planning under uncertainties

Graph Processing: Distributed Frameworks, Approximations and Compact Data Structures

Model Revision of Boolean Logical Models of Biological Regulatory Networks

Exploring Spatial Perspective Taking in Human-Robot Interaction

Building Private-by-Design IoT Systems

Characterization of host-gut microbiota interactions and identification of key players based on a unified reference for standardized quantitative metagenomics and metabolic analysis framework

On the Unobservability of Multimedia-based Covert Channels for Internet Censorship Circumvention

Solving Scheduling Problems under Disruptions

Persuasive Social Agents using Social Power Dynamics

Topology Optimization of Flying Backhaul Networks

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

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

Circuits and Signal Processing for Magnetoresistive Sensor Arrays

Efficient Software-based base Stations design for C-RAN

Using social robots to encourage honest behaviours

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

Leveraging Machine Learning Strategies for Network Intrusion Detection

Network-based sparse regularization for the identification of disease signatures

Personality-based Persuasion by an Interactive SocialRobot Storyteller

An Enterprise Architecture approach to Semantic interoperability for Blockchain-based systems

Blockchain Interoperability: A technical approach to interoperability for Blockchain-based systems

Blockchain-based Smart Audit

Blockchain-based Smart Rent (commercial)

Blockchain-based Smart Rent (residential)

Clustering Dynamically-Defined NetFlow and Windows Events Features for Intrusion Detection

Descrição de caos em átomos frios com base em Inteligência Artificial

Distribuição espacial de marcadores de neurotransmissão recorrendo a coortes postmortem e modelos animais

Evaluating data collection protection methods

Evaluation Framework for an AI-enabled Cybersecurity Platform

Look at Me or Not! Collaborative and Competitive Non-Verbal Behaviors of a Social Robot

Mapping Threat Agent Tactics to Features for ML Intrusion Detection Scheme

Previsão de neuromarcadores a partir do rastreio molecular de tecidos periféricos

Discovering the determinants of neurogenesis fate from experimental data

Automatic Design of Controller Parameters based on Reinforcement Learning

Data management for genomics

Aprendizagem de espaços latentes a partir de uma amostra de históricos clínicos para segmentação de perfis e previsão de eventos hospitalares

FlowTGE: A Tool for Automated Functional Testing of Document Flows from Models Based on BPMN

Robustness and stochasticity in Boolean networks

Sparse regularization for the analysis of survival cancer data

Sparse regularization for the analysis of survival cancer data

Redesign the European Energy Markets to better allocate the increment of renewable energy suppliers

Speech Technologies and Pronunciation Variation of Russian in the context of VoiceInteraction

A Biomedical Imaging System Based on an Integrated Array of Magnetoresistive Sensors

Analysis of the Tourists behavior in Lisbon using Data from a Mobile Operator

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

Avaliação da eficiências das unidades hospitalares

Characterization on the protein-protein interactions of M. tuberculosis' divisome proteins, expressed in E. coli

Community building Battery Management using Reinforcement Learning in a residential scenario

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

Controlo Distribuído de Conversores em Paralelo com Partilha de carga

Deep Learning based Side Channel Attacks on Intel CPU

Descriptive and predictive modelling of blood activity in Portugal

Humor and Offense Speech Classification and scoring using Natural Language Processing

Identificação de Fatores de Risco na Gravidade dos Acidentes Rodoviários

Influencers, are they responsible for Bitcoin's volatility? Transfer Entropy and Granger causality in prol of an answer

Intelligent Health Device based on Deep Learning

Inverse Algorithmic Design

Local House Control of Distributed Energy Resources

Machine Learning to Forecast Constraints in Distribution Networks

Military Cryptographic Material Manager

Multiport DC-DC Converter for Connection of Redox Flux Batteries

Performance Analysis of Routing Protocols on VANETs

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

Reinforcement Learning to DER behave individually in a cooperative environment

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

Transformador de Alta Frequência para Aplicação em Transformadores de Estado Sólido

Transpiling Python to Julia using PyJL

Twitter's content trends depending on users profile and time of the year

Um dia do museu da computação - plataforma de IoT para suporte a atividades tecnológicas

A Comparative Study of Self-Supervised Learning Techniques for Functional Program Repair

A game theory-based incentive framework for the next-generation vehicular networks

A secure data dissemination scheme supporting conjunctive keyword searchable encryption for connected vehicle networks

A Study on Generating Q# Quantum Programs using a Sequence-To-Sequence Machine Learning model

Accelerating Fully-Homomorphic encryption on RISC-V vector processors

Ad hoc teamwork using approximate representations

Agents for Good: Effects of Behavioral Variations, Uncertainty and Reciprocation on an Asymmetric Collective-risk Dilemma

AI-assisted fast channel change on DVB set-top-boxes

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

Analysis and Design of a Hybrid Power Generation System for the Electrification of Health and Education Facilities in Sierra Leone

Application of Pre-training and Fine-tuning AI Models to Machine Translation: A Case Study of Multilingual Text Classification in Baidu

ArcticTern: Automated Code Migration

ArgumentNext - Visualizing arguments in the real world

Automated Multiplayer Playtesting through Quality-Diversity Optimisation

Automated Program Repair of Dafny Programs: Repairing Arithmetic Programs

Automatic Bug Prioritization of SmartBugs Reports using Machine Learning

Automatic Fado Generation

Automatic Hate Speech Detection in Portuguese Social Media Text

Automatic Rule Generation for Network Intrusion Detection Systems

Avatar Motion Reconstruction for Virtual Reality using a Machine Learning Approach

Battery Energy Storage System to Provide Grid Services

Classification of microcytic anaemias using machine learning methods

Convolutional Neural Network for Hand Gesture Identification on FPGAs

Creation of a Mental Health Virtual Assistant for College Students

CROSS City Game Android App Extension

CROSS City Game Server: Deployment, Operation and Extension

Data Formatting Synthesis by Example

Data-driven Modeling of Energy Consumption in Industrial Kitchens

Deanonymization of Tor Onion Services with Acceleration-Based Watermarking

Deduplication vs Privacy Tradeoffs in Cloud Storage

Deep Reinforcement Learning for the Generation of Emotionally Expressive Animations for Virtual Characters

Dissertação: Biblioteca de Funções sobre Matrizes em GPUs

Distributed Architecture for large dimension time series processing

Does Big Data Require Big Systems? A Study of Complex Versus Lean Distributed Data Processing Systems

Dual Critic Conditional Wasserstein GAN for Height-Map Generation

Emerging Intel CPU+GPU Systems: Demystifying the Execution Bottlenecks

Enabling Censorship-resistant Tor Communications Through WebRTC-based Covert Channels

Energy-Aware Task Scheduling in OmpSs

Enhancing the Tor Anonymity Network with K-Anonymous Flashmobs

Estudo e Dimensionamento de um Conversor Dual Active Bridge para Microrredes CC em Baixa Tensão

Extending the Concert Framework to Verify Solana Programs

Extensible and Flexible Multi-Factor Authentication for an Online Banking Platform

Extraction of structural and semantic features for the identification of Psychosis in European Portuguese

Fake News Creative Explanations Through the Use of Poetry A Comparison Study and Fine-Tuning Approach

Fast Photorealistic Rendering of Protein Representations

Federated Learning for Predicting the Next Node in Action Flows

Force Field Calculation for Biomolecules

Formal Specification and Verification of the Lazy JellyFish Skip List: A Case Study in Iris on the Verification of Concurrent Maps with Version Control

GameCourse – The Next Level

Gamifying Touch on Chemistry: An Educational Organic Chemistry VR Game

GLITCH: Polyglot Code Smell Detection for Infrastructure as Code

Hardware Acceleration of CNN-Based Image Segmentation for Fire Detection

How to minimize the impact of PV systems in weak grids

Improving Believability through Timing Manipulation

IncidentalVis

Incremental Synthesis of OutSystems Logic

IPST blood collection data - Learning temporal-geographical patterns

IPST blood collection data - Models for blood collections optimization

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

Kinect Noise Removal with Deep Learning

Learning to perceive in deep model-free reinforcement learning

Link significance in network contagion resilience processes

MACHET3: multi-path communication with secret sharing

Machine learning and Artificial Intelligence for Higher-Order Epistasis Detection

Machine Learning-based Detectors for Magnetic Signal Differentiation applied to Early Cancer Detection

Maestro: An extensible general-purpose data gathering and classification system

Modelling Player Skill in a Procedurally Generated Single-Player Videogame

Multi-Armed Bandits for Selection of Risk-Based Portfolios with Transaction Costs

Multilayer network science approach to map functional clusters between yeast networks

My Big Life - Visualizando grandes volumes de dados georeferenciados pessoais

Neural Models for Generating Clinically Accurate Chest X-Ray Reports

NIBOXI: Enhancing sharded blockchains with a consensusless fast-path

NIR electronic image acquisition subsystem for cubesats

On the Feeling of Acoustic and Visual Tension in Generative Art

Optimal Sizing of Solar/Wind–to–Hydrogen Systems in a Suitable Site Selection Geospatial Framework — The case of Italy and Portugal

Optimization models for IPST blood collection

P2P Flexibility Markets to Support the Coordination Between the Transmission System Operators and Distribution System Operators

Performance Isolation in GraalVM Native Image Isolates

Plataforma de incentivo na distribuição de tarefas para um sistema multi-drones usando a Teoria dos Jogos

Predicting Imminet Health Outcomes from Lab Results

Predicting Motion Sickness in VR

Pro(f)Social: a serious game to improve teachers’ bystander behaviour in cyberbullying situations

Produção Rápida de Aplicações Empresariais em Ambiente Low-Code

Projecto: Sistema IoT para fechadura electrónica para turistas

PSI-HTM: an efficient implementation of Snapshot Isolation leveraging Hardware Transactions and Persistent Memory on IBM Power architectures

Question Generation for the Portuguese Language

R-Check: A Reactive Checkpointing Approach for Serverless Computing

Reactive Power Management considering Transmission System Operator and Distribution System Operator Coordination

Reasoning About Persistent and Concurrent Data Structures: Evaluating the Persistent Owicki-Gries Program Logic Through the Verification of a Persistent Queue

Restart-Rollback: A Fault model for distributed systems with persistent state

Semi-Automatic Selection and Annotation of Hate Speech from Social Media

Sistema inteligente de controlo de tráfego para veículos conectados por VLC

Social Agents in Minecraft

Sparse and Interpretable Models for Drug Mechanism-of-Action Discovery

Speech as a health biomarker

StreamerWarp - Visualizing big data streaming ordinal data

Studying how personality affects user interaction in high-dimensional data visualization

Studying the distinction cognitive bias in information visualization

SureRepute: Witness Reputation in Location Certi fication Systems

SureThing Qualified Signatures: Strong and Legally Binding Location Certificates

Team Formation in Gamified Environments

Towards Automatic Detection of Exploitable Vulnerabilities in WebAssembly Modules of Real-World Websites

Voto Eletrónico com Recurso à Blockchain

Wind Forecast at Medium Voltage Distribution Networks

Window Based Monitoring: Packet Drop Detection in the Network Data Plane

A Fraud Detection System Robust to Adversarial Perturbations

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

Alimentação de Dispositivos Médicos Implantáveis

Cybersecurity and Social Amplification of Risk in Financial Systems

DPHDC: A Data Parallel framework for Hyperdimensional Computing

Extracting of care pathways from patients with multimorbilities

Management of Autonomous Electric vehicles in Parking lots

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

Monolith Development History for Microservices Identification: a Comparative Analysis, Information Systems and Computer Engineering,

Optimization of Cloud Storage Costs Through Efficient Data Placement

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

Sparse Transformers for Deep Learning Interpretability in High Order Epistasis Detection

The Effect of Contamination on the Performance of High Voltage Insulators

Transactional Memory for Processing-In-Memory Systems

Forecasting Electricity Consumption in Industrial Kitchens

Information Analysis and Management for Agile Project Management with the ITLingo-Cloud Platform

Modelling and Control of PMSG Based Offshore Wind Turbine

Preparation of the concept and model of an energy self-sufficient region based on distributed generation in the Chrzanów district

Preprocessing Modules for Speech Technologies: The Impact of the Normaliser and the G2P on Hybrid Systems

Techno-economic Analysis of Energy Communities and Self-Consumption Schemes in Portugal and Italy

DREAMS - DRones Enhancing Automated Multimedia Shows (

"Fault modelling on general purpose CPUs"

Análise à Qualidade de Energia nas Instalações Elétricas do Instituto Superior de Engenharia de Lisboa

Analysis of the Implementation of Private Networks in 5G Using Network Slicing

Deployment of 5G Radio Networks in Brownfield Scenarios

Técnicas de Controlo Preditivo Aplicado a Filtros Ativos de Potência

A Day at Tecnico's Computation Museum - IoT to Support Escape The Room and Treasure Hunt Game

Collective self-consumption energy management

Development of a visual solution for genetic data analysis communication

Domain learning through dialog

Durable Hardware Transactional Memory for Extended Asynchronous DRAM Refresh Architectures

Energy Resources Scheduling Considering Power and Hydrogen Grids

Gestão e controlo de uma microrede DC com energia renovável e armazenamento

Multivariate Time-Series Modeling of Shellfish Contamination with Dynamic Bayesian Networks

NLP Applied To Portuguese Consumer Law

OmniDoc

Photons@Graal - Enabling Efficient Function-as-a-Service on GraalVM

Platform-Independent Specifications of Robotic Process Automation Applications

Real Estate Official Data Analysis for market prediction

Root Cause Analysis of Bias Detection and Classification in Natural Language Processing

Synthesis of Network Switch Programs

Using Electronic Health Records to unveil Gender Differences in Patients with Multimorbidity

Design of a Planar Solid State Transformer for DC Grids

Persistence of Passwords in Bitwarden's Browser Extension: Unnecessary Retention and Solutions

Reconstructing Architectural Workflows

Remote Sensing for Image Captioning

Multi-Modal Associative Memory: A framework for Artificial Intelligence,

Context-based predictive models for medical emergencies

Secondary load and CHP forecast to support short-term distribution network operations

Perception in L2 in a Classroom Environment With L2 Portuguese Chinese Students

Stochastic Models for Sparse Codes

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

A Cube Full of Shapes: Exploring and Selecting Supershapes in Virtual Reality

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

Affordable Managed Security Services for Small and Medium-sized Enterprises in Portugal

Analisys of Security in Railway Communications Networks based on 5G and Wi-Fi

Analysis of urban air mobility’s transport performance in São Paulo Metropolitan Region using MATSim Simulation metamodel based on active learning to predict the simulations outputs

Anti-DDoS for the IoT

ATOCS  - Automatic Configuration of Secure Databases

Automatic detection of forest fires: a deep learning approach

Autonomous Energy Conditioning System with High Level of Reliability

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

Carregadores sem contacto para veículos elétricos em movimento, Miguel Filipe Rodrigues de Melo (Data de Prova: 08-12-2021 18:13)

Charge pump for ultrasonic implant stimulation

Clinical Text Summarization

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

Convolutional Neural Networks for the Classification of 3D Medical Images

Correct Smart Contract Speculation By Design

Database Partitioning via Symbolic Execution

Deep Energy Networks for Data Completion

Deep Learning for Medical Visual Question Answering

Deep Learning for Remote Sensing Image Captioning

Degree Coordination Decision Support System

Design of a High Resolution Magnetic Scanner for Cancer Screening

Design of an Energy Storage System for the Tokamak ISTTOK, Pedro Miguel De Castro Pena Brandão Rodrigues (Data de Prova: 08-12-2021 17:57)

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

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

Document Geocoding and Toponym Resolution with Neural Language Models,

Drones for Intralogistics using IoT

Friendly Lords: Implementing an Artificial Intelligence Social Architecture in Mount & Blade II: Bannerlord

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

High-Performance Machine Learning in Biomedicine: Towards Efficient Epistasis Detection

Hybrid Approaches for Spatial Data Interpolation,

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

Impacto dos Transformadores Inteligentes na Rede Eléctrica de Distribuição, Francisco da Graça Gonçalves (Data de Prova: 06-12-2021 18:44)

Internet of Drones towards Logistics 4.0

Mechanizing Feng-Ying Quantum Hoare Logic in Coq for Formal Proofs of Programs with Quantum and Classical Variables

Modeling Fraudulent Student Communication in a Multiple Choice Online Test Environment

Multi-Túneis: Implementação, configuração e avaliação prática de túneis de rede com múltiplas camadas de segurança

Network motifs in multi-graphs

Neural Approaches for Conversational Question Answering

Neural Approaches for Question Retrieval and Generation from FAQ Databases

Neural Methods for Biomedical Synonym Discovery and Concept Alignment,

Novo sistema de transmissão HVDC utilizando conversores trifásicos de dois níveis, Rui Filipe Batista Rum Castro (Data de Prova: 08-12-2021 18:01)

P2CSTORE: P2P and Cloud File Storage for Blockchain Applications

Participation of Prosumer in Local Energy Market based on Preferences

Predição de eventos em comércio online e sua interação com pesquisas

Previsão automática de fraude em transações financeiras

Real-time bicycle management system

Refining High-Level Specifications of Decentralized Finance Protocols to EVM bytecode using the K framework

Runtime reconfiguration of a micro-service replica consistency framework

Sensing Platform for Counting People

Sentiment Analysis to Predict the Portuguese Economic Sentiment Based on Economic News

Side-Channel Setup for Chip Testing

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

Sistema de Seguimento do Ponto de Potência Máxima em Painéis Fotovoltaicos com Conversão Termoelétrica de Energia, Ivo André Vieira Cleto (Data de Prova: 08-12-2021)

SmartBike - A safety system for drives of nom-motorised vehicles

Software-based Framework for Drone Swarm Communicatio

Student Data Prediction

User Friendly SCA Tool

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

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

A Microfrontend for Digital Humanities Repositories: The LdoD Archive

A modular framework for transactional systems

A Procedural Quest Generator for Mount & Blade II:Bannerlord

A secure content dissemination scheme for the Internet of Vehicles

A Static Analysis-based Platform-as-Service to Improve the Quality of Smart Contracts

Acronym and Definition Extraction

Active vs Passive Flow Adjustment in Games

Ad hoc teamwork in partial observability

Adaptive Single Player Challenge Generation for World War Online

Ambulance Assignment for Medical Emergencies

Analysis of Strategies for Minimising End-to-End Latency in 4G and 5G Networks

Architectural Representation of the Portuguese Government Interoperability Platform

AstroChain: Proof-of-Space with Random Beacons

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

Attractor reachability estimation in logical models

Augmented Reality to Support Artery Localization in Breast Reconstruction

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

Balancing Randomness and Predictability in Games

Best Way to Squeeze: A Comparison of Model Compression Techniques in Natural Language Processing

Biomarkers of sleep disorders

Boolean Leximax Optimisation using Iterative SAT Solving

Bring Your Own Token

Building chatbots for customer support: fast and serious!”

Chronicles of Crime: Alexa, the Little Assistant Detective

CiF-Bannerlord, a Social Artificial Intelligence System for Mount and Blade II: Bannerlord

Classification of microcytic anaemias using machine learning methods

Combining multi-modal demonstrations with dynamic movement primitives

Conductivity Sensor for Agricultural Substrates

Contributions towards the possible identification of psychosis through speech processing in Portuguese

Conveying Believable Emotions Through Control Modulation

Coverage improvement of communication aeronautical services based in the Azores

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

Cunning Lords: Tactical AI and Troop Control for Mount &Blade II: Bannerlord

Customer Support with Sentiment

Debunking the CPU+GPU Processing with Transactional Memory

Deep Learning for Language and Vision

Deep QL-APF: An Automated Playtesting Framework for Unreal Engine

Designing and Implementing a RTS-like management game

Detecting fraudulent student communication in a multiple choice online test environment

Development of a Multi-Platform Whiteboard Application

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

DynaGame

Empathic AuRa: Exploring the Effects of an Augmented Reality Cue for Emotional Sharing Across Three Face-to-Face Collaborative Tasks

Enabling Enterprise Blockchain Interoperability

Enterprise Reference Architecture for Open Data Implementation in Smart Health

Explaining Parkinson's Disease Computational Diagnostic based on Speech Analysis

Extending EcoAndroid with Automated Detection of Resource Leaks

FakeNewSSItes

Fish Behavior Detection through Video Frames and Trajectories

Formal Verification of Password Generation Algorithms used in Password Managers

From Music to a Sculpture

From Music to Animations, A Computational Creativity Approach

GameCoursePersonal

GameCourseUI

Grade Me

I am (still) Here!

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

Improving Differentiable Neural Architecture Search

Influence of Active Antennas on EMF Restrictions in 5G Base Stations Deployment

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

Internet Traffic Anomaly Warning Tool

IT Risk Management Ontology from representation to optimization using Enterprise Ontology

Learning temporal and geographic patterns from IPST blood collection data

Light-field rendering on mobile devices

LLVM Backend Support for Data Streaming Extensions

Local Web Application Development, Framework Proposal and Demonstration on Two Case Studies

Location Certificate Transparency

MEDO: MEDical Omnichannel Services Reference Architecture

Migrating Smart Contracts Across Heterogeneous Blockchains

Migrating Smart Contracts Across Heterogeneous Blockchains

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

Multiple choice questions system - fraud detection

MusiVid: Composing Video-inspired Soundtracks

Natural Language Processing applied to the Portuguese Consumer Law

Network support for attack detection: change you can believe in!

Next-Gen Pure Function Synthesis in OutSystems

On Usable Security and Verified Password Managers

Optimization of Data Cleaning Programs with User-Defined Functions

OrderWarp

Oversampling Active Noise COntrol Headphones

Perception of Emotion Expression in Synthetic Characters

Personality-Based Reward Sharing In Cooperative Games

PK-Graph: Partitioned K2-Tree Graph

Player and Simulation based Environmental Storytelling for Games

Player Preference Extraction From In-Game Behavior

Player-based Adaptive Tutorials for Games

Playing Soccer with Learning Agents

Profiling aging-associated gene expression alterations in human astrocytes using single cell transcriptomics

Pulse generator for DC discharge plasmas for particle accelerators (inglês), Nuno Espanha Torrado da Silva (Data de Prova: 10-11-2021 00:09)

Real Estate Market Analysis For Investment and Buying Cycles Prediction

Reproducible fault-injection on distributed systems

RNA-seq Co-Expression Analysis Across Tissues and Ageing: Transcriptional Module Co-Expression Preservation Within Tissues and Age-Related Decline in Gene-Gene and GO term Relationships

Scalable Network Emulation      

Semantifying Business Processes

Sensitivity Analysis for Deep Learning Models Interpretability in Epistasis Detection

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

Sketch-Driven SQL Synthesis

SmartPasswords: Increasing Password Managers' Usability by Generating Compliant Passwords

SmartPubSub@IPFS

Stateful Functions for Approximate Stream Processing

Stepwise Migration of a Monolith to a Microservices Architecture: Performance and Migration Effort Evaluation

Supporting Posits in Deep Learning Frameworks: A PyTorch Implementation

SurePresence: Location Proofs for Wearable and Kiosk Devices

Tales of Fear: Impact of Non-Diegetic Sound in a Horror

Temporal Models for the Prediction of Rheumatic Disease Prescription Outcomes

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

The Effect of Personality on the Framing Bias in Information Visualization

THE GENERAL LORD – Designing And Implementing A Persistent Multiplayer Mode in a AAA game

Time Series Analysis and Forecasting of Shellfish Contamination and Safety

TimeWarp

Traffic light control using multiagent reinforcement learning

Transformador Inteligente com Barramento DC Integrado

Trustable Blockchain Interoperability: Incentivizing Public Escrow Parties

Tutor for learning based on multiple choice questions

Use of Learning Mechanisms to Improve Wind Farms Operation Conditions Monitoring

Using Bayesian Networks to Support Believable Expression of Emotions in Games

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

Vector Multiply-Accumulate Unit for Transprecision Computing

Verification of Auction-Based Smart Contracts using the ConCert Framework

Vertex Connection and Merging with Vulkan

A Censorship-Resistant Publish-Subscribe System Based on WebRTC Covert Channels

Alexa What Have You Done? Making a Mystery Game with the Virtual Suspect

Arquitetura de painéis fotovoltaicos e conversores resiliente ao ensombramento, Filipe Alberto Guia Oliveira (Data de Prova: 17-10-2021 16:44)

Artificial Populations in Games with Dynamic Social Roles

Automatic sampling of water content in the soil using lysimeters

ChemTouch: A new way of seeing Chemistry

Evaluation of crash-consistency in Persistent Memory Applications

ExergyX as an Educational Game

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

Learning User Profiles for Automatic Test of Games

LITESAR – SISTEMA DE ANÁLISE DE IMAGENS SAR EM TEMPO-REAL

MisTrust Vis: The Effect of Personality on Data Trustworthiness

Modeling Large Neuron Systems using Machine Learning Techniques

Robust Symbolic Execution for WebAssembly

Separating Agreement from Execution to Improve the Scalability of Blockchains

Sistemas de Conversão MT/BT de Elevada Frequência para Aplicações em Sistemas de Armazenamento de Energia

Sistemas de conversão MT/BT de elevada frequência para aplicações em sistemas de carregamento de veículos elétricos

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

SocialCraft: A social NPC framework for Minecraft

Stegozoa: Securing the Transmission of Covert Internet Communications over WebRTC

Testing Interactive Narratives using Personality Types

Touch on Chemistry: Interaction System

Traceless Execution Support for Censorship-Resistant Tools

(Wearable) IoT System for People and Environment Monitoring

Body Modeling and Garment Simulation

C Compiler and Tools for P3 Educational Processor

Clusterval: Python package for determining the number of clusters in longitudinal datasets

Constraint-Based Programming

Controlador Inteligente de Iluminação

Data Migration for Secure Hardware Extensions

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

GiTab: Automatic Tablature Music Composition for Classical Guitar

Interactivness in Architecture

Mono2Micro - Identification of fine-grained call structure and refactoring

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

Personality and Motivation to Play Board Games

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

SmartZone: Enhancing the security of TrustZone with SmartCards

SoC-FPGA Deep Neural Network for Object Detection

Sparse Dynamic Bayesian network estimation using generalized linear models

Spatio-Temporal Question Answering Leveraging Neural Language Models for Passage Retrieval

Survival analysis of transcriptomic high-dimensional oncological data for the identification of cancer biomarkers

Tutor Adaptativo

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

Analysis and Implementation of a Suitable E-Voting Solution for Universidade de Lisboa

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

Intelligent Time-Series Forecasting for Predictive Maintenance

Predicting Ankylosing Spondylitis Treatment Outcome Using Model-based Methods

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

Ambix: Rethinking Linux’s Page Management to Support the new Intel Optane DC Persistent Memory

Blockchain Address Transparency with DNSSEC

GroupSensing - Influência do fator grupo em respostas sensoriais

Hardware-Secured System for Secure Communications

SoC-FPGA MobileNets for Embedded Vision Applications

STAKE: Secure Tracing of Anomalies using previous Knowledge and Extensions

An Integrated Space Radiation-Tolerant Library

Fog Computing Task Offloading Optimization based on Deep Reinforcement Learning

Hacking the System from Within

Optimization of LORAWAN Networks in Smart Grids

Optimization of Machine Learning Jobs in the Cloud

Sub-IV Bandgap Voltage Reference Circuit and Voltage to Current Converter

"PhyloMissForest: a framework to construct phylogenetic trees with missing data"

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

FPGA-Based Accelerator for High-Order Epistasis Detection

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

Interface Remota Genérica para Braços Robóticos

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

Moduladores Ressonantes de Alta Tensão Para Alvo do ISOLDE, João Carlos de Almeida Mendes (Data de Prova: 04-02-2021 15:41)

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

Abstractive Multi-document Summarization using Topical Simplicial Curves

Academic European E-identity Management Framework

An Approach to Multiplayer Interactive Storytelling

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

Analysis of retweeting behaviour on Twitter

Analysis of the Impact of EMF Restrictions on 5G Base Stations Deployment in Existing Networks

Analysis of the Implementation of Network Slicing in 5G Radio Networks

Assessing Players’ Cognitive Load in Games

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

Bandit-Based Strategies for Monte Carlo Planning in Continuous action spaces

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

Character Locomotion using Imitation Learning from Observations with Wavelets

Chronic pain assessment from patient reports

Citizen Science with immediate feedback

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

Descriptive and predictive modeling of water distribution network dynamics using multivariate time series data

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 a Monolith to Microservices: The analysis of Spring-Boot Applications

From Movement to Sound and Music, a Computational Creativity approach

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

Game Engines for Algorithmic Design

GameCourseBeyond

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

GAN-Based Content Generation of Maps for Strategy Games

GAPS: Geo Data Portals for Air Pollution Studies

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

Generative models for image descriptions

Generic Crowdsourcing System for Dynamic Environmental Surveys

Guiding the Evolution of the Software Architecture of Two Large Scale Production Systems

Highlight The Path Not Taken to Add Replay Value to a Storytelling Video Game

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

MCTS-based Planning for Grand Strategy Games

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

Mono2Micro - From a Monolith to Microservices: Metrics refinement

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

On the Performance of GANs for Estimating Univariate Distributions

Otimização do Algoritmo Back Propagation

P2CSTORE: P2P and Cloud File Storage for Blockchain Applications

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

PriVeil Circle: using Secure Multiparty Computation for sharing threat information

Procedural challenge generation guided by player choice in video games

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

SCALEET: A Scalable and Performant Permissionless Blockchain

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

The Influence of Conscientiousness in Game Content Personalisation

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

Tracking animals in underwater videos

Trafic Light Control using Deep Reinforcement Learning

Tutor for learning based on multiple choice questions

Unsupervised Density-based Concept Discovery

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

Virtual Static Security Analyzer for Web Applications

Visual Argument

Wireless Power Transfer System For Electric Vehicle Charging

Microservice Decomposition for Transactional Causal Consistent Platforms

Water quality monitoring system

Constrained IoT authentication in Cloud services

Cryptojacking Detection with CPU Usage Metrics

Using Randomized Byzantine Consensus to Improve Blockchain Resilience under Attack

An Architecture to Offer Transactional Strong Consistency for FaaS Applications

Auriculares com Controlo Ativo de Ruído Sobre Amostrado

CryingJackpot: Network Flows and Performance Counters against Cryptojacking

Generating Realistic Sign Language Animations.

Proof of Timely-Retrievability for Storage Systems at the Edge

Impedance based modeling of HVDC offshore wind

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

Sistema de Inquéritos

LiDAR data acquisition and processing for ecology application

Visual Question Answering

Improving the sound quality of the Feynman lectures on physics

Descriptive and predictive analysis of spatiotemporal data in urban domain

Investigador-bolseiro do projecto RiverCure

Musicological Information Extraction from Soundtracks

Implementation of a Python Interface for a C++ Statistical Machine Learning Library

Online multivariate density estimation

Qualichain

Spatial Disaggregation of Population Subgroups

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