SCIP (Solving Constraint Integer Programs) is a framework for constraint integer programming oriented towards the needs of mathematical programming experts who want to have total control of the solution process and access detailed information down to the guts of the solver. It integrates techniques from mixed integer programming, constraint programming, and SAT solving. It can also be used as a pure MIP solver or as a framework for branch-cut-and-price. In order to use it, you have to link to an LP solver. It currently supports CLP, CPLEX, Mosek, Soplex, and XPress-MP.
Genetic Algorithm File Fitter, GAFFitter for short, is a tool based on a genetic algorithm (GA) that tries to fit a collection of items into as few as possible volumes of a specific size. For example, the items might be files/directories and the volumes might be CDs or DVDs. The task of arranging items in such manner that the number of required bins is minimized is called Bin Packing, a NP-hard combinatorial problem for which no deterministic polynomial-time algorithm is known. Using heuristics, such as GAs, it is usually possible to approximate -- and often reach -- the best solution for the problem within a reasonable time.
PSIworld (Programmable Scalable Interactive World) is a framework that provides a set of libraries, utilities, and applications to ease the implementation of dynamic artificial intelligence environments. Specifically, the development of multi-agent applications is targeted. It is designed in a generic manner so that various kinds of applications can use it. This framework not only includes pure algorithm libraries for AI computation tasks, but also a C/C++ library for distributed computation. A server-client model also involves various, concurrent visualization methods of distinct Agents or Societies.
CellWriter is a grid-entry natural handwriting input panel. As you write characters into the cells, your writing is instantly recognized at the character level. When you press 'Enter' on the panel, the input you entered is sent to the currently focused application as if typed on the keyboard. Writer-dependent, CellWriter learns your handwriting for reliable recognition. Correcting preprocessor algorithms account for digitizer noise, differing stroke order, direction, and number of strokes. Unicode support enables you to write in any language.
Neural Network Framework is a C++ framework to develop, simulate, and analyze arbitrary complex neural networks. The programmer can use the classes provided to create neural networks with arbitrary topology and mixed type of neurons. It's very easy to add customized neurons and layers.
Breeze a multiple class model neural network development system. The architecture is based on the standard three-tier model/view/controller, in addition to a multi-threaded circuit switch command structure, with full application logging and internal trace routines. Network models include Online Backpropagation and Radial Basis Function Networks, for time series prediction.
Nomatic*IM provides a service that supports the convenient and appropriate broadcasting of presence through instant messaging clients. It provides the flexibility to support multiple IM protocols, IM clients, and operating systems. From a high-level, what Nomatic*IM does is to figure out where you are and what you are doing from the sensors that come with your computing platform. That information is processed with machine learning techniques to develop a semantic interpretation about the name of your current place, activity, and social context.