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
Caracterização, Modelagem e Exploração de Padrões de Comportamento de Usuários em Aplicações e Serviços da Web 2.0
Este projeto visa contribuir para o desenvolvimento de serviços e aplicações da Web 2.0 mais eficientes, eficazes e robustos, provendo um conhecimento sólido sobre diferentes padrões de comportamento de seus usuários. Ele aborda duas frentes de trabalho complementares. Por um lado, ele visa identificar e caracterizar diferentes redes sociais que
Perfil Feminino em computaÇão
O objetivo geral desse projeto é dividido em duas partes complementares: primeiro, traçar um perfil das mulheres da área de Computação, e partir de tal perfil, trabalhar para atrair meninas para a área e reter as que já se encontram na Computação. Os objetivos específicos em três etapas são: (i)
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,
Autonomia em Sistemas Distribuídos em Larga Escala
Este projeto visa desenvolver técnicas baseadas em teoria dos jogos, algoritmos epidêmicos e princípios relacionados para configuração autônoma de sistemas distribuídos em escala planetária. Alunos envolvidos: Graduação: (2) / Doutorado: (2) .
Escalabilidade e Eficiência em Sistemas de Computação: Mineração de dados de aplicações Internet
Este projeto de pesquisa versa sobre a construção de sistemas de mineração de dados escaláveis e eficientes. A escolha da aplicação mineração de dados (e ferramentas de inteligência em geral). Em particular, o projeto ataca três grupos de desafios de pesquisa em Ciência da Computação: extração automatizada de conhecimento de
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
Modelagem e Precificação de Derivativos Climáticos para a Gestão do Risco em Agricultura.
Propor estratégias de modelagem e precificação de planos de seguro agrícola baseados em derivativos climáticos que levem em consideração os aspectos espacial e temporal das variáveis climáticas envolvidas e sua relação com a produtividade. Integrantes: Renato Martins Assunção – Coordenador / Ramiro R Cardenas – Integrante.
Caracterizacao e Modelagem de Trafego de E-mails Maliciosos
A premissa principal em que este projeto está baseado é que o desenvolvimento de mecanismos eficientes e eficazes para combate ao tráfego de e-mails maliciosos (spam e e-mails infectados com virus) tem que ser respaldado em um conhecimento profundo de características determinantes e fundamentais destes e-mails e do processo básico
