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.

O projeto C5 foi criado com o objetivo de estudar o comportamento dos usuários e das comunidades de pessoas com interesses comuns formadas nas redes sociais da Web. Ele está focado na análise do Peabirus, uma rede de negócios que nasceu de um projeto financiado pelo governo do estado de

Dada a escala exponencial de crescimento da Web, o surgimento de novas aplicações e serviços está limitado por aspectos de infra-estrutura de software e hardware. Portanto, o estudo dos diversos aspectos que envolvem a Web extrapola as atividades tradicionais de geração de conteúdo e criação de novos serviços, demandando o

O volume de dados biológicos existente é enorme e está em constante crescimento. Existem diversas bases de dados de ácidos nucléicos e proteínas disponíveis publicamente na Internet produzidas e mantidas por instituições de pesquisa na área de Bioinformática. Há também vários aplicativos que realizam alguma computação sobre esses dados, ofertados

Problemas de otimização combinatória aparecem na indústria em áreas tão diversas como logística, telecomunicações, planejamento e escalonamento de tarefas. Devido a sua complexidade intrínseca e a seu porte, muitos destes problemas não podem ser resolvidos em forma exata com a tecnologia disponível hoje em um tempo razoável. Em várias aplicações

Neste projeto iremos focar no problema de Publicidade Direcionada baseada em Conteúdo (PDC) na Web. É assumido que temos acesso a um número de evidências textuais (e.g., texto da página Web e da propaganda, a campanha publicitária ao qual a propaganda pertence, palavras-chave disponíveis para descrever o conteúdo da propaganda)

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

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.  

A confiabilidade de uma aplicação depende de três aspectos chaves: desempenho, disponibilidade e robustez a usuários maliciosos e oportunistas. Neste projeto, pretendemos atuar em três frentes de trabalho para aumentar a confiabilidade de aplicações da Internet. No contexto de aplicações de comércio eletrônico, pretendemos desenvolver um arcabouço integrado de gerenciamento