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. 

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

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.  

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.  

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.

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

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

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

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