Information and Computing Sciences

sort by:

Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids (Artifact)

dataset posted on 2023-03-08 in 4TU.ResearchData

Thom S. Badings

Speed Robust Scheduling Supplemental Material

Speed Robust Scheduling Supplemental Material

software posted on 2021-12-26 in 4TU.ResearchData

Raw data of the EXPensive Optimization benchmark library (EXPObench)

dataset posted on 2021-06-14 in 4TU.ResearchData

Event Graph of BPI Challenge 2016

dataset posted on 2021-04-22 in 4TU.ResearchData

Event Graph of BPI Challenge 2019

dataset posted on 2021-04-22 in 4TU.ResearchData

Event Graph of BPI Challenge 2015

dataset posted on 2021-04-22 in 4TU.ResearchData

Event Graph of BPI Challenge 2017

dataset posted on 2021-04-22 in 4TU.ResearchData

Event Graph of BPI Challenge 2014

dataset posted on 2021-04-22 in 4TU.ResearchData

Figures created during the work on "Multi-Δt approach for peak-locking error correction and uncertainty quantification in PIV"

Figures created during the work on "Multi-Δt approach for peak-locking error correction and uncertainty quantification in PIV"

dataset posted on 2021-03-22 in 4TU.ResearchData

MATLAB scripts created during the work on "Multi-Δt approach for peak-locking error correction and uncertainty quantification in PIV"

software posted on 2021-03-22 in 4TU.ResearchData

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

dataset posted on 2021-02-01 in 4TU.ResearchData

Videos – CFD-DEM simulations: fluidisation of calcite-pellets in water

Videos – CFD-DEM simulations: fluidisation of calcite-pellets in water

dataset posted on 2021-01-29 in 4TU.ResearchData

Sampling Distributed Schedulers for Resilient Space Communication (Artifact)

dataset posted on 2020-11-03 in 4TU.ResearchData

Data to reproduce experiments in research article "MERACLE: Constructive layer-wise conversion of a Tensor Train into a MERA"

dataset posted on 2020-07-17 in 4TU.ResearchData

K. (Kim) Batselier

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

dataset posted on 2020-06-08 in 4TU.ResearchData

Tom van Woudenberg

High Energy Physics and Games (HEPGAME), data collected during the Ph.D. project "Structured Parallel Programming For Monte Carlo Tree Search"

dataset posted on 2020-05-19 in 4TU.ResearchData

Ali Mirsoleimani

Software artefact for FIG: the Finite Improbability Generator

dataset posted on 2020-05-12 in 4TU.ResearchData

Carlos E. Budde

Financial data set and analysis program

dataset posted on 2020-03-06 in 4TU.ResearchData

Artifact for Automated Verification of Parallel Nested DFS, TACAS’20

dataset posted on 2020-02-20 in 4TU.ResearchData

Real-world MDVRP data with realistic constraints

dataset posted on 2020-02-06 in 4TU.ResearchData

Supplementary data for the article: Time/sequence-dependent scheduling: the design and evaluation of a general purpose tabu-based adaptive large neighbourhood search algorithm

dataset posted on 2019-12-28 in 4TU.ResearchData

Source code for the article: Time/sequence-dependent scheduling: the design and evaluation of a general purpose tabu-based adaptive large neighbourhood search algorithm

dataset posted on 2019-12-28 in 4TU.ResearchData

Data mannually-labelled accompanying the research on segmentation of book-spine images

dataset posted on 2019-11-25 in 4TU.ResearchData

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

dataset posted on 2019-10-31 in 4TU.ResearchData

Real-world sales forecasting benchmark data

dataset posted on 2019-10-21 in 4TU.ResearchData

Real-world VRP benchmark data with realistic constraints - input data and results - v2

dataset posted on 2019-10-10 in 4TU.ResearchData

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.

dataset posted on 2019-10-01 in 4TU.ResearchData

Supplementary materials for the article: Five-Point Likert Items: t test versus Mann-Whitney-Wilcoxon

dataset posted on 2019-10-01 in 4TU.ResearchData

A Modest Markov Automata Tutorial (Artifact)

dataset posted on 2019-09-24 in 4TU.ResearchData

Supplementary materials for the article: Common factor analysis versus principal component analysis: a comparison of loadings by means of simulations

dataset posted on 2019-09-09 in 4TU.ResearchData

A Modest Approach to Modelling and Checking Markov Automata (Artifact)

dataset posted on 2019-09-05 in 4TU.ResearchData

Y. (Yuliya) Butkova

Tabu-Based Adaptive Large Neighbourhood Search for Time/Sequence-Dependent Scheduling Problems with Time Windows

dataset posted on 2019-08-13 in 4TU.ResearchData

Data underlying the paper: Automated Discovery of Process Models from Event Logs: Review and Benchmark

dataset posted on 2019-06-14 in 4TU.ResearchData

BPI Challenge 2019

dataset posted on 2019-01-31 in 4TU.ResearchData

Boudewijn van Dongen

MATLAB scripts created during the work on "Elimination of unsteady background reflections in PIV images by anisotropic diffusion"

dataset posted on 2019-01-10 in 4TU.ResearchData

Results of Trajectory Prediction Sensitivity Analysis Using Monte Carlo Simulations Based on Inputs' Distributions

dataset posted on 2018-10-31 in 4TU.ResearchData

Generated Petri Net Markup Language (PNML) models and log traces (in XES)

dataset posted on 2018-04-09 in 4TU.ResearchData

Vincent Bloemen

Models and Logs used in the paper ‘Aligning Partially-Ordered Process-Execution Traces and Models Using Automated Planning’ accepted for ICAPS 2018

dataset posted on 2018-03-14 in 4TU.ResearchData

STP algorithms and experimentation (software), version 2012-03-public

dataset posted on 2012-03-13 in 4TU.ResearchData

collection:
Benchmark instances for experiments in ["Computing All-Pairs Shortest Paths by Leveraging Low Treewidth" (paper, 2012)]

posted on 2012-03-09 in 4TU.ResearchData