Projetos de Pesquisa, Desenvolvimento, Inovação e Extensão Concluídos
Testes de interação espaço-temporal em processos pontuais
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
Wave Propagation for Pointer Analysis
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
Evolução de Modelos de Classificação Hierárquica
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) .
Estruturação de um programa de treinamento para a maratona de programação da SBC
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
Sistema de Informação Multimídia para Recuperação e Conservação de Documentos da Tecnologia Nuclear
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
Inclusão Social: Serviços Digitais em Áreas Rurais – Moçambique-Brasil
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
Centro de Análise e Modelagem de Performance de Sistemas
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:
Métodos e Ferramentas de Documentação de Programas e Especificação Formal Executável
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.
Otimização Integrada em Aplicações Logísticas, Produção e Transporte
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
