All software
laserchicken
Toolkit for preprocessing and feature calculation of point clouds created using airborne laser scanning
- Big data
- Machine learning
- ("Jupyter Notebook")
- (Python)
MUSCLE3
MUSCLE3 is a coupling library for building multiscale simulations out of single-scale models.
- High performance computing
- Multi-scale & multi model simulations
- (C)
- (C++)
- (Dockerfile)
- + 4
OMUSE
A Python environment to interface and couple oceanographic and other earth system model codes.
- High performance computing
- Multi-scale & multi model simulations
- (Batchfile)
- (C)
- (C++)
- + 10
Code accompanying the paper "Modeling the effect of prior austenite grain size on bainite formation kinetics."
Code accompanying the paper "Modeling the effect of prior austenite grain size on bainite formation kinetics."
- Bainite
- Grain size
- Nucleation
- + 2
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
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
- (CSS)
- (HTML)
- (JavaScript)
- + 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
- (ANTLR)
- ("Common Workflow Language")
- (Java)
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
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
- (Dockerfile)
- (Makefile)
- (Python)
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