Vamos estudar dois problemas: o de testar a presença de interação espaço-tempo em dados de processos pontuais e o de monitorar um processo espaço-temporal para identificar padrões emergentes. No primeiro problema, nosso interesse é comparar um teste amplamente usado para testar interação espaço-tempo (o teste de Knox) com um teste

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  

Esse projeto tem como principal objetivo desenvolver modelos de classificação hierárquica baseados em algoritmos evolucionários. Além disso, ele também investigará métricas eficazes para avaliação de métodos hierárquicos. Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) .  

Consolidação o programa de treinamento de alunos da UFMG para a Maratona de Programação. – Preparação de material didático para a Maratona de Programação, estruturação de treinamentos e divulgação das atividades relacionadas à Maratona entre as turmas de graduação da UFMG. – Criação desse grupo de estudos sobre resolução de

Implantação de um sistema de informação multimídia para documentos (fotografias, cartas, textos, slides, entrevistas voz) da tecnologia nuclear. Digitalização dos documentos e divulgação eletrônica da base de dados.  Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissionalizante: (0) / Doutorado: (0) . Integrantes: Arnaldo de

O objetivo desta proposta é o projeto e o desenvolvimento de aplicações-protótipos e infraestrutura de tecnologia de informação e comunicação (TIC) visando melhorar a qualidade de vida de moradores de áreas rurais em países emergentes da língua portuguesa. Estas aplicações serão projetadas, tendo como restrições as estruturas ainda precárias de

Este projeto visa investigar as interacoes entre grandes grupos sociais e sistemas distribuidos em larga escala. E constituido de tres sub-areas principais: desempenho de sistemas par-a-par, no qual participo, caracterização do impacto do tempo de resposta no comportamento do usuários de serviços Internet, e planejamento de capacidade. Alunos envolvidos: Graduação:

Estudo e pesquisa de métodos de especificação formal executáveis e de geração de compiladores baseados em semântica formal. Integrantes: Mariza Andrade da Silva Bigonha – Integrante / Vladimir O Di Iorio – Integrante / BIGONHA, Roberto S. – Coordenador.  

Uma cadeia de suprimentos é, portanto, uma composição de unidades organizacionais visando o melhor atendimento de suas demandas e consumidores, e aumentando a competitividade, explorando diversos tratamentos, metodologias e algoritmos, em diferentes áreas de conhecimento. Nosso objetivo neste projeto é explorar o seu pilar de coordenação, mais especificamente as tecnologias