-
Data underlying the PhD thesis of Stefanie Steinbach: Sustainable Use of Afri...
This dataset includes data and codes underlying the PhD thesis of Stefanie Steinbach: Sustainable Use of African Wetlands for Food Security: A Spatial Evaluation Approach. The... -
Dataset Associated with the Study of Robust Drivers of Urban Land Surface Tem...
This dataset is associated with the study of the robust drivers of urban land surface temperature (ULST) dynamics across diverse landscape characters based on an augmented... -
Replication Data for: Modelling Surface Turbulent Heat Fluxes Over Heterogene...
This dataset all data used, the codes developed for the modeling schemes, and the validation of the obtained results in a PhD research entitled: Modelling Surface Turbulent Heat... -
Integrating in-situ data with satellite-derived products to assess surface-gr...
Hydrometeorological data were collected for this PhD project which aims at presenting methods of integration of in-situ data with satellite-derived products, to provide reliable... -
SPATIAL+ CROSS-VALIDATION (SP-CV) EXPERIMENTS DATASETS AND CODES (after review)
This data includes all datasets and codes for implementing spatial+ cross-validation experiments. Except for datasets (Brazil Amazon basion AGB dataset and California houseprice... -
Source code of the PRSS and CWSS applications
Source code accompanying the paper:M. Lubbers, P. Koopman, A. Ramsingh, J. Singer, and P. Trinder, ‘Tiered versus Tierless IoT Stacks: Comparing Smart Campus Software... -
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:...
