-
Dataset belonging to CoHLA: Rapid Co-simulation Construction
This dataset belongs to the following dissertation: CoHLA: Rapid Co-simulation Construction. The dataset contains the source code for CoHLA and its libraries described in the... -
Source code and data relevant for the paper 'Model Learning as a Satisfiabili...
This datasets belongs to the following paper: Model Learning as a Satisfiability Modulo Theories Problem.URL = http://www.sws.cs.ru.nl/publications/papers/fvaan/SMT/main.pdf The... -
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... -
Data Seal of Approval (DSA)
The Data Seal of Approval (DSA) is a certification for repositories which in 2018 together with the ICSU Word Data System (WDS) was merged into CoreTrustSeal... -
Defining Surface Types of Mars using Global CRISM Summary Product Maps
For many regions on Mars the surface composition and its geological history has been debated in literature. Because of the limited surface coverage of in-sit measurements,... -
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... -
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... -
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... -
Source code and data relevant for the paper 'Model Learning as a Satisfiabili...
This datasets belongs to the following paper: Model Learning as a Satisfiability Modulo Theories Problem.URL = http://www.sws.cs.ru.nl/publications/papers/fvaan/SMT/main.pdf The... -
Collaborative Geo-Visual Analytics - web application prototype and statistica...
This project acknowledges that due to the ever increasing availability of geo-data and the complexity of analytical problems, the need to enable collaborative work among... -
Crustal and upper mantle structure of Botswana: is Botswana rifting?
Our knowledge of the Earth's crust and upper mantle is derived largely from geophysical observations (e.g., seismology, gravity, etc.). Constraining the physical conditions of...
