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.
Supplementary data for the article: Continuous auditory feedback on the status of adaptive cruise control, lane deviation, and time headway.Pavlo Bazilinskyy, P. (Pontus) Larsson, E. (Emma) Johansson & Joost de Winter
Supplementary data for the article: Bazilinskyy, P., Larsson, P., Johansson, E., & De Winter, J. C. F. (2019). Continuous auditory feedback on the status of adaptive cruise control, lane deviation, and time headway. Acoustical Science and Technology, 40, 382-390.
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
Constructing dataset of classified drainage areas based on surface water-supply patterns in High Mountain AsiaJieyu Lu
The High Mountain Asia (HMA) region is a geographical unit, holds the largest reservoir of glaciers and snow outside Earth poles, ranging from the Hindu Kush and Tien Shan in the west to the Eastern Himalaya, with altitude between 2000 to 8844m. In last decades, numerous glaciers and lake areas there have undergone tremendous changes, where the formation of surface runoff, glacier meltwater are the main sources of water inflow to lakes, modulating the distribution...
Supplementary data for the article: Emergency braking at intersections: A motion-base motorcycle simulator studyN. (Natália) Kovácsová, Marco Grottoli, F. (Francesco) Celiberti, Y. (Yves) Lemmens, R. (Riender) Happee, M.P. (Marjan) Hagenzieker & Joost de Winter
This dataset includes a word file describing motion cueing algorithm & learning curves, an illustrative video of the experiment, Matlab scripts, vehicles' s profiles and simulated world characteristics, Oculus Rift settings, and questionnaire data.
Supplementary data to the paper: Surgery as a viable alternative first-line treatment for prolactinoma patients. A systematic review and meta-analysis.Amir Zamanipoor Najafabadi
The dataset includes parts of the systematic review and meta-analysis used in the article: Surgery as a viable alternative first-line treatment for prolactinoma patients. A systematic review and meta-analysis.
Data accompanying the manuscript "Fast two-qubit logic with holes in germanium"
Supplementary data of the report: Representing the Car-Following Behaviour of Adaptive Cruise Control (ACC) Systems Using Parametric Car-Following ModelsMathieu Blauw
The scripts provided in this dataset are used to process and analyse the data from the SAE-L2 platoontest day. They are part of the performed analysis in the report: "Representing the Car-Following Behaviour of Adaptive Cruise Control (ACC) Systems Using Parametric Car-Following Models" by M.H. Blauw, which can be found on the TU Delft repository.
Data for "Stable quantum dots in an InSb two-dimensional electron gas"
Supplementary materials for the article: How do drivers merge heavy goods vehicles onto freeways? A semi-structured interview unveiling needs for communication and support.F.A. (Felix) Dreger, Joost de Winter & R. (Riender) Happee
Supplementary materials for the article Dreger, F. A., De Winter, J. C. F., & Happee, R. How do drivers merge heavy goods vehicles onto freeways? A semi-structured interview unveiling needs for communication and support. Cognition, Technology and Work.
This dataset contains a grid system simulated for a saddle surface. It has location information for each grid cell such as x, y coordinates in the Cartesian coordinate system and elevation value. The grid system has resolution of 10.
Output of 5 simulations of a convective boundary layer with shallow cumulus forming during the day. Simulations are performed with the Dutch Atmospheric Large-Eddy Simulation (DALES) and with either 3D or 1D radiation.