Explore projects
-
general / dsml / Dialogue Term Extraction Using Transfer Learning And Topological Data Analysis - Public
Apache License 2.0Updated -
Description: Python package sbmlxdf. Converts between SBML (.xml) and Pandas dataframes, Excel spreadsheets (.xlsx), *.csv. SBML model creation, modification, validation and access.
Updated -
Updated
-
Public Jupyter teaching notebooks for use with the ProB kernel for Jupyter.
Updated -
This repository deals with the data exploration of the data contained in D-BAS.
Updated -
Updated
-
Updated
-
Updated
-
Reduce a metabolic network (SBML fbc coded model) as per Network Reducer method implemented in MATLAB tool CellNetAnalzyser.
Updated -
Updated
-
Updated
-
Presentation for the COMMA 2020 of "Structure or Content? Towards assessing Argument Relevance"
Updated -
Updated
-
Updated
-
Updated
-
Tool for translating B to TLA+ for model checking with TLC. Alternative model checking backend for ProB.
Updated