Explore projects

Modified version of the TLA+ tools for usage in ProB

Logstash Elasticsearch Kibana

This repo contains a snowball-stemmer for the german language. The similarity between the documents and the query is calculated with the cosine-similarity.

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

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