Editor for Petri nets
Bit level lambda continuations and nothing else - Queue automata
Petri net framework for security related modeling and reasoning.
Program using an extended Einstein notation with dense or sparse data.
'Hierarchical Bond Graph Modelling of Biochemical Networks'
Realtime bigdata tool for bit strings up to 2^63 based on AVL forest
Log-linear analysis (data modelling) for high-dimensional data
BAYESIAN INFERENCE OF METABOLIC DIVERGENCE AMONG MICROBIAL COMMUNITIES
Library for 2D/3D geometry in Matlab.
Web-based data science analysis and visualization platform.
A general recommender system with basic models and MRA
Synchronous Petri Nets' emulator
Timeseries databases management system
Creates a data density plot of a 2 dimensional data distribution.
Java Api to manipulate simple on data of Matrix Type
R package for modelling anthropogenic deforestation
The LaTeX Equation Editor