Supplementary data for the article: Acclimatizing to automation: Driver workload and stress during partially automated car following in real traffic.Daniël Heikoop, Joost de Winter, B. (Bart) van Arem & N.A. (Neville) Stanton
Supplementary data for the article: Acclimatizing to automation: Heikoop, D., De Winter, J. C. F., Van Arem, B., & Stanton, N. A. (2019). Acclimatizing to automation: Driver workload and stress during partially automated car following in real traffic. Transportation Research Part F, 65, 503–517.
Catalog which provides information of repeating earthquake sequences on Longitudinal Valley Fault, Taiwan form 2000 to the end of 2011.
This dataset was collected during perturbation experiment in August and September 2018 in Delft, Netherlands. In the conducted experiment subjects were asked to stand still while undergoing artificial torque perturbations (up to 50 Nm) that were applied to the trunk of the subjects.The dataset contains processed biomechanical measurement data of kinematic, kinetic, electromyographic and internal states of the Angular Momentum Perturbation (AMP) as well as (anonymised) anthropometric parameters.
This dataset includes code, functions, and input data used in MATLAB 2016 and more recent. The code calculates the amount of heat producing elements and geoneutrino flux at various detector locations using the geophysical models LITHO1.0, CRUST1.0, and CRUST2.0. This code is explained and results analyzed in the submitted publication: Wipperfurth, S.A., Šrámek, O., and McDonough, W.F., 2019, Reference Models for Lithospheric Geoneutrino Signal.
Markov automata are a compositional modelling formalism with continuous stochastic time, discrete probabilities, and nondeterministic choices. In our QEST 2019 paper titled "A Modest Approach to Modelling and Checking Markov Automata", we present extensions to the Modest language and the 'mcsta' model checker of the Modest Toolset to describe and analyse Markov automata models. The verification of Markov automata models requires dedicated algorithms for time-bounded probabilistic reachability and long-run average rewards. In the paper, we...
Dune foot position, accompanying data on the research of Assessment of the effects of nourishments on coastal state indicators, using a Bayesian modelling approachEleni Diamantidou
Dune foot position based on the 2nd derivative method.
The dataset provides all the required information to reproduce figures published in AGU publication - Geophysical Research Letters - Rate Effects on the Shearing Behavior of Smooth Flat Quartz Surfaces with Clay and Silt Gouges: A Micromechanical Experimental Study
Multiple-offset and common-offset GPR data from TU Delft and ARISTA facility and scripts to apply EMI and ASFrederikke Hansen
Contains both MO and CO GPR data collected at a TU Delft test site and at the ARISTA facility with the goal of identifying differences between clandestine burials of barrels/human corpses and an empty refilled pit. Electromagnetic interferometry and adaptive subtraction were applied to the multiple-offset data to remove direct waves, and the scripts used for this are included in the dataset.
Simulations with finite element simulator Plaxis 2D. The simulations represent injection and production scenarios in a reservoir with a displaced fault. More details in the README file.
Catcher, artifact of the paper: “Effective and Efficient API Misuse Detection via Exception Propagation and Search-based Testing”.Xavier Devroey, M. (Maria) Kechagia, A. (Annibale) Panichella, G. (Georgios) Gousios & A. (Arie) van Deursen
Catcher is a tool that combines static exception propagation and search-based software testing to automatically detect (and generate test cases) for API misuses in Java client programs. This dataset contains the artifact accepted at ISSTA 2019.
Data collection and code examples for plotting the figures of the manuscript entitled: Crossed Andreev Reflection in InSb Flake Josephson Junctions.
This dataset contains anonymized semi-structured interview transcripts resulting from our study on how SMEs’ representatives make decisions on whether to obtain cyber insurance or not. We conducted semi-structured interviews with ten representatives of various SMEs in the Netherlands. We applied the Protection Motivation Theory as an underlying framework to define interview questions. Thee interviews were conducted in English.
This dataset contains one .csv file that can be used as a new benchmark data for the solving of real-world sales forecasting problem. All data are real and obtained experimentally in production environment in one of the biggest retail company in Bosnia and Herzegovina. The available data in this dataset are in period from 2010 to 2018.
The self-similarity of fractals is indicated by the power-law relationship between their power spectral density and wave number, e.g. |X(k)|=Ck^(-b) where X(k) is the Fourier transform of surface elevation at wave number k and C and b are positive constants. b is often expressed as a Hurst exponent, H: b = 2H+1. 1) fractal_riverbed_4TU.m A Matlab script code to generate artificial fractal riverbeds with specified variables (e.g. Hurst Exponent, domain length, number of points, mininum...
Indoor 3D LIDAR scans with thermal images for mapping (the Automation Lab at Jacobs University Bremen)D. (Dorit) Borrmann & H. (Hassan) Afzal
This data set was recorded using a Riegl VZ-400 and a Optris PI IR camera. It contains several 3D scans taken around the Automation Lab at Jacobs University Bremen. The data set consists of scans and thermal images taken at different poses.
Source code for the article: Time/sequence-dependent scheduling: the design and evaluation of a general purpose tabu-based adaptive large neighbourhood search algorithmLei He, Mathijs de Weerdt & Neil Yorke-Smith
In intelligent manufacturing, it is important to schedule orders from customers efficiently. Make-to-order companies may have to reject or postpone orders when the production capacity does not meet the demand. Many such real-world scheduling problems are characterised by processing times being dependent on the start time (time dependency) or on the preceding orders (sequence dependency), and typically have an earliest and latest possible start time. We introduce and analyze four algorithmic ideas for this class...
Replication Data for: Bed morphodynamics at the intake of a side channel controlled by sill geometryT.V. (Timo) de Ruijsscher, A.J.F. (Ton) Hoitink, Suleyman Naqshband & A.J. (Andries) Paarlberg
As part of a general trend towards river management solutions that provide more room for the river, longitudinal training dams (LTDs) have recently been constructed in the inner bend of the Dutch Waal River, replacing groynes. LTDs split the river in a main channel and a bank-connected side channel with a sill at the entrance. In the present study, a physical scale model with mobile bed was used to study morphological patterns and discharge division...
Data presented in the paper \"First record of the endoparasitic isopod Portunion maenadis (Giard, 1886) (Epicaridea: Entoniscidae) in shore crabs in the Wadden Sea and a review of its distribution in Europe\"A. (Annika) Cornelius, A.M. (Andreas) Waser, Christian Buschbaum & D.W. (David) Thieltges
We report on the first record of the entoniscid Portunion maenadis (Giard, 1886) in European shore crabs (Carcinus maenas L., 1758) in the Wadden Sea and provide a quantitative review of the parasite's distribution in Europe based on published literature and biodiversity database records.
Data presented in the paper \"Prey size selection in invasive (Hemigrapsus sanguineus and H. takanoi) compared with native (Carcinus maenas) marine crabs\"M.M. (Mark) Bouwmeester, A.M. (Andreas) Waser, J. (Jaap) van der Meer & D.W. (David) Thieltges
We investigated the prey size selection of two invasive Asian crabs (Hemigrapus sanguineus and Hemigrapus takanoi) which have recently invaded European coasts and compared their prey size preferences with those of native shore crabs (Carcinus maenas) which are known to feed on similar prey species. In laboratory experiments, we offered different size classes of native blue mussels (Mytilus edulis) to different size classes of the crab species in an effort to identify the respective prey...
This dataset provides the input STLs and processed files for the method and algorithm described in the paper. For each of the three examples discussed in the paper, we provide the input STL, the directed graph, and the final dilational structure (.scad and .stl).
This dataset contains automotive Controller Area Network (CAN) bus data from three systems: two cars (Opel Astra and Renault Clio) and from a CAN bus prototype we built ourselves. Its purpose is meant to evaluate CAN bus Network Intrusion Detection Systems (NIDS). For each system, the dataset consists in a collection of log files captured from its CAN bus: normal (attack-free) data for training and testing detection algorithms, and different CAN bus attacks (Diagnostic, Fuzzing...
Supplementary data for the article: PC-based hazard anticipation training for experienced cyclists: Design and evaluationN. (Natália) Kovácsová, W.P. (Willem) Vlakveld, Joost de Winter & M.P. (Marjan) Hagenzieker
This dataset includes a pdf file describing the PC-based hazard anticipation training program and additional analyses, and four illustrative video files of the training program.
Detecting Perceived Appropriateness of a Robot's Social Positioning Behavior from Non-Verbal Cues: a Dataset.Jered Vroon, G (Gwenn) Englebienne & V (Vanessa) Evers
What if a robot could detect when you think it got too close to you during its approach? This would allow it to correct or compensate for its social ‘mistake’. It would also allow for a responsive approach, where that robot would reactively find suitable approach behavior through and during the interaction. We investigated if it is possible to automatically detect such social feedback cues in the context of a robot approaching a person. We...
Data accompanying the research on impacts of hydroclimate, land-use and socio-economic changes on water security in the Beas-Sutlej Basin in Northern IndiaAdebayo Adeloye
Data contain: (a) Climate model (GFDL-CM3) output under RCP 8.5 projections over the Himalayan catchment, consisting of precipitation and temperatures at both monthly and daily time series; (b) Observed monthly inflow and releases for the Pong and Bhakra reservoirs; (c) Irrigation water demand and allocations as simulated by the WEAP model for various climate and socio-economic change scenarios; and (d) Outcome of the land-use and population projections