Projects

You may also be interested in the inactive projects.

Filter by category
New technologies
Theory of computation, algorithms, artificial intelligence
Society, arts, education, humanities
Computing applied to science
High performance computing and networking
Methodology, quality, business models

Problema da Satisfatibilidade Probabilística (PSAT)

technology
theory

Probabilistic satisfiability (PSAT) is an NP-complete problem that requires the joint application of deductive and probabilistic reasoning.  It consists of an assignment of probabilities to a set of propositional formulas, and its solution consists of a decision on whether this assignment is consistent. The original formulation of PSAT is attributed to George Boole (1854).

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

technology

The VoIPFix project arose from the need for a tool to complement similar tools in the analysis of computer networks for IP telephony. It was built to be an efficient and unique management tool for VoIP, with advanced features required to support the computer network and IP telephony professionals to observe and diagnose problems related to VoIP.

VRaptor

technology

VRaptor, currently at version 3, is an MVC web framework targeting agile development. By means of inversion of control and dependency injection, time spent in development is drastically reduced, thanks to the elimination of repetitive code: validations, convertions, assignments, ajax, and lookups.