MGSyn - Automatic Synthesis for Industrial Automation
Etchimaths(A'LEVEL) is a typical Mathematics software for A'LEVEL
Scheduling lockages at ship locks with several parallel lock chambers
Competition for Resources between Agent Functional Types
Modbus TCP/UDP Server Simulator and Modbus RTU Slave Simulator
Modular Java framework for meta-heuristic optimization
We describe a simple XML format to share text documents and annotation
Compute protein graphs. Moved to https://github.com/MolBIFFM/PTGLtools
Generating PLC programs from formal specifications
You Only Meter Once - The open hardware smart metering system
Belief Revision via PS-Merge under constraints belief merging operator
Easy-to-use software for plotting functions of two variables.
Bioinformatics Named Entity Recogniser for Databases and Software
Java API for the Romanian WordNet
A Physics Theory for Unifying Classical, Quantum and Relativistic Phys