Projetos de Pesquisa, Desenvolvimento, Inovação e Extensão Concluídos
Classificação Automática Robusta Temporalmente – TimeClass
O objetivo técnico principal deste projeto consiste em: i) desenvolver uma metodologia unificada para estender algoritmos estado-da-arte de CAD de forma a torná-los robustos temporalmente e ii) aplicar esses classificadores a outros problemas práticos interessantes.
Resumos Estruturais de XML
O objetivo geral desse projeto é pesquisar soluções para o processamento eficiente de consultas em dados XML no contexto de Bibliotecas Digitais. Pretende-se dar continuidade à pesquisa desenvolvida durante o doutoramento da proponente no contexto das pesquisas em andamento no PPGC/UFRGS. Número de produções C, T A: 7 Integrantes: Mirella
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.
Projeto de sistema embutido de tempo real tolerante a falhas para aplicações em processamento de alto desempenho
Desenvolvimento de um sistema embutido utilizando FPGA para aplicação de alto desempenho, atendendo as restrições de sistemas de tempo real, limitações de hardware e que contenha recursos de tolerância a falhas.
Modelos e algoritmos para tratamento de informações sociais em tempo real.
A busca por uma plataforma computacional que possibilite o processamento escalável de grandes quantidades de dados, a busca por estratégias de coleta e extração de dados que sejam eficazes e eficientes, sem comprometer a privacidade dos indivíduos. Integrantes: Renato Antonio Celso Ferreira – Integrante / Wagner Meira Jr. – Coordenador.
Computação de alto desempenho na modelagem e predição de função enzimática com base em dados estruturais
A crescente disponibilidade de dados provenientes de projetos de sequenciamento e latente limitação das técnicas de anotação clássicas baseadas puramente na homologia de sequência, somadas a inúmeras iniciativas de genômica estrutural e ao aperfeiçoamento dos métodos de modelagem por homologia, tornam o desenvolvimento de técnicas baseadas em estrutura para predição
Cooperação entre Robôs Aéreos e Terrestres
O objetivo principal desse projeto é desenvolver mecanismos que permitam a cooperação efetiva entre robôs aéreos e terrestres. Especificamente, pretende-se desenvolver algoritmos para a fusão das múltiplas informações sensoriais e implementar mecanismos que permitam realizar a coordenação dinâmica de todo o grupo. Para isso, é necessário obter informações precisas sobre
Tecnologias Avançadas de Computação em Segurança Pública
Neste projeto pretende-se avançar o estado da arte da área de avaliação de políticas de segurança pública, no sentido de criar ferramentas capazes de prever os efeitos obtidos pela implementação de políticas e ações específicas de combate ao crime. Este projeto tem por objetivo principal a aplicação de tecnologias da área
Escalabilidade, Desempenho e Custo-Benefício de Sistemas Distribuídos em Larga Escala
Os usuários de diferentes serviços e aplicações distribuídos da Internet, tipicamente formam sistemas sociais bastante complexos, interagindo com a aplicação de forma muitas vezes imprevisível. Reconhecendo o papel central destas interações, este projeto trata da avaliação e otimização da escalabilidade, desempenho e custo-benefício de sistemas distribuídos em larga escala, partindo
