Projetos de Pesquisa, Desenvolvimento, Inovação e Extensão Concluídos
Modelos e Algoritmos para análise de Redes biológicas
A crescente geração de dados nos Projetos Genoma e em outras iniciativas que estão gerando dados em escalas nunca antes experimentadas, juntamente com a necessidade de se produzir informação a partir dessa enorme massa de dados, vêm demandando o desenvolvimento de novos modelos e algoritmos. Essa perspectiva de aquisição de
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.
Escalabilidade, Desempenho e Custo-Benefício de Sistemas Distribuídos em Larga Escala
Os usuários de diferentes serviços e aplicações distribuídos da Internet, tipicamente formam sistemas sociais bastante complexos, interagindo com a aplicação de forma muitas vezes imprevisível. Reconhecendo o papel central destas interações, este projeto trata da avaliação e otimização da escalabilidade, desempenho e custo-benefício de sistemas distribuídos em larga escala, partindo
Soluções de Computação Visual e Inteligência de Máquina para Computação Forense e Vigilância Eletrônica
Atividades criminais variam em escopo e complexidade, mas existem em todos os setores da sociedade. Com o desenvolvimento tecnológico, os crimes tornaram-se mais sofisticados migrando do mundo físico e atingindo, também, o mundo virtual. Diante das inúmeras formas que as atividades ilegais podem tomar, a saída para a sociedade moderna
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) .
ROVAEX-II Robótica e Visão Computacional em Ambientes Externos – II
O propósito deste projeto é dar continuidade à pesquisa nas áreas de Robótica e Visão Computacional com o apoio de recursos do presente edital FAPEMIG 03/2010 — Programa Pesquisador Mineiro — PPM IV. Em particular, serão investigados problemas relacionados à inserção de robôs autônomos e semi-autônomos em ambientes externos, isto
Sistema de Vigilância Espaço-Temporal para Detecção de Clusters Emergentes
Nosso objetivo nesse projeto de pesquisa e estudar o desempenho de sistemas de vigilancia espaco-temporal, em particular, aquele proposto por Assuncao e Correa (2009). Nossa preocupacao era estudar as propriedades do metodo, propor uma nova estatistica de teste baseada na correcao Rn – n e considerar formas de incorporar mais
Ferramentas Computacionais Aplicadas a Modelos Complexos da Fisiologia de Células Cardíacas
Desenvolvimento de Ferramentas Computacionais Aplicadas a Modelos Complexos da Fisiologia de Células Cardíacas, utilizando Redes Metabólicas, Cadeias de Markov, Problema Inverso e Computação Paralela. Integrantes: Ana Paula Couto da Silva – Integrante / Itamar Leite de Oliveira – Integrante / Rodrigo Weber dos Santos – Coordenador / Carlos Cristiano Hasenclever
Um Algoritmo de Fusão para Registradores Compartilhados
A fusão de registradores é uma otimização que remove instruções de cópia tais como “a = b” do código fonte. Esta otimização é possível sempre que as variáveis “a” e “b” são associadas ao mesmo registrador físico. Os algoritmos de fusão descritos na literatura normalmente assumem arquiteturas com bancos de
