The ProB Model Checker and Animator Plugin for Rodin

TBA

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

Prune a metabolic model (remove redundant reactions). Based on Network Reducer (Erdrich et al. 2015).

A Java-based Jupyter kernel for ProB 2

ProB Modelling Examples as Jupyter Notebooks.

Description: Python package sbmlxdf. Converts between SBML (.xml) and Pandas dataframes, Excel spreadsheets (.xlsx), *.csv. SBML model creation, modification, validation and access.

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