Projetos de Pesquisa, Desenvolvimento, Inovação e Extensão Concluídos
Ferramenta para Estimar Erros de Projeto em Circuitos Integrados
Com a complexidade dos circuitos integrados (CIs) crescendo exponencialmente, as técnicas tradicionais de verificação nem sempre são suficientes para localizar todos os erros de um projeto. Uma das técnicas mais utilizadas nos dias de hoje é a verificação baseada em asserções. asserções são monitores instanciados pelo projetista do circuito integrado
Desenvolvimento de uma Infra-Estrutura para Experimentação com Enxames de Robôs
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
Algoritmos, Otimização e Aplicações
Os modelos, técnicas e metodologias de Otimização originaram, assim como a Computação, durante a segunda grande guerra, em aplicações básicas de Produção e Logística. São técnicas fundamentadas na Matemática e Física e que tem tido uma grande evolução. Atualmente, problemas de alta complexidade e podendo atingir milhões de variáveis podem
Credibilidade em Serviços da Web
Este projeto de pesquisa versa sobre a credibilidade em serviços da Web. Cabe ressaltar que o que motivou a escolha do tema foi o grau de importância que este tem para a sociedade hoje e a vastidão de desafios e questões de pesquisa que surgem desse tema de investigação. Também
AOL fellowship in Information Retrieval
Projeto de pesquisa financiado pela AOL para desenvolvimento de teorias e ferramentas para Bibliotecas Digitais. Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissionalizante: (0) / Doutorado: (1) . Integrantes: Marcos André Gonçalves – Integrante / Edward A Fox – Coordenador.
Otimização Integrada em Aplicações Logísticas, de Produção e em Transporte
Os objetivos principais do projeto são a pesquisa e o desenvolvimento de soluções integradas para problemas logísticos e de transporte por meio de técnicas e metodologias modernas e eficientes. Este projeto, de uma forma geral, se concentra no planejamento tático e no operacional e em um conjunto de atividades de
Técnicas, Ferramentas e Métricas para Remodularização de Sistemas – Programa Pesquisador Mineiro (PPM V)
O projeto foi proposto para apoiar as pesquisas do solicitante nas seguintes áreas: Erosão Arquitetural. Durante a implementação e evolução de um sistema, sua arquitetura concreta pode se desviar da arquitetura com que ele foi planejado. Mais importante, esses desvios normalmente não são detectados, dando origem ao fenômeno conhecido como
Redes Sem Fio Adaptativas
Projeto Fapemig PPP (Programa Primeiros Projetos), de 24 meses. Nas redes sem fio não estruturadas, os dispositivos sem fio repassam os dados entre si, passando de um nó ao outro até que a informação transmitida chegue ao seu destinatário. Estas redes se encontram em ambientes extremamente dinâmicos, assim a rede
Gestão de grandes volumes de documentos textuais
O projeto está inserido no grande desafio da Sociedade Brasileira de Computação (SBC) Gestão da informação em grandes volumes de dados multimídia distribuídos . Dentro deste desafio, o projeto trata especificamente da gestão de documentos textuais, como páginas WEB ou documentos eletrônicos, gerados em organizações públicas ou privadas. Integrantes: Mirella
