Projetos

Você também pode se interessar por um dos projetos inativos.

Teoria da computação, algoritmos, inteligência artificial
Novas tecnologias
Sociedade, artes, educação, humanidades
Computação aplicada à ciência
HPC
Redes e computação de alto desempenho
Metodologia, qualidade, modelos de negócios

DonkeySurvey

tecnologia
teoria

O objetivo do projeto DonkeySurvey é implementar uma ferramenta para coletar e armazenar dados sobre o tráfego passante no cliente MLDonkey para redes p2p de compartilhamento de arquivos.

A coleta de tais informações possibilitará a posterior análise do comportamento da rede para fins de pesquisa ou investigação. Pretende-se armazenar principalmente quais nós da rede, e em que circunstâncias, procuram ou disponibilizam determinados arquivos (ou tipos de arquivos), extraindo dados estatísticos que sejam relevantes para a pesquisa.

OnAIR

teoria

The OnAIR (Ontology Aided Information Retrieval), system allows users to enter a query in natural language and searches a digital video database for the clip which best answers the query. The system was first developed by Christian Paz-Trillo and Paula Braga and was part of Christian's Masters Thesis, supervised by Renata Wassermann.

Now the OnAIR is manteined and developed by Raphael Cóbe as the main theme of his Doctoral Thesis supervised by Dra. Renata Wassermann and Dr. Fabio Kon.

Problema da Satisfatibilidade Probabilística (PSAT)

tecnologia
teoria

O problema da Satisfatibilidade Probabilística (PSAT) é um problema na classe de complexidade  dos problemas NP-completos que requer a aplicação conjunta de raciocínio dedutivo e probabilístico.  Este problema consiste de uma atribuição de probabilidades ao um conjunto de fórmulas proposicionais, e sua solução é uma decisão sobre a consistência desta atribuição.