Projetos de Pesquisa, Desenvolvimento, Inovação e Extensão Concluídos
Sistemas Computacionais para Redes Aquáticas
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
Otimização Integrada em Aplicações Logísticas, de Produção e em Transporte
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
CAMDiSC – Caracterização, Análise e Modelagem da Dinâmica de Sistemas Complexos
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
Estratégias baseadas em Proveniência de Dados e Resolução de Entidades para Integração de Bases de Dados Biológicas
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
Sistema de Alarme Espaço-Temporal para Queimadas na Amazônia
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
Missão de Trabalho Convênio
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 /
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.
Agentes Inteligentes: Cooperação, Comunicação e Segurança
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,
