Discover projects, groups and snippets. Share your projects with others
The ProB Model Checker and Animator Plugin for Rodin
A ready-to-use environment for experimenting with Balanced Growth Optimizer
A Python tool that reads metabolic networks and the corresponding kinetics from SBML format and produces model objects that can be used with Pyomo.
This repository contains the presentation for the module " Ethics of Science I" on the topic "Commercial Conflicts of Interest in Business-Related Research".
Public codebase for "LAVA: Latent Action Spaces via Variational Auto-encoding for Dialogue Policy Optimization" published in COLING 2020.
Public Jupyter teaching notebooks for use with the ProB kernel for Jupyter.
Description: Python package sbmlxdf. Converts between SBML (.xml) and Pandas dataframes, Excel spreadsheets (.xlsx), *.csv. SBML model creation, modification, validation and access.
Samba Password Client - change your password on fileserver
Simple texteditor environment
Presentation for the COMMA 2020 of "Structure or Content? Towards assessing Argument Relevance"