Explore projects

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

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

adds access to prob via vscode

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

TBA

Public codebase for "LAVA: Latent Action Spaces via Variational Auto-encoding for Dialogue Policy Optimization" published in COLING 2020.

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

A Java-based Jupyter kernel for ProB 2