-
Code to count monomials of several rounds of Pyjamask
The result ons the number of monomials are obtained by running the code. Abstract from [Dobraunig, C., Rotella, Y., & Schoone, J. (2020). Algebraic and Higher-Order Differential... -
Monitoring water migration in crispy snacks using NIR
In this project a prelimenary image preprocessing pipeline was developed to analyze Near-Infrared Spectroscopy Imaging data of components of crispy snacks, when imaged under... -
Source code and data relevant for the paper 'Learning Register Automata with ...
The dataset contains source code and data relevant for the journal extension of the conference paper "Learning Register Automata with Fresh Value Generation". The journal was... -
The effect of the stochasticity of photoionization on 3D streamer simulations
This dataset includes all the input and output files for the paper: The effect of the stochasticity of photoionization on 3D streamer simulations. The format of the files are... -
Source code and data relevant for the paper 'Model Learning and Model Checkin...
The dataset contains source code and data relevant for the paper "Model Learning and Model Checking of SSH Implementations".Paper url:... -
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... -
RETRIEVAL OF SOIL PHYSICAL PROPERTIES: FIELD INVESTIGATIONS, MICROWAVE REMOTE...
The uploaded datasets are based on my PhD thesis titled ?RETRIEVAL OF SOIL PHYSICAL PROPERTIES: FIELD INVESTIGATIONS, MICROWAVE REMOTE SENSING AND DATA ASSIMILATION? (2021). 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... -
Potential of multi-temporal SENTINEL-1A dual polarization SAR images for vege...
As part of the G4AW SMARTSeeds project, this study aims to investigate the potential of dense time series of Sentinel- 1A dual polarization data for the classification of... -
Source code for a simplified mTask language integrated with the iTask system
Source code accompanying the paper: Lubbers, M., Koopman, P. & Plasmeijer, R. (2018). Task Oriented Programming and the Internet of Things. In M. Cimini (Ed.), IFL 2018... -
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...
