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

Code for "Dialogue Evaluation with Offline Reinforcement Learning" paper

Skript zur Vorlesung Data Science im Informatik Bachelor an der HHU

Web-Version: https://voelkel.pages.cs.uni-duesseldorf.de/lecturescript

Unofficial implementation of the HHU slide deck in the corporate design portal in LaTeX.

Generate parsers using SableCC as part of a Gradle build

Reduce a metabolic network (SBML fbc coded model) as per Network Reducer method implemented in MATLAB tool CellNetAnalzyser.

LaTeX-Vorlage für Bachelor und Masterarbeiten.

Tool for translating B to TLA+ for model checking with TLC. Alternative model checking backend for ProB.

Samba Password Client - change your password on fileserver