Uma nova abordagem para resolução de conflitos envolvendo trajetórias 4D de aeronaves

/Codificação de imagens com autoencoders variacionais

/Asymmetric Unification and DisUnification Modulo

/Node2FaaS: uma abordagem eficiênte para execução de aplicações NodeJS utilizando Function as a Service

Achieving Energy Efficiency and Performance with Auxiliary Graph Model in Elastic Optical Networks

/Compressão de Imagens com Redes Neurais

/Usando dependências de co-mudança para recomendar refatoramentos de código fonte

Suporte ao Uso Correto de Bibliotecas de Criptografia

/Desenvolvimento de um mecanismo de segurança em redes definidas por software

Reconstrução de redes de regulação gênica baseada em agentes

/A Machine-verified Theory of Commuting Strategies for Product-Line Reliability Analysis

/Análise de métodos baseados em Aprendizado de Máquina para Predição de snoRNAs no genoma de vertebrados

/Um Plano de Controle Seguro e Distribuído para Redes Definidas por Software

Proposta de mecanismos eficientes em termos de vazão e uso de recursos no contexto de comunicações full-duplex

The Turing Completeness of PVS0

Modelo Adaptativo de Objetos para Domínio de Normas Jurídicas Utilizando Ontologia de Fundamentação

Quality Assessment of Volumetric Video

/Estruturas Algébricas em PVS

QualiOSM: Implementação de uma ferramenta para melhorar a inclusão de dados geográficos colaborativos

/On the Behavior of Parallel Island Models

/Serviços do SWIM Registry Brazil: uma nova abordagem com Blockchain

/Análise de técnicas de clusterização para o jogo Final Fantasy XIV

Quality of Protection Pre-provisioning and Elastic Optical Networks

Estudo de Parâmetros Eficiente em Aplicações de Análise de Imagens Médicas

Longest Common Sequence emFPGA utilizandoHLS

Melhorando Dados Governamentais Abertos com Proveniência de Dados

Parallel Comparison of Huge DNA Sequences in Multiple GPUs with Pruning

/Utility-based Strategy for Balanced Cost and Availability at the Cloud Spot Market 

/What the source code evolution could tell us about errors?

/Modelo de Análise de Desempenho para Funções de Redes Virtualizadas em 5G

Explorando o Tráfego de Fluxos em Rede Metropolitana com a Arquitetura Ultra-Dense Wavelength Switched Network(UD-WSN)

/An Architecture to Support Control Theoretical-based Analysis of Goal-Oriented Adaptation Engines

/Desenvolvimento de solução de active learning para exames por imagem