All software
Data underlying the publication/thesis chapter: Scale Learning in Scale-Equivariant Convolutional Networks
Data underlying the publication/thesis chapter: Scale Learning in Scale-Equivariant Convolutional Networks
- computer vision
- Convolutional neural network (CNN)
- equivariance
- + 3
- Jupyter Notebook
- Python
- Markdown
- + 5
dhdt
A photohypsometric Python library to estimate glacier elevation change via optical remote sensing imagery
- geospatial
- Glacier
- image
- + 2
- Python
- TeX
MOTrainer
Measurement Operator Trainer for data assimilation purposes.
- Data assimilation
- High performance computing
- Machine learning
- + 2
- Jupyter Notebook
- Python
- TeX
- + 1
CounterfactualExplanations.jl
Software and data underlying the publication: Explaining Black-Box Models through Counterfactuals
- Algorithmic Recourse
- Counterfactual Explanations
- explainable artificial intelligence
- + 1
- Other
- Julia
- TeX
- + 7
byteparsing
Parser library for reading custom binary files from Python.
- Big data
- Multi-scale & multi model simulations
- Optimized data handling
- Jupyter Notebook
- Python
- C++
- + 5
MMSODA Toolbox for MATLAB
MATLAB toolbox for global optimization and state estimation of dynamic models using distributed computing.
- HTML
- MATLAB
- TeX
- + 5
NPLinker
Microbial natural products data mining by integrating genomics and metabolomics data
- Data processing
- multi-omics integration
- Python
- TeX
- Shell
- + 2
Open Computational Multiphysics
OpenCMP is a computational multiphysics software package based on the finite element method
- Computational Fluid Dynamics (CFD)
- computational Multiphysics
- diffuse interface method
- + 3
- Python
- TeX
PyChelator
PyChelator is a Python-based Colab and web application for metal chelator calculations, taking into account pH, temperature, and ionic strength. The build-in constants can be used for EGTA and ATP as chelators, together with Calcium and Magnesium as metals. User-defined constants can be used.
- application
- calcium
- chelator
- + 7
- Jupyter Notebook
- JavaScript
- HTML
- + 2
Argon Laser-Plasma Thruster - Design and Test of a Laboratory Model - Processing and Analysis Code
Argon Laser-Plasma Thruster - Design and Test of a Laboratory Model - Processing and Analysis Code
- argon
- laser
- laser-sustained plasma
- + 4
- Other
- TeX
- Jupyter Notebook
- + 5
Artifact for the paper "A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs"
Artifact for the paper "A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs"
- Correct-by-construction
- Floating-point
- IEEE 754
- + 6
- Other
- C
- JSON
- + 5
Artifact for the paper "Efficient Formally Verified Maximal End Component Decomposition for MDPs"
Artifact for the paper "Efficient Formally Verified Maximal End Component Decomposition for MDPs"
- Correct-by-construction
- Interactive Theorem Proving
- Maximal End Components
- + 3
- Other
- XML
- JSON
- + 6