Verification via biSimulations of Max-Plus-Linear models
Efficient Algorithms implemented in Java
Provides high performance computing power and state of the art tools
Java-based scientific graphics
A stand-alone Java library for linear algebra and machine learning
Effective Linear Algebra and Computer Vision Library with JAVA
Smart Session Border Controller
Tool to detect and correct vulnerabilities in PHP web applications
Scientific Computation and Visualization Environment
An open source spatio-temporal data mining library
OARS - Orientational Awareness Reaction Systems
cost estimation and management accounting, using neural networks
A tool to extract and handle appliance usage models
VMR - machine learning library
Aircraft aerodynamic database
Simple, parallel and fault-tolerant data mining using WEKA
3D Virtual Screening Viewer
giServer the easy to use and extensible batch and integration server