Uma teoria fundamentada sobre estruturas organizacionais para profissionais de desenvolvimento...

Implantação automatizada de composições de serviços web de grande escala

Detecção de estruturas finas e ramificadas em imagens usando campos aleatórios de...

Classificação automática de documentos de características econômicas para defesa...

Abordagem eficiente baseada em grafo hierárquico em camadas para a segmentação de...

Um resolvedor SAT paralelo com BSP sobre uma grade

GAVEL: um mecanismo de regulação baseado em sanções para sistemas multiagentes n...

Otimização em Meteorologia: cálculo de perturbações condicionais não-lineares ót...

Recoloração convexa de caminhos

Simulação de redes de sensores sem fio para o monitoramento de deslizamentos de ...