-
Benchmark Instances for the Solar Farm Cable Layout Problem
These synthetic benchmark instances can be used to evaluate algorithmic approaches to the Solar Farm Cable Layout Problem. For more details, refer to the Readme file. Dominik... -
Wind Farm Data Supplement for 'Cable Layout Optimization Problems in the Cont...
This package provides the data used for the evaluation of various algorithms for the Wind Farm Cabling Problem in the doctoral thesis 'Cable Layout Optimization Problems in the... -
Benchmark Dataset for "Industrial Demand-Side Flexibility: A Benchmark Data Set"
Benchmark Dataset for "Industrial Demand-Side Flexibility: A Benchmark Data Set" The archive on hand contains a set of benchmark instances for time-flexible industrial... -
Benchmark Sets used in the Dissertation of Sebastian Schlag
This data set contains all benchmark sets used in the dissertation of Sebastian Schlag. This data set contains all benchmark sets used in the dissertation of Sebastian Schlag.... -
Companion Material for the PhD thesis "Formal Specification and Verification ...
This archive contains the evaluation for "Formal Specification and Verification for Automated Production Systems". In particular, you find evaluation environments for Chapter 7... -
Data Set Collection for Flow Delegation
This data set collection consists of 17 data sets used for the analytical / simulative evaluation of the flow delegation concept presented in "Flow Delegation: Flow Table... -
Dataset - Architectural Attack Propagation Analysis for Identifying Confident...
Dataset for Attacker Propagation Content There are 4 folders: * binary for an excutable version * effort_reduction data-sheet for the effort calculation * evaluationmodel PCM... -
Dataset accompanying "Engineering Top-Down Weight-Balanced Trees"
This data accompanies the paper "Engineering Top-Down Weight-Balanced Trees" at ALENEX 2020. The data set contains all experimental results as well as our real-world input data.... -
Dataset accompanying "Shaving Peaks by Augmenting the Dependency Graph"
This is the dataset accompanying the paper "Shaving Peaks by Augmenting the Dependency Graph" by Barth and Wagner The dataset contains a snapshot of the code used for... -
Dataset accompanying "How much demand side flexibility do we need? - Analyzin...
This data accompanies the Paper "How much demand side flexibility do we need? - Analyzing where to exploit flexibility in industrial processes".[0] The raw data which this data... -
Digital Artefacts and Appendix for the Dissertation of Moritz v. Looz
The corresponding dissertation contains several types of experiments. The graph generation experiments were conducted on a shared-memory machine with 16 cores. To reproduce... -
Electricity consumption of 28 German companies in 15-min resolution
This dataset contains the electric power consumption of 28 German companies in 15 minutes resolution. The data was adjusted for inconsistencies in the daylight saving time... -
Evaluated Artifact for "Quantifying Software Reliability via Model-Counting"
counterSharp Experiment and Play Environment This repository contains the reproducible experimental evaluation of the counterSharp tool. The repository contains a Docker file... -
Frequent Observations from a Battery System with Subunits
Please read and refer to our data descriptor: G. Steinbuß, B. Rzepka, S. Bischof, T. Blank and K. Böhm, "FOBSS: Monitoring Data from a Modular Battery System", in the... -
Implementation of the Attacks on the BM-FssAgg and AR-FssAgg Signature Schemes
This publication contains the implementation of the attacks on the BM-FssAgg and AR-FssAgg cryptographic signature schemes. These attacks were published and presented at the... -
Implementation of Robust/Fault-Tolerant Secure Logging Scheme described in "P...
Secure logging from fault-tolerant aggregate signatures Information This is a simple implementation of the logging system described in "Practical and Robust Secure Logging from... -
Implementations of Algorithms from the Thesis "Timing Sensitive Dependency An...
In der Dissertation "Timing Sensitive Dependency Analysis and its Application to Software Security" präsentiere ich neue Verfahren zur statischen Analyse von... -
Inv3D: a high-resolution 3D invoice dataset for template-guided single-image ...
Numerous business workflows involve printed forms, such as invoices or receipts, which are often manually digitalized to persistently search or store the data. As hardware... -
Inv3D: a high-resolution 3D invoice dataset for template-guided single-image ...
Numerous business workflows involve printed forms, such as invoices or receipts, which are often manually digitalized to persistently search or store the data. As hardware... -
Inv3D: a high-resolution 3D invoice dataset for template-guided single-image ...
Numerous business workflows involve printed forms, such as invoices or receipts, which are often manually digitalized to persistently search or store the data. As hardware...