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
Escalabilidad e eficiência em Mineração de Padrões Complexos
Esse projeto tem por objetivo produzir algoritmos de mineração de textos e grafos mais eficientes e eficazes, por meio da exploração de conhecimento existente e paralelização. Integrantes: Renato Antonio Celso Ferreira – Integrante / Wagner Meira Jr. – Coordenador / Dorgival Guedes – Integrante.
Sistema de Vigilância Espaço-Temporal para Detecção de Clusters Emergentes
Nosso objetivo nesse projeto de pesquisa e estudar o desempenho de sistemas de vigilancia espaco-temporal, em particular, aquele proposto por Assuncao e Correa (2009). Nossa preocupacao era estudar as propriedades do metodo, propor uma nova estatistica de teste baseada na correcao Rn – n e considerar formas de incorporar mais
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
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
Infra-estruturas de informação espacial: acesso móvel e distribuído a múltiplas fontes de informação
Grande parte do papel integrador que a Computação exerce em relação a outras áreas de pesquisa decorre dos recursos desenvolvidos na área ao longo do tempo para armazenar, acessar, manipular, gerenciar, integrar e analisar grandes volumes de dados, gerando informação e conhecimento. No entanto, não existe na atualidade um equilíbrio
Desenvolvimento e validação de um Sistema de simulação de enfermidades infecciosas em bovinos baseada no trânsito de bovinos
Implementar uma ferramenta computacional, calibrada com os bancos de dados de trânsito de animais que permita avaliar mediante simulações os possíveis cenários de disseminação inicial de doenças animais altamente contagiosas no país a partir do fluxo de movimentos de animais. Esta ferramenta poderá auxiliar na determinação do risco do rebanho
Metodologias Robustas e Eficientes para Vigilância
Este projeto de pesquisa, inserido no contexto de Visão Computacional, tem como foco principal o desenvolvimento e aprimoramento de técnicas de visão computacional para efetuar monitoramento de ambientes a partir de dados visuais obtidos por uma rede de câmeras de vigilância. Um dos principais objetivos do monitoramento automático de ambientes
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.
