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

Este projeto tem por objetivo desenvolver técnicas de mineração de dados para suporte ao entendimento e aperfeiçoamento de duas aplicações de alta relevância e impacto no contexto da Internet: bibliotecas digitais e detecção de spams. Considerando a demanda computacional e o crescente volume de dados a ser minerado, o projeto

Redes sociais online têm atraído milhões de usuários e é atualmente a atividade online mais popular na Internet. Em particular, o Twitter vem constantemente crescendo como um importante sistema onde usuários discutem sobre tudo, expressando opiniões, visão política, orientação sexual e até mesmo conceitos vagos como humor e felicidade. Devido

Estabelecimento de um programa de cooperação e intercâmbio científico entre a JABIL e o DCC/UFMG abrangendo atividades de pesquisa, desenvolvimento, formação e treinamento de recursos humanos, geração, absorção, e transferência de tecnologias e prestação de serviços tecnológicos na área de informática e automação. Alunos envolvidos: Graduação: (1) / Mestrado acadêmico:

AOSD-Europe harmonises and integrates the research, training and dissemination activities of its members in order to address fragmentation of AOSD activities in Europe and strengthen innovation in areas such as aspect-oriented analysis and design, formal methods, languages and applications of AOSD techniques in ambient computing. Integrantes: Eduardo Magno Lages Figueiredo

O principal elemento motivador do desenvolvimento do projeto está relacionada aos elevados níveis de perdas financeiras e comerciais relacionados à fraude e roubo de energia, principalmente nos grandes centros urbanos. Atualmente a CEB – Companhia Energética de Brasília – tem realizado a análise individual e manual de curvas de carga

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

O presente projeto tem como objetivo principal estudar, projetar, desenvolver e avaliar algoritmos e metodologias para coordenação de grandes grupos (tipicamente contendo dezenas ou mesmo milhares) de robôs. Esses arranjos têm sido denominados na literatura internacional por swarms, e que neste texto será traduzido por “enxames”. A coordenação de grupos

Implementar uma ferramenta computacional, calibrada com os bancos de dados de trânsito de animais que permita avaliar mediante simulações os possíveis cenários de disseminação inicial de doenças animais altamente contagiosas no país a partir do fluxo de movimentos de animais. Esta ferramenta poderá auxiliar na determinação do risco do rebanho