Projetos de Pesquisa, Desenvolvimento, Inovação e Extensão Concluídos

Verificação Híbrida de Modelos: Ferramentas e Aplicações

Sistemas computacionais são frequentemente utilizados em aplicações críticas como controladores de máquinas industriais aonde falhas podem ter consequências graves. Mesmo em aplicações não industriais erros são frequentemente inaceitáveis. Por exemplo, em um sistema de comércio eletrônico erros podem levar desde a perda de clientes por insatisfação com o serviço até

Saiba mais »

CTInfo 5S

O potencial educacional e de preservação e disseminação cultural e científica existente nas bibliotecas digitais é inegável. Tal potencial é ainda mais relevante no Brasil, onde bibliotecas digitais podem atuar como ferramentas de apoio a soluções de problemas específicos do país tais como exclusão digital, analfabetismo, má preparação de educadores

Saiba mais »

Estudo Científico da Obra do Mestre Guignard em Minas Gerais

O pintor modernista Alberto da Veiga Guignard (1896 – 1962) possui uma extensa produção artística, sendo considerado grande mestre da pintura moderna no Brasil, formador de escola e de várias gerações de artistas. Desconhece-se ainda a totalidade de sua obra, dispersa em coleções públicas e privadas. Portanto, propõe-se estudar de

Saiba mais »

Mineração de Dados Internet em Tempo Real

Este projeto ter por objetivo desenvolver técnicas de mineracao de dados para suporte ao entendimento e aperfeiçoamento de duas aplicações de alta relevância e impacto no contexto da internet: sistemas de recomendação e análise de sentimentos. Considerando a demanda computacional e o crescente volume de dados a ser minerado, o

Saiba mais »

Projeto Tropical Bio Miner – Construção de Base de Dados de Extratos, Moléculas e Proteínas Tropicais para Bioinformática a partir de Informações Estruturadas e Não-Estruturadas na Web.

Este trabalho objetiva a pesquisa de novas ferramentas para criar bases de dados de extratos, moléculas e protéinas apropriados para a indústria farmacêutica. Estas bases de dados demandam um enorme esforço de manutenção. A fim de montarmos as bases de dados descritas neste projetos, pretendemos pesquisar de forma automática bases

Saiba mais »

Cooperação entre Múltiplos Manipuladores Móveis

Este projeto tem como objetivo o desenvolvimento de modelos, algoritmos e aplicações em robótica cooperativa – múltiplos robôs cooperando entre si e com seres humanos. O problema a ser tratado no projeto versa sobre a coordenação do trabalho realizado por múltiplos robôs e de robôs em cooperação com o homem.

Saiba mais »

Acesso por PERFIL

Acessar o conteúdo