Computation Theory and Mathematics

Top datasets

Dataset
 
 
 
 
 
 
 
 
 

Latest datasets

Collections

Benchmark instances for experiments in ["Computing All-Pairs Shortest Paths by Leveraging Low Treewidth" (paper, 2011)]
Posted on 2011-03-15
Benchmark instances for experiments in ["Computing All-Pairs Shortest Paths by Leveraging Low Treewidth" (paper, 2012)]
Posted on 2012-03-09

All datasets

Artifact for the paper "Efficient Formally Verified Maximal End Component Decomposition for MDPs"
Posted on 2024-06-21
Dataset of a collection of motion profiles of an unmanned underwater vehicle moving in an underwater environment.
Posted on 2023-12-26
BPI Challenge 2015 (OCEL)
Posted on 2023-08-31
Quantitative Comparisons of MITRE ATT&CK Campaigns
Posted on 2024-08-30
Videos – CFD-DEM simulations: fluidisation of calcite-pellets in water
Posted on 2021-01-29
Figures created during the work on "Multi-Δt approach for peak-locking error correction and uncertainty quantification in PIV"
Posted on 2021-03-22
Supplementary data for the article: Time/sequence-dependent scheduling: the design and evaluation of a general purpose tabu-based adaptive large neighbourhood search algorithm
Posted on 2019-12-28
Network instance Scale-free; constant vertex count, varying density, edition 2
Posted on 2012-03-09
Supplementary data for the Master Thesis: Buildable Design in Optimisation of Steel Skeletal Structures: A Comparison of Existing and New Methods for Finding the Best Solution with Low Diversity
Posted on 2020-06-08
Network instance HTN, edition 2
Posted on 2012-03-09
Artifact for the Paper "Fast Verified SCCs for Probabilistic Model Checking"
Posted on 2023-10-31
Data underlying the publication: Characteristics of slurry transport regimes: Insights from experiments and interface-resolved Direct Numerical Simulations
Posted on 2024-04-29
Artifact for the Paper "Fast Verified SCCs for Probabilistic Model Checking"
Posted on 2023-08-21
Artefact of: JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java
Posted on 2024-03-13
Supplementary materials for the article: Five-Point Likert Items: t test versus Mann-Whitney-Wilcoxon
Posted on 2024-06-03
Supplementary materials for the article: Five-Point Likert Items: t test versus Mann-Whitney-Wilcoxon
Posted on 2024-06-03
Data underlying the publication: Inertial Effects in Sedimenting Suspensions of Solid Spheres in a Liquid
Posted on 2023-05-08
BPI Challenge 2019 (OCEL)
Posted on 2023-08-31
Supporting software for the paper: Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller
Posted on 2023-07-26
BPI Challenge 2017 (OCEL)
Posted on 2023-08-31
BPI Challenge 2016 (OCEL)
Posted on 2023-08-31
BPI Challenge 2014 (OCEL)
Posted on 2023-08-31
Code underlying the publication: A Benchmark for the Application of Distributed Control Techniques to the Electricity Network of the European Economic Area
Posted on 2024-03-27
Artifact of Knor: reactive synthesis using Oink
Posted on 2023-11-09
Data underlying the paper: Automated Discovery of Process Models from Event Logs: Review and Benchmark
Posted on 2019-06-14
Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids (Artifact)
Posted on 2023-03-08
Raw data of the EXPensive Optimization benchmark library (EXPObench)
Posted on 2021-06-14
Sampling Distributed Schedulers for Resilient Space Communication (Artifact)
Posted on 2020-11-03
Supplementary data for the publication: A Grouping Method for Optimization of Steel Skeletal Structures by Applying a Combinatorial Search Algorithm Based on a Fully Stressed Design
Posted on 2021-02-01
Supplementary data for the publication: Grouped Optimization of Steel Skeletal Structures with a Combinatorial Search Algorithm Based on a Fully Stressed Design
Posted on 2020-09-10
Event Graph of BPI Challenge 2016
Posted on 2021-04-22
Event Graph of BPI Challenge 2014
Posted on 2021-04-22
Event Graph of BPI Challenge 2017
Posted on 2021-04-22
Event Graph of BPI Challenge 2019
Posted on 2021-04-22
Event Graph of BPI Challenge 2015
Posted on 2021-04-22
Raw data of the EXPensive Optimization benchmark library (EXPObench)
Posted on 2021-03-26
Data to reproduce experiments in research article "MERACLE: Constructive layer-wise conversion of a Tensor Train into a MERA"
Posted on 2020-07-17
MATLAB scripts created during the work on "Multi-Δt approach for peak-locking error correction and uncertainty quantification in PIV"
Posted on 2021-03-22
Speed Robust Scheduling Supplemental Material
Posted on 2021-12-26
A Modest Markov Automata Tutorial (Artifact)
Posted on 2019-09-24
A Modest Approach to Modelling and Checking Markov Automata (Artifact)
Posted on 2019-09-05
Supplementary data for the article: Order Acceptance and Scheduling with Sequence-dependent Setup Times: a New Memetic Algorithm and Benchmark of the State of the Art
Posted on 2019-10-31
Models and Logs used in the paper ‘Aligning Partially-Ordered Process-Execution Traces and Models Using Automated Planning’ accepted for ICAPS 2018
Posted on 2018-03-14
Financial data set and analysis program
Posted on 2020-03-06
Tabu-Based Adaptive Large Neighbourhood Search for Time/Sequence-Dependent Scheduling Problems with Time Windows
Posted on 2019-08-13
Real-world sales forecasting benchmark data
Posted on 2019-10-21
BPI Challenge 2019
Posted on 2019-01-31
Results of Trajectory Prediction Sensitivity Analysis Using Monte Carlo Simulations Based on Inputs' Distributions
Posted on 2018-10-31
Artifact for Automated Verification of Parallel Nested DFS, TACAS’20
Posted on 2020-02-20
MATLAB scripts created during the work on "Elimination of unsteady background reflections in PIV images by anisotropic diffusion"
Posted on 2019-01-10
Software artefact for FIG: the Finite Improbability Generator
Posted on 2020-05-12
Source code for the article: Time/sequence-dependent scheduling: the design and evaluation of a general purpose tabu-based adaptive large neighbourhood search algorithm
Posted on 2019-12-28
Supplementary materials for the article: Five-Point Likert Items: t test versus Mann-Whitney-Wilcoxon
Posted on 2019-10-01
Supplementary data for the publication: Fixing the Number of Unique Profiles in Optimization of Steel Skeletal Structures
Posted on 2020-06-22
Network instance Chordal, fixed treewidth, edition 1
Posted on 2011-03-15
Benchmark instances for experiments in "Computing all-pairs shortest paths by leveraging low treewidth" - Scale-free; constant vertex count, varying density (Figure 3)
Posted on 2011-03-15
Generated Petri Net Markup Language (PNML) models and log traces (in XES)
Posted on 2018-04-09
Supplementary materials for the article: Common factor analysis versus principal component analysis: a comparison of loadings by means of simulations
Posted on 2019-09-09
Network instance Chordal, fixed size, edition 2
Posted on 2012-03-09
Supplementary materials for the article: Factor recovery by principal axis factoring and maximum likelihood factor analysis as a function of factor pattern and sample size.
Posted on 2019-10-01
Network instance Scale-free; varying vertex count, bounded induced width, edition 2
Posted on 2012-03-09
Benchmark instances for experiments in "Computing all-pairs shortest paths by leveraging low treewidth" - Job shop (Figure 7)
Posted on 2011-03-15
Network instance Job shop, edition 2
Posted on 2012-03-09
Benchmark instances for experiments in "Computing all-pairs shortest paths by leveraging low treewidth" - Scale-free; varying vertex count, bounded induced width (Figure 4)
Posted on 2011-03-15
Network instance New York, edition 2
Posted on 2012-03-09
High Energy Physics and Games (HEPGAME), data collected during the Ph.D. project "Structured Parallel Programming For Monte Carlo Tree Search"
Posted on 2020-05-19
Benchmark instances for experiments in "Computing all-pairs shortest paths by leveraging low treewidth" - Chordal, fixed size (Figure 1)
Posted on 2011-03-15
Data mannually-labelled accompanying the research on segmentation of book-spine images
Posted on 2019-11-25
Benchmark instances for experiments in "Computing all-pairs shortest paths by leveraging low treewidth" - Diamonds (Figure 5)
Posted on 2011-03-15
Network instance Diamonds, edition 2
Posted on 2012-03-09
Benchmark instances for experiments in "Computing all-pairs shortest paths by leveraging low treewidth" - HTN (Figure 8)
Posted on 2011-03-15
Benchmark instances for experiments in "Computing all-pairs shortest paths by leveraging low treewidth" - New York (Figure 6)
Posted on 2011-03-15
Real-world MDVRP data with realistic constraints
Posted on 2020-02-06
Real-world VRP benchmark data with realistic constraints - input data and results - v2
Posted on 2019-10-10
STP algorithms and experimentation (software), version 2012-03-public
Posted on 2012-03-13
STP algorithms and experimentation (software), version 2011-03-public
Posted on 2011-03-15