A real time inference engine for temporal logical specifications
Parallel simulators for Membrane Computing on the GPU
Shortest Path Navigator with Directions and Distance
Utility converts the weights file of a MLP Breadboard into a formula
clustering, machine learning, algorithms
LBP implementation in multiple computing platforms (ARM,GPU, DSP...)