Este projeto visa inferir e analisar relacionamentos em redes complexas. Sistemas complexos são dinâmicos, ou seja, novos elementos e relacionamentos surgem e desaparecem ao longo do tempo. Na literatura, o estudo da evolução e inferência dos relacionamentos entre elementos que compôem um sistema modelado por um grafo é denominado link

This European project focuses on the concept of inductive querying, i.e., the formalization of knowledge discovery processes as sequences of queries. This project is the follow-up of the successful IST FET project CINQ (FP5 IST 26469) which was already dedicated to the inductive database framework. Integrantes: Loïc Pascal Gilles Cerf

This project consists in the design and implementation of a new pointer analysis algorithm that can be parallelized. Integrantes: Fernando Magno Quintão Pereira – Coordenador / Daniel Berlin – Integrante. Número de produções C, T A: 1  

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

The Web 2.0 has brought deep changes to the Internet, as users are now able not only to consume, but also to produce content in a much faster and easier manner, in many cases in a collaborative way. This change gave rise to new ways for creating knowledge repositories to

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

Desenvolver metodologias de gestão do risco para o agronegócio brasileiro sob uma perspectiva estatístico-atuarial e econômica, baseadas na geração de estratégias de seguro eficientes para o setor. Integrantes: Renato Martins Assunção – Coordenador / Edna A Reis – Integrante / Marcelo A Costa – Integrante / Ramiro R Cardenas –

Este projeto tem por objetivo criar as condições ideais para a consolidação das atividades de pesquisa no âmbito do Programa de Pós-Graduação em Modelagem Computacional de Conhecimento da Universidade Federal de Alagoas (UFAL) através de ações tendentes a (i) melhorar a infra-estrutura computacional de seus laboratórios de pesquisa, (ii) ampliar

Projeto de cooperação internacional entre DCC/UFMG, PUC-Minas, IC/UNICAMP, INRIA/IRISA Rennes, UPMC Paris 6, Universidad de Chile e ORAND Chile. A mineração não-supervisionada de conteúdo multimídia tem por objetivo a detecção de padrões em dados multimídia compreendendo vídeo e voz, área esta que apesar das inúmeras aplicações não tem despertado o