Explore projects

XBA problem generation from SBML code metabolic/kinetic models. Support of Growth Balance Analysis (GBA), FBA and RBA

The Camille Editor for Rodin

Kodkod Wrapper for ProB

Presentation for the COMMA 2020 of "Structure or Content? Towards assessing Argument Relevance"

Code for "EmoWOZ: A Large-Scale Corpus and Labelling Scheme for Emotion Recognition in Task-Oriented Dialogue Systems".

Code for "Dialogue Evaluation with Offline Reinforcement Learning" paper

Samba Password Client - change your password on fileserver

Public Jupyter teaching notebooks for use with the ProB kernel for Jupyter.