Projetos de Pesquisa, Desenvolvimento, Inovação e Extensão Concluídos
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
Projeto Sistema de Apoio Unificado e Detecção em Vigilância Epidemiológica
As doenças infecciosas vêm tendo sua importância recolocada no cenário epidemiológico brasileiro, com as epidemias de dengue, de leptospirose, a recorrência da tuberculose, entre outras. Além disso, as doenças ditas (re)emergentes e sua rápida disseminação estão colocando novos desafios para os sistemas de saúde, particularmente quanto à forma de conduzir
Otimização de Código em Ambiente de Semântica Formal Executável baseado em ASM
O objetivo deste trabalho de pesquisa se origina na necessidade de ferramentas eficientes de suporte à execução e análise de sisteas complexos de modelagem baseadas em métodos formais. Tais ferramentas apresentam difícies problemas de otimização e de bom uso dos recursos do ambiente de computãção, Assim, utilizar ASM para especificar
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
Confiabilidade de Aplicações Internet – Desempenho, Disponibilidade e Robustez a Usuários Maliciosos e Oportunistas
A confiabilidade de uma aplicação depende de três aspectos chaves: desempenho, disponibilidade e robustez a usuários maliciosos e oportunistas. Neste projeto, pretendemos atuar em três frentes de trabalho para aumentar a confiabilidade de aplicações da Internet. No contexto de aplicações de comércio eletrônico, pretendemos desenvolver um arcabouço integrado de gerenciamento
Incorporando Modelos de Conhecimento a Algoritmos de Mineração de Dados Escaláveis
O objetivo geral desse projeto é melhorar algoritmos de mineração de dados, em particular mineração de textos e grafos por meio da exploração de modelos de conhecimento para aumentar sua efetividade e paralelização, de tal que forma que eles possam escalar melhor.Neste projeto estamos propondo a integração de representações do conhecimento,
Desenvolvimento de Firmware e Autorização dos Testes de Firmware
Projeto de Pesquisa aprovado no programa FAP Ação Transversal. O objetivo do projeto é o desenvolvimento de firmware e automatização de testes de firmware para o Produto Spectrum PIART. O Spectrum PIART, é um medidor de energia elétrica ativa, energia reativa indutiva e capacitiva, classe de presisão 1%, 2 ou
Modelos e Algoritmos para análise de Redes biológicas
A crescente geração de dados nos Projetos Genoma e em outras iniciativas que estão gerando dados em escalas nunca antes experimentadas, juntamente com a necessidade de se produzir informação a partir dessa enorme massa de dados, vêm demandando o desenvolvimento de novos modelos e algoritmos. Essa perspectiva de aquisição de
Vídeo Capture
Construção automática de ambientes virtuais realísticos com aplicações em robótica cooperativa. Utilização de um domo de câmeras para captura de imagens e movimento, reconstrução 3D, localização, etc. Integrantes: Luiz Chaimowicz – Integrante / Mário Fernando Montenegro Campos – Integrante / Rodrigo Carceroni – Coordenador.
