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
Centro de Análise e Modelagem de Performance de Sistemas
Este projeto visa investigar as interacoes entre grandes grupos sociais e sistemas distribuidos em larga escala. E constituido de tres sub-areas principais: desempenho de sistemas par-a-par, no qual participo, caracterização do impacto do tempo de resposta no comportamento do usuários de serviços Internet, e planejamento de capacidade. Alunos envolvidos: Graduação:
Avaliação de Comunicabilidade Aplicada ao Projeto ORÉ
Neste projeto propomos a utlilização do método de avaliação de comunicabilidade estendido para ambientes multi-usuário no contexto do Projeto Oré que prevê o desenvolvimento de tecnologias de groupware para organizações de voluntários. O principal objetivo deste projeto é se apreciar o método de avaliação de comunicabilidade estendido, através do seu
Tecnologias Avançadas de Computação em Segurança Pública
Neste projeto pretende-se avançar o estado da arte da área de avaliação de políticas de segurança pública, no sentido de criar ferramentas capazes de prever os efeitos obtidos pela implementação de políticas e ações específicas de combate ao crime. Este projeto tem por objetivo principal a aplicação de tecnologias da área
Ferramentas Computacionais Aplicadas a Modelos Complexos da Fisiologia de Células Cardíacas
Desenvolvimento de Ferramentas Computacionais Aplicadas a Modelos Complexos da Fisiologia de Células Cardíacas, utilizando Redes Metabólicas, Cadeias de Markov, Problema Inverso e Computação Paralela. Integrantes: Ana Paula Couto da Silva – Integrante / Itamar Leite de Oliveira – Integrante / Rodrigo Weber dos Santos – Coordenador / Carlos Cristiano Hasenclever
Interação Humano-Computador fundamentada na Teoria da Engenharia Semiótica
Este projeto apresenta a pesquisa que tem sido desenvolvida na área de IHC no DCC fundamentada na teoria da engenharia semiótica e atua no esforço de consolidação e revisão tanto da teoria, quanto de modelos e métodos fundamentados nesta. Especificamente o projeto investiga a aplicação da engenharia semiótica e seus
Fusão de Dados em Redes de Sensores sem Fio
Este projeto tem como objetivo propor um framework para fusão de dados em redes de sensores sem fio; projetar, implementar e avaliar técnicas de fusão de dados usando uma plataforma real. A fusão de dados possui pelo menos dois fatores que tornam importante a sua utilização em RSSFs. O primeiro
Redes de Vídeo Sensores sem Fio na Implementação de Armadilhas Fotográficas para Monitoração e Catalogação de Animais na Floresta Amazônica
Este projeto temo como objetivo investigar o uso de Redes de Sensores Sem Fio (RSSFs) e Redes de Vídeo Sensores Sem Fio (RVSSFs) no auxílio e implementação de armadilhas fotográficas (camera traps) para a monitoração e catalogação de espécies animas na floresta amazônica. Armadilhas fotográficas são máquinas com sensores de
Métodos Evolucionários para Geração Automática de Algoritmos de Aprendizado
Oprincipal objetivo desse projeto é utilizar um algoritmo evolucionário para gerar automaticamente um algoritmo de classificação baseado em Redes Bayesianas. O algoritmo será validado em três contextos: considerando bases de dados específicas, conjuntos de bases com características semelhantes e bases de dados genéricas. Além disso, estudaremos como melhorar a generalização
