Projetos de Pesquisa, Desenvolvimento, Inovação e Extensão Concluídos
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
Coordenação e Controle de Grandes Grupos de Robôs Móveis
O presente projeto tem como objetivo principal estudar, projetar, desenvolver e avaliar algoritmos e metodologias para coordenação de grandes grupos (tipicamente contendo dezenas ou mesmo milhares) de robôs. Esses arranjos têm sido denominados na literatura internacional por swarms, e que neste texto será traduzido por “enxames”. A coordenação de grupos
Multi-agentes para negociação de recursos em grids computacionais
A pesquisa aqui proposta neste projeto aplica a tecnologia de agentes para realizar a alocação de recursos por negociação em ambientes grid. Agentes têm a vantagem de agirem em nome de usuários e recursos e serem capazes de gerenciar tarefas em ambientes complexos e distribuídos, como é o caso dos
Redes de Vídeo Sensores sem Fio na Implementação de Armadilhas Fotográficas para Monitoração e Catalogação de Animais na Floresta Amazônica
Este projeto temo como objetivo investigar o uso de Redes de Sensores Sem Fio (RSSFs) e Redes de Vídeo Sensores Sem Fio (RVSSFs) no auxílio e implementação de armadilhas fotográficas (camera traps) para a monitoração e catalogação de espécies animas na floresta amazônica. Armadilhas fotográficas são máquinas com sensores de
AOSD Europe
AOSD-Europe harmonises and integrates the research, training and dissemination activities of its members in order to address fragmentation of AOSD activities in Europe and strengthen innovation in areas such as aspect-oriented analysis and design, formal methods, languages and applications of AOSD techniques in ambient computing. Integrantes: Eduardo Magno Lages Figueiredo
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é
Planejamento e Controle de Trajetórias para Grandes Grupos de Robôs
O objetivo principal desse projeto de pesquisa é investigar e desenvolver técnicas que permitam realizar o planejamento e controle de trajetórias para grandes grupos de robôs de forma eficiente e escalável. Uma das linhas a ser investigada é a representação de grupos de robôs através de abstrações, ou seja, através
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
Coordenação de Grandes Grupos de Robôs
O objetivo deste projeto consistiu em estudar, desenvolver e avaliar algoritmos para a coordenação de grandes grupos de robôs, normalmente chamados de enxames de robôs ou swarms. Como mencionado no projeto, embora a coordenação de pequenos grupos de robôs tenha sido razoavelmente estudada na literatura nos últimos anos, a coordenação