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

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

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)

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,

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) .  

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

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

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.   

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