O objetivo deste projeto é o estudo e o desenvolvimento de metáforas e tecnologias de visualização capazes de representar o volume e a alta dimensionalidade de dados de Bioinformática, evidenciando os padrões neles presentes e sua evolução, facilitando a compreensão da informação apresentada. Integrantes: Raquel Cardoso de Melo Minardi –

This project consists in the design and implementation of a new pointer analysis algorithm that can be parallelized. Integrantes: Fernando Magno Quintão Pereira – Coordenador / Daniel Berlin – Integrante. Número de produções C, T A: 1  

O objetivo geral desse projeto é dividido em duas partes complementares: primeiro, traçar um perfil das mulheres da área de Computação, e partir de tal perfil, trabalhar para atrair meninas para a área e reter as que já se encontram na Computação. Os objetivos específicos em três etapas são: (i)

Grande parte do papel integrador que a Computação exerce em relação a outras áreas de pesquisa decorre dos recursos desenvolvidos na área ao longo do tempo para armazenar, acessar, manipular, gerenciar, integrar e analisar grandes volumes de dados, gerando informação e conhecimento. No entanto, não existe na atualidade um equilíbrio

O objetivo principal desse projeto é desenvolver uma infra-estrutura de hardware e software que permita a experimentação com enxames de robôs. Feito isso, serão implementados e validados experimentalmente algoritmos que envolvam a localização, navegação, coordenação e controle de grandes grupos de robôs, complementando assim os trabalhos de simulação.  Integrantes: Luiz

Implementar uma ferramenta computacional, calibrada com os bancos de dados de trânsito de animais que permita avaliar mediante simulações os possíveis cenários de disseminação inicial de doenças animais altamente contagiosas no país a partir do fluxo de movimentos de animais. Esta ferramenta poderá auxiliar na determinação do risco do rebanho

O objetivo principal do presente trabalho é investigar, desenvolver e avaliar algoritmos para o controle e a coordenação de grandes grupos de agentes robóticos. Especificamente, pretende-se complementar e estender dois projetos de pesquisa coordenados pelo proponente que já se encontram em andamento: um com ênfase na navegação de enxames e

Este trabalho de pesquisa discute a adequação de formalismo ASM para a especificação do comportamento de agentes em aplicações de Inteligência Artificial. Fazendo uso de ferramentas específicas, um dos objetivos desta pesquisa é implementar aplicações de Inteligência Artificial usando-se o paradigma de ASM, bem como avaliar a facilidade de implementação