All software
PyBanshee, Python-based open source of the MATLAB toolbox BANSHEE.
PyBanshee, Python-based open source of the MATLAB toolbox BANSHEE.
- Bayesian network models
- Gaussian copula
- Python package
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
DoE2Vec
DoE2Vec is a self-supervised approach to learn exploratory landscape analysis features from design of experiments. The model can be used for downstream meta-learning tasks such as learninig which optimizer works best on a given optimization landscape.
- Machine learning
- optimization
- python
- (Makefile)
- (Python)
- (R)
Measurements.jl
Error propagation calculator and library for physical measurements. It supports real and complex numbers with uncertainty, arbitrary precision calculations, operations with arrays, and numerical integration.
- error propagation
- Julia Package
- Physics
- + 1
- (Julia)
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
Cross-Domain Classification of Moral Values - code
Cross-Domain Classification of Moral Values - code
- Cross-domain
- Ethics
- Morality
- + 3
- (Markdown)
- (Other)
- (Python)
Syndat
Syndat is a python package that provides functionalities for the evaluation and visualization of synthetic data.
- Clinical Data
- data privacy
- Data Quality
- + 3
- (Python)
Syndat Dashboard
A Dashboard for evaluation & visualization of synthetic patient level data.
- data fidelity
- data privacy
- Interactive Dashboard
- + 1
- (CSS)
- (Dockerfile)
- (HTML)
- + 3
Code supporting the publication: Gromit: Benchmarking the performance and scalability of blockchain systems
Code supporting the publication: Gromit: Benchmarking the performance and scalability of blockchain systems
- Benchmarking
- Blockchain
- Performance
- + 1
- (JSON)
- (Markdown)
- (Other)
- + 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)
Case Law App
Web application for exploring the citation network of Dutch court decisions.
- Text analysis & natural language processing
- Visualization
- (CSS)
- (HTML)
- (JavaScript)
DIANNA
Deep Insight And Neural Network Analysis, DIANNA is the only Explainable AI, XAI library for scientists supporting Open Neural Network Exchange, ONNX - the de facto standard models format.
- Explainable AI
- Image processing
- Machine learning
- + 2
- ("Jupyter Notebook")
- (Python)
- (TeX)