O objetivo deste projeto é  o desenvolvimento de técnicas de classificação automática de textos (CAT) que fossem resilientes ao efeitos temporais inerentes às mudanças e evolução do vocabulário dos documentos ao longo do tempo e que afetam negativamente a CAT.

Simulação através de computador é uma ferramenta vital para a análise de sistemas complexos, e sistemas caros e difíceis de serem construídos. É uma ferramenta que ajuda no desenvolvimento e avaliação de novas idéias e algoritmos a serem usados em problemas do mundo real. É impensável construir um sistema para

Este projeto de pesquisa se propõe a estudar e implementar uma nova heurística para alocação de registradores usando uma técnica denominada Crescimento de Domínio Ativo (Live Range Growth). Esta técnica foi proposta para se resolver o problema de alocação de referências a vetores em registradores de endereçamento, dentro de laços

O ambiente AntHill tem por objetivo prover suporte para a paralelização escalável e eficiente de algoritmos paralelos. Esta escalabilidade e eficiência resultam da possibilidade de se explorar três tipos de paralelismo: tarefas, dados e assincronia. O ambiente está operacional e tem sido usado para paralelizar diversos tipos de aplicações. Alunos

Este trabalho visa o projeto e a implementação de um portal universitário para a disseminação de oportunidades de bolsas de iniciação científica, estágios e empregos.   Alunos envolvidos: Graduação: (1) . Integrantes: Mirella Moura Moro – Coordenador / Wagner Vinicius Guimaraes Lopes – Integrante. Número de orientações: 3  

A premissa principal em que este projeto está baseado é que o desenvolvimento de mecanismos eficientes e eficazes para combate ao tráfego de e-mails maliciosos (spam e e-mails infectados com virus) tem que ser respaldado em um conhecimento profundo de características determinantes e fundamentais destes e-mails e do processo básico

Desenvolvimento de uma nova plataforma de hardware para o scanner automotivo Scanycar, sem o uso de cartuchos. Essa plataforma deveria ser capaz de se comunicar com as diferentes redes de comunicação de dados existentes nos veículos atuais e com a interface serial RS-232 de um computador pessoal (PC). Alunos envolvidos:

Estudo e pesquisa de métodos de especificação formal executáveis e de geração de compiladores baseados em semântica formal. Integrantes: Mariza Andrade da Silva Bigonha – Integrante / Vladimir O Di Iorio – Integrante / BIGONHA, Roberto S. – Coordenador.  

Objetivo principal do projeto é investigar, desenvolver e avaliar algoritmos e interfaces para o controle e a coordenação de enxames de robôs em diferentes tipos de tarefas. Enxames de Robôs (do inglês robotic swarms) são grupos compostos por um grande número de robôs mais simples, que individualmente não possuem muita