Projetos

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

Filtrar por categoria

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

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.

scriptLattes

tecnologia

scriptLattes é um script desenvolvido em perl para a extração e compilação de (1) produções bibliográficas e (2) orientações de um conjunto de pesquisadores cadastrados na plataforma Lattes do CNPq. O script gera páginas Web contendo a totalização e classificação dos dados de acordo com o seu tipo e gera um interessante grafo de colaborações entre pesquisadores.

Vigia Político

tecnologia
e-science

Utilizando a mesma tecnologia que o Netflix e a Amazon usam para recomendar filmes, Vigia Político é um aplicativo que aprende os “gostos” dos usuários em relação a leis que estão sendo votadas. Com isso, é possível avisar quando os representantes provavelmente irão votar contra os seus interesses, ou seja, o aplicativo “chama” quando você precisa se manifestar. Por isso o nome Vigia Político: o aplicativo estará sempre acompanhando os movimentos dos seus representantes e avisando só no momento de necessidade, ou seja, no momento em que há uma provável discordância entre você e eles.

VoIPFix

tecnologia

O projeto VoIPFix surgiu da necessidade de uma ferramenta que complementasse as demais existentes no ramo de análise de redes de computadores para telefonia IP. Ele foi construído para ser uma ferramenta de gerenciamento eficiente e exclusiva para VoIP, com funcionalidades necessárias para dar suporte ao profissional de rede de computadores e telefonia IP a observar e diagnosticar problemas de VoIP.

VRaptor

tecnologia

O VRaptor, atualmente na versão 3, é um framework MVC para web focado no desenvolvimento ágil. Através da inversão de controle e da injeção de depêndencias, o tempo de trabalho com ele é drasticamente reduzido, graças à eliminação de código repetitivo: validações, conversões, direcionamentos, ajax e lookups.