Projetos de Pesquisa, Desenvolvimento, Inovação e Extensão Concluídos
Vigilancia espaco-temporal
Neste projeto pretendemos analisar e estender sistemas de vigilância prospectivos.
Metáforas e tecnologias para visualização de dados biológicos e descoberta do conhecimento em Bioinformática
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. Alunos envolvidos: Graduação: (1) / Mestrado acadêmico:
Suporte de Sistemas a Aplicações Escaláveis
No contexto de aplicações distribuídas de grande porte, desenvolver soluções a nível de sistemas operacionais e redes de computadores que propiciem a criação de um ambiente de desenvolvimento e execução de aplicações distribuídas em larga escala e com alto desempenho é hoje um desa?o para a comunidade de sistemas distribuídos.
Verificação Híbrida de Modelos: Ferramentas e Aplicações
Sistemas computacionais são frequentemente utilizados em aplicações críticas como controladores de máquinas industriais aonde falhas podem ter consequências graves. Mesmo em aplicações não industriais erros são frequentemente inaceitáveis. Por exemplo, em um sistema de comércio eletrônico erros podem levar desde a perda de clientes por insatisfação com o serviço até
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)
Aplicações e Infra-estrutura para Vídeo Interativo em Banda Larga
Este projeto diz respeito a três componentes essenciais em aplicações de vídeo interativo em banda larga: a sincronização temporal e espacial de objetos multimídia, os exibidores (formatadores) temporais e o sistemas (redes) de suporte à distribuição. O conteúdo de aplicações de TV interativa são documentos multimídia que seguem o paradigma
Suporte de sistemas a aplicações amplamente distribuídas
O objetivo do trabalho é desenvolver, no aluno bolsista, habilidades necessárias para compreender o problema de organização autônoma de sistemas distribuídos complexos. Ao aplicar técnicas de monitoração e análise de dados, para construir modelos eficazes de sistemas complexos e realizar a avaliação de soluções propostas no ambiente alvo, em termos
AOSD Europe
AOSD-Europe harmonises and integrates the research, training and dissemination activities of its members in order to address fragmentation of AOSD activities in Europe and strengthen innovation in areas such as aspect-oriented analysis and design, formal methods, languages and applications of AOSD techniques in ambient computing. Integrantes: Eduardo Magno Lages Figueiredo
Algoritmos Adaptativos para Recuperação de Informação
Hoje em dia, com o desenvolvimento a baixo custo de sistemas informatizados, a maior parte da informação é armazenada de forma digital. De fato, o funcionamento de instituições em todas as áreas sociais depende de sistemas de informação eficazes e eficientes. No entanto, o desenvolvimento de sistemas para o tratamento
