All software
Imitation learning model and datasets: "A Study of Learning Search Approximation in Mixed Integer Branch and Bound: Node Selection in SCIP"
Imitation learning model and datasets: "A Study of Learning Search Approximation in Mixed Integer Branch and Bound: Node Selection in SCIP"
- branch-and-bound
- imitation learning
- MIP
- + 3
APE
A CLI, Java API and RESTful API for the automated generation of computational pipelines (scientific workflows) from large collections of computational tools.
- Java
- Program synthesis
- Workflow technologies
- Java
- Common Workflow Language
- ANTLR
laserchicken
Toolkit for preprocessing and feature calculation of point clouds created using airborne laser scanning
- Big data
- Machine learning
- Python
- Jupyter Notebook
trip-planning
Code underlying the publication: Dealing with Uncertainty: Understanding the Impact of Prognostic Versus Diagnostic Tasks on Trust and Reliance in Human-AI Decision Making
- Diagnostic
- Empirical Studies
- Human-AI Decision-Making
- + 6
- Other
- JSON
- Python
- + 3
CorC
With CorC, we implemented an IDE to create programs following the Correctness-by-Construction approach. Starting with an abstract specification, CorC supports CbC developers in refining a program by a sequence of refinement steps and in verifying the correctness of these refinements.
- Eclipse
- WebCorC
- Java
- ANTLR
Inseq
Interpretability for sequence generation models 🐛 🔍
- deep learning
- Explainable AI
- generative models
- + 2
- Python
- Makefile
- Dockerfile
TetraX
TetraX is a package for finite-element-method (FEM) micromagnetic modeling with the aim of providing user-friendly and versatile micromagnetic workflows. Among other features, it allows to efficiently calculate spin-wave spectra in different magnetic systems of general geometries.
- finite-element-method
- magnetization dynamics
- micromagnetic modeling
- + 4
- Python
- C
- Cython
venco.py
A tool to derive battery electric vehicle energy demands from given trip data. venco.py provides normalized, aggregated electric vehicle fleet demand profiles for two cases: Uncontrolled charging and a technical (mobility-constrained) potential for controlled charging including vehicle-to-grid.
- electricity
- electric vehicles
- Flexibility
- + 2
- Python
argopy
Argopy is a python library dedicated to Argo data access, manipulation and visualisation for standard users as well as Argo experts.
- Data Analysis
- Data processing
- Earth and Environmental Sciences
- + 3
- Python
- CSS
- Shell
- + 1
DeepRank2
DeepRank2 is an open-source deep learning framework for data mining of protein-protein interfaces or single-residue missense variants. This package is an improved and unified version of three previously developed packages: DeepRank, DeepRank-GNN and DeepRank-Mut.
- Cancer vaccine
- Convolutional Neural Network
- Deep Learning Framework
- + 5
- Python
- Jupyter Notebook
- TeX
- + 1
Automating Requirements and Documentation Comprehension (ARDoCo)
Automating Requirements and Documentation Comprehension (ARDoCo) is a framework to connect architecture documentation, requirements, and models while identifying missing or deviating elements (inconsistencies). An element can be any representable item of the model like a software component.
- Consistency
- Documentation
- Inconsistency Detection
- + 6
- Java
- ANTLR
- Markdown
- + 3
Arena-Crowds
Arena-Crowds is Python scripts for the data analysis to estimate crowd density based on WiFi positioning.
- Computer networks
- Networks
- Network Science
- Jupyter Notebook
- Python