Projeto desenvolvido em conjunto com a SUMSYS, empresa de base tecnológica focada no desenvolvimento de soluções em software para Tecnologia da Informação. O projeto apresentado nesta proposta contemplará a construção do ambiente virtual para a cidade de Ouro Preto-MG. Essa restrição se dá devido à necessidade de validar inicialmente o

Um dos grandes problemas a ser enfrentados pela ciência moderna, e em particular pela biotecnologia, é a grande quantidade de dados gerada pelos métodos de experimentação em larga escala modernos. Este projeto tem como objetivo o desenvolvimento de um sistema de gerência integrado de laboratórios, SIGLa, com ênfase em laboratórios

O foco deste projeto situa-se na análise e modelagem de redes complexas na Web.  Existem na Web múltiplas camadas interdependentes de redes de relacionamentos  complexos e dinâmicos, as quais permitem que fluxo e a disseminação de informação ocorram em larga escala. As redes da Web podem ser vista de diferentes

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.  

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

O objetivo deste projeto é desenvolver técnicas que suportem a paralelização automática de programas. Entre tais técnicas citam-se análises estáticas de programas, e instrumentação de código binário. Este projeto é uma cooperação entre instituições brasileiras (UFMG e CEFET-MG) e o INRIA francês

O objetivo geral deste projeto é investigar a predição de esforço de manutenção de softwares orientados por objetos tendo como premissa que o grau de conectividade é o fator que pode ser usado para tal predição. Conectividade é o grau de intercomunicação entre os módulos de um sistema. Dentre os

Aquisição de conhecimentos mediante o estudo da bibiografia relacionada à engenharia de algoritmos e otimização combinatória. Do plano 1: Estudar a adequação dos métodos de engenharia de algoritmos para a resolução eficiente de problemas de otimização combinatória. Desenvolver metodologias para o desenvolvimento de algoritmos de otimização combinatória eficientes. Do plano

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