Explore projects
-
Skript zur Vorlesung Data Science im Informatik Bachelor an der HHU
Web-Version: https://voelkel.pages.cs.uni-duesseldorf.de/ds-skript
Updated -
Updated
-
Public Jupyter teaching notebooks for use with the ProB kernel for Jupyter.
Updated -
Updated
-
Updated
-
Code for "EmoWOZ: A Large-Scale Corpus and Labelling Scheme for Emotion Recognition in Task-Oriented Dialogue Systems".
Updated -
-
-
-
-
Updated
-
Updated
-
Tool for translating B to TLA+ for model checking with TLC. Alternative model checking backend for ProB.
Updated -
Updated
-
Updated