O objetivo principal do projeto é investigar, desenvolver e avaliar algoritmos para a coordenação e controle de agentes inteligentes em robótica e jogos digitais. No contexto da robótica, o projeto dá continuidade aos trabalhos de coordenação de grandes grupos de agentes realizados pelo pesquisador, focando em algoritmos que sejam escaláveis

Com a complexidade dos circuitos integrados (CIs) crescendo exponencialmente, as técnicas tradicionais de verificação nem sempre são suficientes para localizar todos os erros de um projeto. Uma das técnicas mais utilizadas nos dias de hoje é a verificação baseada em asserções. asserções são monitores instanciados pelo projetista do circuito integrado

Propõe-se abordar o problema da eficiência da escalabilidade em sistemas responsáveis por serviços de mineração de dados baseados em sistemas paralelos e distribuídos, como aqueles construídos utilizando a internet.

O propósito deste projeto é dar continuidade à pesquisa áreas de Robótica e Visão Computacional com o apoio de recursos do Edital FAPEMIG 03/2008 Programa Pesquisador Mineiro – PPM II. Neste projeto, em particular, estaremos investigando aspectos relacionados à missões envolvendo robôs autônomos e semi-autônomos em ambientes externos. Apresentamos, neste

O objetivo deste projeto é desenvolver a pesquisa multidisciplinar em Sistemas Computacionais para Redes Aquáticas, causando impacto social, impacto na formação de alunos, interagindo com a comunidade, formando um núcleo de excelência de pesquisa. O projeto de Sistemas Computacionais para Redes Aquáticas ocorre em duas frente principais: através do desenvolvimento

Este projeto de pesquisa divide-se em tr es linhas. A primeira consiste na utilização de técnicas de computação natural no intuito de obter proteínas que possuam o mesmo padrão de aminoácidos funcionais de uma enzima de função desconhecida. A segunda consiste em usar métodos de aprendizagem supervisionados no estudo de

O objetivo deste projeto é contribuir para reduzir o gap que normalmente observamos entre a arquitetura e o comportamento dinâmico de sistemas de software. Em particular, nosso foco é em uma visão que procure associar a arquitetura de um sistema com as features que são implementadas no código fonte.  Integrantes: Marco

Este é um projeto envolvendo as áreas de redes sem fio (RSF) e de redes de sensores sem fio (RSSFs). Redes de computadores sem fio permitem a todos comunicar e compartilhar os mais diversos recursos, independentemente da localização ou de presença física simultânea. Apesar do grande potencial de aplicações das

O ambiente AntHill tem por objetivo prover suporte para a paralelização escalável e eficiente de algoritmos paralelos. Esta escalabilidade e eficiência resultam da possibilidade de se explorar três tipos de paralelismo: tarefas, dados e assincronia. O ambiente está operacional e tem sido usado para paralelizar diversos tipos de aplicações. Alunos