O Departamento de Matemática da UFMG mantém o Projeto Visitas que tem por objetivo receber alunos do ensino fundamental e apresentar conteúdos através de jogos e outras formas lúdicas. A participação da Profa. Raquel neste projeto tem o objetivo de permitir a avaliação e extensão do Pingo, um ambiente criado

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

O projeto SIMVIDA pretende desenvolver e implementar um sistema de vigilância epidemiológica para dados de acidentes de trânsito e de violência para uso rotineiro em instituições de saúde pública que tenham referência geográfica e temporal. Os objetivos específicos são os seguintes: (1) Desenvolver métodos epidemiológicos para vigilância espaço-temporal de agravos

Este projeto tem por objetivo investigar o problema da cooperação entre agentes móveis autônomos terrestres e aéreos e redes de nós sensores sem fio estáticas e móveis (RSSFE e RSSFM), levando-se em conta aspectos dinâmicos e estocásticos. Trata-se de um problema de grande interesse pela redução significativa nas restrições determinísticas

Com a evolução da Web 2.0, é cada vez mais fácil de?nir conexões (redes) sociais, as quais podem ser analisadas para descoberta de conhecimento; esse conhecimento pode, e deve, ser disseminado entre os componentes dessa rede. Os dados na Web não são mais apenas conteúdo, pois agregam informação social, o que aumenta ainda

TEsse projeto propõe a especificação de um Sistema de Disseminação de Conteúdo Inteligente. Especificamente, propõe-se que sejam adicionadas técnicas de inteligência artificial a um sistema de disseminação de conteúdo XML. Desse modo, este projeto se encaixa no futuro do estado-da-arte desse tipo de sistema. Para alcançar o objetivo principal do

O objetivo geral do projeto como um todo é aumentar o desempenho e a robustez de redes móveis, a partir da utilização de protocolos e algoritmos que se adaptam de forma automática a mudanças no ambiente e na rede. Este projeto de pesquisa irá investigar a aplicação do paradigma de

O objetivo desse projeto é propor modelos e algoritmos aplicáveis em problemas reais, explorando temas específicos como localização de facilidades, topologia, dimensionamento, roteamento, mobilidade. Terão destaque os problemas relacionados ao planejamento e projeto de redes, e problemas de otimização envolvendo redes ópticas e redes sem fio ou, mais especificamente, redes

O crescimento exponencial na criação e acúmulo de dados não escapou ao vídeo digital. A maioria da produção profissional de vídeo já se faz em formato digital, o que implica a necessidade de gerir, preservar e prover acesso a um volume de dados que desafia o estado-da-arte tecnológico. Além dessa