Controlador de Elasticidade para Nuvens Federadas: um Estudo de Caso na Plataforma BioNimbuZ

/Controlador de SLA em Nuvens Federadas

/Simulação de Enovelamento de Proteínas com Enterramento Atômico em Ambientes Heterogêneos de Alto Desempenho

Alpha-Equivalência, Matching e Unificação-Módulo na Sintaxe Nominal

/CUDA-Sankoff: using GPU to Accelerate the Pairwise Structural RNA Alignment

/Formalização da Terminação de Especificações Funcionais

/Otimização de Distorção de Profundidade Admissível para Codificação de Mapas de Profundidade

Algoritmos Paralelos e Eficientes para Consultas IP no Intel(R) Xeon Phi(tm) e CPUs Multi-Core

/Efficient Algorithm Sensitivity Analysis with Parameter Tuning on Large Imaging Datasets

Three-layer system for artifact classification and audio-visual quality assessment

Provisão de Recursos e Proteção em Redes Óticas EON

Predição Aplicada em Workflows Científicos para Estimativa de Custos e Recursos Computacionais em Nuvens Federadas

Formalização de Equivalência entre Critérios de Terminação

/Proposta de Modelo Evolucionário para Simulação da Evolução da Camuflagem em Seres Vivos

Feature-Family-Based Reliability Analysis of Software Product Lines

/Aceleração de Algoritmo de Bioinformática em Arquiteturas Reconfiguráveis

/Um Sistema de Análise e Visualização Unificada de Dados Qualitativos e Quantitativos do Gameplay

/Compressive Sensing filtering for Magnetic Resonance Imaging

Construção de árvores filogenéticas usando dados baseados na ordem dos genes

/Estratégias Comutativas para Análise de Confiabilidade em Linhas de Produtos de Software

/Preenchimento de buracos de expansão em sínteses de vistas virtuais baseada em profundidade

Uncertainty Assessment and Quantification in a Land-Use Case Study

/Uma Arquitetura baseada em Containers para Workflows de Bioinformática em Nuvens Federadas

On The Performance Evaluation of Multi-Channel MAC Protocols

Uma Ferramenta Multiagente para Anotação de Proteínas

A Multi-Agent Planning Model for Airport Ground Handling Management

Arquitetura para Monitoramento Georreferenciado e Configuração Remota de Sensores de Ambientes de Internet das Coisas