Belief Revision via PS-Merge under constraints belief merging operator
Find relationships between repeatedly observed items
C++/CUDA/OpenMP based Smoothed Particle Hydrodynamics (SPH) Solver
An easy to use GUI enables electric source and grid simulation.
Real-time audio synthesis engine and music programming language
Toolkit and GUI for sequencing data analysis
Simulator of G/G/k queue systems used in computer networks.
Equation of stock trading simplified to game of moving resizing balls
Canreg5 is a software package for population based cancer registries
IAP - the Integrated Analysis Pipeline
Interactive Image Segmentation Tool
A Physics Theory for Unifying Classical, Quantum and Relativistic Phys
Compare gene analysis results from 23andme with the human genome
Lucene based concordancer
Java Swing component for integrating OSM maps into your Java app.
CRAFT: Configurable Runtime Analysis for Floating-point Tuning