Projetos de Pesquisa, Desenvolvimento, Inovação e Extensão Concluídos
Modularidade usando Dependências Semânticas e Evolutivas
Os objetivos principais da pesquisa proposta são os seguintes: (#1) investigar novas soluções e visões modulares, com ênfase em módulos que agrupem classes segundo seus relacionamentos semânticos e evolutivos; (#2) investigar novas soluções para conformidade arquitetural, com ênfase em agilidade e recomendação de refactorings. Esses dois objetivos principais são fatorados
Centro de Competências em Comunidades de Cooperação e Conhecimento
O projeto C5 foi criado com o objetivo de estudar o comportamento dos usuários e das comunidades de pessoas com interesses comuns formadas nas redes sociais da Web. Ele está focado na análise do Peabirus, uma rede de negócios que nasceu de um projeto financiado pelo governo do estado de
PAPOC: Projeto de algoritmos para problemas de otimização combinatória
Aquisição de conhecimentos mediante o estudo da bibiografia relacionada à engenharia de algoritmos e otimização combinatória. Do plano 1: Estudar a adequação dos métodos de engenharia de algoritmos para a resolução eficiente de problemas de otimização combinatória. Desenvolver metodologias para o desenvolvimento de algoritmos de otimização combinatória eficientes. Do plano
Métodos e Ferramentas de Documentação de Programas e Especificação Formal Executável
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.
Modelos, Algoritmos e Aplicações em Redes de Telecomunicações Ópticas e Sem Fio
O objetivo desse projeto é propor modelos e algoritmos aplicáveis em problemas reais, explorando temas específicos como localização de facilidades, topologia, dimensionamento, roteamento, mobilidade. Terão destaque os problemas relacionados ao planejamento e projeto de redes, e problemas de otimização envolvendo redes ópticas e redes sem fio ou, mais especificamente, redes
Algoritmos,Otimização e Aplicações
O contexto deste projeto de pesquisa envolve algoritmos de otimização explorados em problemas clássicos de Combinatória, mas com grande potencial de aplicação a problemas reais, mas também a três temas de aplicação amarrados a outras linhas clássicas da computação: Engenharia de Software, Robótica, Visão Computacional e Jogos, e Redes de
Verificação Automática de Sistemas Computacionais de Complexidade Industrial
O objetivo do projeto é ter entre seus membros dois alunos de doutorado e três ou quatro alunos de mestrado a serem definidos posteriormente. Este projeto foi aprovado no edital MCT/CNPq 15/2007, universal em 2007. Enquanto que o projeto anterior prevê viagens e equipamentos para o desenvolvimento da pesquisa, este
Análise Multirresolução de Imagens Baseada em Dependência Espacial Modelada por Campos Aleatórios de Markov
Apesar do crescente interesse na abordagem de segmentação que considera a dependência espacial, há um número pequeno de trabalhos utilizando campo aleatório de Markov para análise de imagens. A escolha desta técnica de segmentação pode ser considerada como uma contribuição para a literatura, particularmente no país, onde há ainda poucos
Ciência, Tecnologia e Arte para a Conservação de Bens Culturais
O projeto tem como objetivo possibilitar a produção e o acesso a imagens provenientes da digitalização de fotografias em suporte físico (slides, cromos e fotografias em diferentes suportes), além de imagens capturadas diretamente por dispositivos digitais, através da instalação de uma estação de digitalização de alta resolução e com gerenciamento
