Projetos de Pesquisa, Desenvolvimento, Inovação e Extensão Concluídos
Profiling And Specialization For Locality
O objetivo deste projeto é desenvolver técnicas que suportem a paralelização automática de programas. Entre tais técnicas citam-se análises estáticas de programas, e instrumentação de código binário. Este projeto é uma cooperação entre instituições brasileiras (UFMG e CEFET-MG) e o INRIA francês
Uso de Máquinas de Estado Abstratas na Formalização de Agentes em Aplicações de Inteligência Artificial e Jogos
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
Collaborative Monitoring
This industrial research project will develop the technology that is needed to allow end-users to collaborate in order to identify the origin and cause of Internet service degradation. The main differentiating assumptions we make in this project are that (i) ISPs do not cooperate together, and (ii) we cannot rely
Sistema de Monitoramento e Vigilância da Violencia e Acidentes de Trânsito
O projeto SIMVIDA pretende desenvolver e implementar um sistema de vigilância epidemiológica para dados de acidentes de trânsito e de violência para uso rotineiro em instituições de saúde pública que tenham referência geográfica e temporal. Os objetivos específicos são os seguintes: (1) Desenvolver métodos epidemiológicos para vigilância espaço-temporal de agravos
Novas Tecnologias para Enxames de Robôs
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
ReDisseR
(1) Uma vez que uma rede social é construída, a mesma pode ser analisada para descoberta de conhecimento, o qual pode, e deve, ser disseminado entre os componentes dessa rede. (2) As abordagens atuais para disseminar e recomendar conteúdo na Web consideram um formato de consulta que é dependente do
Multi-agentes para negociação de recursos em grids computacionais
A pesquisa aqui proposta neste projeto aplica a tecnologia de agentes para realizar a alocação de recursos por negociação em ambientes grid. Agentes têm a vantagem de agirem em nome de usuários e recursos e serem capazes de gerenciar tarefas em ambientes complexos e distribuídos, como é o caso dos
NanoDatacenters
Historically, content distribution in the Internet has relied on a client-server model. This model has shaped all Internet legacy applications such as the web, electronic mail messaging, and FTP. For the past ten years, we have seen content distribution solutions that have evolved from classical client-server models, through distributed caching,
Uma Abordagem utilizando Programação Genética para Publicidade Direcionada baseada em Conteúdo na Web
Neste projeto iremos focar no problema de Publicidade Direcionada baseada em Conteúdo (PDC) na Web. É assumido que temos acesso a um número de evidências textuais (e.g., texto da página Web e da propaganda, a campanha publicitária ao qual a propaganda pertence, palavras-chave disponíveis para descrever o conteúdo da propaganda)
