Safecap Platform for improving railway capacity via formal modelling
Human protein similarity network used to predict drug safety.
Open Source Integrated Clinical Environment
A Free and Open Source Java Framework for Multiobjective Optimization
Bit level lambda continuations and nothing else - Queue automata
An institutional research metadata management repository.
Automatically design primers to genes/coordinates using primer3.
Connect, monitor and control your (embedded) systems remotely. m2m/IoT
A wildfire decision support system and visualization tool from Emxsys.
Content-Based Video Copy Detection
Toolkit for the easy prototyping of hybrid games for Tabletop Devices
Technological demo of OpenGL ES 2 Android NDK