280 datasets found

This dataset contains a software archive of the artificial solver testing environment ASTE (version v3.3.0), its corresponding documentation (as a PDF) and the compatible ASTE...

Datensätze und Modelle zur Dissertation Kamerabasierte Topologieschätzung zur roboterbasierten Handhabung von verzweigten Leitungssätzen. In den Daten sind Rohdaten mit...

Release 1.1.0 of BayesValidRox. BayesValidRox is an open-source python package that provides methods for surrogate modeling, Bayesian inference and model comparison....

A set of Python scripts for tasks around the archival and long term preservation of software repositories.

Complex structures can be understood as compositions of smaller, more basic elements. The characterization of these structures requires an analysis of their constituents and...

This software package contains the implementation of the approximate inverse for 2D linear seismic imaging with a depth dependent background velocity. The package includes a...

This supplementary material includes all study material, code, and results of the thesis: Elicitation and Classification of Security Requirements for EVerest by Debora Marettek....

In our report, we described a case study where we evaluate our approach for correctness quantification using Palladio and KeY. Here, we publish the corresponding Palladio...

These are the experimental data for the dissertation Bach, Jakob. "Leveraging Constraints for User-Centric Feature Selection" at the Department of Informatics of the Karlsruhe...

These are the experimental data for the third version (v3) of the paper Bach, Jakob. "Finding Optimal Diverse Feature Sets with Alternative Feature Selection" This version of...

A set of Python scripts for tasks around the archival and long term preservation of software repositories.

These are the experimental data for the second version (v2) of the paper Bach, Jakob. "Using Constraints to Discover Sparse and Alternative Subgroup Descriptions" This version...

A set of Python scripts for tasks around the archival and long term preservation of software repositories.

With the growing trend for developing new detection and investigation systems for Advanced Persistent Threat (APT), the urgent issue of lacking sound and authentic datasets...

These are the experimental data for the paper Bach, Jakob. "Subgroup Discovery with Small and Alternative Feature Sets" The paper was accepted at the conference SIGMOD 2025....

Ergebnisse einer Nutzerbefragung in Bezug auf User Experience und Technologieakzeptanz eines Web-basierten Dashboard-Prototyps zur Evaluation von e-Portfolios auf Basis von...

openCARP is an open cardiac electrophysiology simulator for in-silico experiments

Conventional optical measurement techniques are beneficial in manufacturing processes due to their fast and non-intrusive operation. However, they require sophisticated and...

To investigate the usage of colored light in human-robot interaction with the Pepper robot facilitating emotion recognition from bodily expressions, we used this sample of...

A set of Python scripts for tasks around the archival and long term preservation of software repositories.