-
Coverage-Based Testing with Symbolic Transition Systems: Code and Case Study ...
The data set contains source code written in the Maude language for generation of coverage-based tests, and source code written in python, for test case execution. Also, it... -
Source code and data relevant for the paper 'Combining Model Learning and Mod...
The dataset contains source code and data relevant for the paper "Combining Model Learning and Model Checking to Analyze TCP Implementations".Paper url:... -
Data and code for DiDo
Supporting Information files for paper ”Data-informed Deep Optimization“, including code and data Date Submitted: 2022-04-24 -
Side-Channel Based Intrusion Detection for Industrial Control Systems: Python...
Python & MATLAB source code to capture traces & generate the results used in 'Side-Channel Based Intrusion Detection for Industrial Control Systems'... -
Spatial+ Cross-Validation (SP-CV) experiments datasets and codes
This data includes all datasets and codes for implementing spatial+ cross-validation experiments. Except for datasets and code, Reademe.txt explains each file's meaning,... -
Source code for the multitasking mTask language integrated with the iTask system
Source code accompanying the paper:Lubbers, M., Koopman, P. & Plasmeijer, R. (2019). Multitasking on Microcontrollers using Task Oriented Programming. In M. Koricic (Ed.), 2019... -
Weakly supervised semantic segmentation of airborne laser scanning point clouds
While modern deep learning algorithms for semantic segmentation of airborne laser scanning (ALS) point clouds have achieved considerable success, the training process often... -
p2p simulation with redundant data
We propose a method to accelerate a response of structured overlay networks by reducing the number of hops required to answer multiqueries. In the proposed method, by copying... -
Real-Time Community Detection in Full Social Networks on a Laptop
The project analysed the performance of community detection algorithms on the Twitter social network operating on a graph compressed using minhash signatures. The data supplied... -
Analysis of subsidence resulting from small gasfield production in the Nether...
A piece of code to show a histogram of effective radius of fields in the Netherlands, showing that indeed they are quite small. A piece of code to test sensitivity of subsidence... -
Multiyear in-situ L-band microwave radiometry of land surface processes on th...
We report a unique multiyear L-band microwave radiometry dataset collected at the Maqu site on the eastern Tibetan Plateau and demonstrate its utilities in advancing our... -
Simulate Gene Expression Profiles from a linear Combination of Maotif Acitivi...
Cellular identity and behavior is controlled by complex gene regulatory networks. Transcription factors (TFs) bind to specific DNA sequences to regulate the transcription of... -
Trained neural network used in "OrganoidTracker: efficient cell tracking usin...
Convolutional neural network and minimal set of Python scripts to detect nuclei in confocal microscopy images. Date Submitted: 2020-05-01 -
Centrality Scores and Precedent Value in Legal Network Analysis
This dataset contains the data and all results (reported and additional) of a study conducted on European Court of Human Rights (ECtHR) cases to analyze the correlations of... -
Replication data for: Near-surface characterization using shear-wave resonanc...
This data set is used to conduct research as presented in the manuscript entitled "Near-surface characterization using shear-wave resonances: A case study from offshore... -
An easy and robust method for isolation and validation of single nucleotide p...
This dataset includes the sequence and SNP data, and the scripts for detecting SNP from targeted sequences isolated from the Erysipe alphitoides draft genome. The draft genome... -
UiA Accelerated Life Time Bearing Test Rig – Test 3, Variable speed around 50rpm
Vibration data from an accelerated lifetime test of a bearing. Contains raw vibration data and shaft position data. The mean shaft speed is 50rpm with a variation +- 40 rpm. Can... -
The use of nanopore sequencing to analyze the chloroplast transcriptome part ...
Nanopore sequencing of full-length cDNAs offers unprecedented details of the plastid RNA metabolism. After the generation of the nanopore reads, several bioinformatic steps are... -
CFD-DEM and machine learning for modelling of plugging in pipes with cohesive...
This dataset contains model data for the CFD-DEM simulation of plugging in multiphase flows with cohesive particles. The main results available from the simulations are... -
Viscoelasticity of diverse biological samples quantified by Acoustic Force M...
Code for processing microrheology data from AFS measurements, and extract elastic and viscous moduli.