A Numerical System controlled by algorithms.
Synergy analyses of drug and other other agent combinations
Satellite Emulator
Translator of LTL formulae to Büchi automata based on LTL2BA
RNA modification detection by RT signatures in deep sequencing data
MGSyn - Automatic Synthesis for Industrial Automation
Display and save data from 2B Technologies ozone monitor
Open Knowledge on engineering development.
GUI for managing and working with one or more HTCondor pools.
Commons and utils Java classes used in ThéMA projects
Parallel processing pipeline for analysis of bisulfite sequencing data
A data dependent dissimilarity measure based on mass estimation.
A library to load CIF (Caltech Intermediate Form) files.
A desktop application for analyzing whole genome VCF files
console-mode visual binary diff
We describe a simple XML format to share text documents and annotation
YASimCommander is a platform-independent editor for YASIM files.
The study environment of ancient languages (Coptic, Greek, Latin)
Generating PLC programs from formal specifications