Explore projects

A Cytoscape 3.6 application that wraps the Yoshiko-Algorithm implementation as provided @:https://github.com/ls-cwi/yoshiko.git

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

LaTeX-Vorlage für Bachelor und Masterarbeiten.

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

Modified version of the TLA+ tools for usage in ProB

TBA

Public codebase for "Local Topology Measures of Contextual Language Model Latent Spaces With Applications to Dialogue Term Extraction" published in SIGDIAL 2024.

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