Projetos de Pesquisa, Desenvolvimento, Inovação e Extensão Concluídos
Otimização de Código em Ambiente de Semântica Formal Executável baseado em ASM
O objetivo deste trabalho de pesquisa se origina na necessidade de ferramentas eficientes de suporte à execução e análise de sisteas complexos de modelagem baseadas em métodos formais. Tais ferramentas apresentam difícies problemas de otimização e de bom uso dos recursos do ambiente de computãção, Assim, utilizar ASM para especificar
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
Inductive Queries for Mining Patterns and Models
This European project focuses on the concept of inductive querying, i.e., the formalization of knowledge discovery processes as sequences of queries. This project is the follow-up of the successful IST FET project CINQ (FP5 IST 26469) which was already dedicated to the inductive database framework. Integrantes: Loïc Pascal Gilles Cerf
Plataforma de Execução de Alto Desempenho em Grids
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
Algoritmos, Otimização e Aplicações
O contexto deste projeto de pesquisa envolve algoritmos de otimização explorados em problemas clássicos de Combinatória, mas com grande potencial de aplicação a problemas reais, mas também a três temas de aplicação amarrados a outras linhas clássicas da computação: Engenharia de Software, Robótica, Visão Computacional e Jogos, e Redes de
Apoio Técnico a Pesquisa em Visão Computacional e Robótica
O Laboratório de Robótica e Visão Computacional (VeRLab) do DCC/UFMG tem desenvolvido diversos projetos de pesquisa com o apoio do CNPq e Fapemig. Entre eles, podem-se mencionar projetos na área de cooperação entre múltiplos robôs, planejamento e controle de trajetórias para enxames de robôs, reconstrução de ambientes tridimensionais, entre outros.
Sistema de Informação Multimídia para Recuperação e Conservação de Documentos da Tecnologia Nuclear
Implantação de um sistema de informação multimídia para documentos (fotografias, cartas, textos, slides, entrevistas voz) da tecnologia nuclear. Digitalização dos documentos e divulgação eletrônica da base de dados. Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissionalizante: (0) / Doutorado: (0) . Integrantes: Arnaldo de
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
Combinação de Descritores de Características para Análise de Vídeos Contendo Humanos
O entendimento de atividades desempenhadas por humanos em vídeos apresenta grande interesse da comunidade de visão computacional. Para que se obtenha uma interpretação mais acurada deve-se, inicialmente, executar tarefas como detecção, modelagem de aparência, rastreamento de pedestres e reconhecimento de ações individuais. A combinação de descritores de características analisados pela
