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

Os objetivos principais do projeto são a pesquisa e o desenvolvimento de soluções integradas para problemas logísticos e de transporte por meio de técnicas e metodologias modernas e eficientes. Este projeto, de uma forma geral, se concentra no planejamento tático e no operacional e em um conjunto de atividades de

O sentimento de que estamos rodeados por diversas entidades que se relacionam entre si, seguindo diferentes regras, vem crescendo rapidamente entre diversos segmentos, seja no meio acadêmico como no dia-a-dia da sociedade em geral. Cada vez mais existe um senso comum de que o comportamento de muitas das coisas que

O volume de dados biológicos existente é enorme e está em constante crescimento. Existem diversas bases de dados de ácidos nucléicos e proteínas disponíveis publicamente na Internet produzidas e mantidas por instituições de pesquisa na área de Bioinformática. Há também vários aplicativos que realizam alguma computação sobre esses dados, ofertados

Um dos principais objetivos da mineração de dados é descobrir padrões e relações em dados. Em várias aplicações, entretanto, é importante não somente descobrir padrões mas separar aqueles que podem ocorrer por mero acaso daqueles outros que são realmente estatisticamente significantes. Além disso, em sistemas de monitoramento contínuo, uma demanda

Realização de reuniões de trabalho com a equipe francesa, acompanhamento do trabalho de doutorandos brasileiros, apresentação de seminário sobre pesquisa desenvolvida no DCC/UFMG. Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissionalizante: (0) / Doutorado: (2) . Integrantes: Arnaldo de Albuquerque Araújo – Coordenador /

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.  

A area de agentes inteligentes tem recebido muita atenção nos ultimos anos. Basicamente, um agente e uma entidade que percebe o ambiente a sua volta utilizando seus sensores e age nesse ambiente através dos atuadores. Esse paradigma aplica-se tanto a ambientes reais, como é o caso dos agentes robóticos, quanto a ambientes completamente virtuais,