Software Projects

• CERes (01/2007 - …).
  • Cut-Elimination by Resolution.
  • at the Theory and Logic Group of the Institut für Computersprachen of the Department of Computer Science of the Technische Universität Wien.

• General Game Prayer (05/2006)
  • A program capable of playing any game described in the GDL, the Game Description Language specified in the University of Stanford. It uses Java for communication with the game server in Stanford and Prolog for reasoning about the game and searching the best move. It does this by a generalized version of MinMax, suitable for both cooperative and competitive multiplayer games.

• Decision Tree ID3 Learner with Pre-Pruning (04/2006)
  • An ID3 algorithm for learning decision trees in WEKA, which is better than WEKA's builtin ID3, because it allows the user to specify an entropy threshold below which the decision tree is not grown anymore.

• Entrodiscretizer (04/2006)
  • A discretization filter for WEKA (the Waitako Environment for Knowledge Analysis). If data is continuous, it most probably needs to be discretized before standard machine learning or data mining techniques can be employed. EntroDiscretizer discretizes data based on entropy measures and the minimum description length principle.

• Harpia (03/2004 - 12/2007)
  • Machine Learning techniques used to build a program for the detection of crimes against the Brazilian government Receita Federal in the international commerce.
  • at the Technological Institute of Aeronautics (ITA), in cooperation with the University of Campinas (UniCamp) and the Casimiro Montenegro Filho Foundation (FCMF), in Brasil.

• BWPGazetteer (02/2006)
  • a plugin for GATE (General Architecture for Text Engineering). While GATE's Default Gazetteer is able to search only for exact matches of words in texts, BWPGazetteer can perform approximate matching of occurrences containing errors, typing mistakes and other sources of noise or corruption, thus achieving much better recall.

• Perversi (05/2005)
  • An implementation of the board game Reversi for Mobile Devices supporting Java J2ME.
  • The computer plays according to a MiniMax algorithm.

• SADGR (Sistema de Apoio à Decisao no Gerenciamento de Rodovias) (07/2003 - 12/2004)
  • Implementation in C++ of an expert system for highway management.
  • at the Technological Institute of Aeronautics (ITA), in cooperation with the company CompSis and the Casimiro Montenegro Filho Foundation (FCMF), in Brasil.

• Graviton (Brazilian Gravitational Wave Antenna) (07/2001 - 07/2003)
  • Implementation of functions in Mathematica to compute the range of values of parameter of binary black hole systems for which their gravitational waves can be detected by the Brazilian gravitational wave antenna.
  • at the Brazilian National Institute for Space Research (INPE).

• Pegasus Textile Printing Machine (12/2001 - 02/2002)
  • at Stork Brabant, in Boxmeer - the Netherlands.
  • Implementation of test macros for Pegasus in STEEL (Stork Test Environment Language).