-
Environmental exposure to micro pollutants in the lake Naivasha catchment (Ke...
The PhD project was about exploring environmental exposure to micro pollutants in Kenya. In this research first the residues of the pollutants (pesticides) in the lake Naivasha... -
Distinguishing between hazardous flooding and non-hazardous agronomic inundat...
Cropping schedules in irrigated rice fields are often affected by the flooding. All rice growing stages, fallow, transplanting, harvesting, may occur in irrigated rice fields... -
CGDTSM
CGDTSM, whose fullname is Coverage-guided Differential Testing with Syntax-based Mutation. It is a hybrid tool based on Nezha-dt and TLS-diff. CGDTSM exploits the behavioral... -
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:... -
BFCS: Bayes Factors of Covariance Structures
Gene regulatory networks play a crucial role in controlling an organism’s biological processes, which is why there is significant interest in developing computational methods... -
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... -
Understanding Intra-Annual Dynamics of Ecosystem Services Using Satellite Ima...
1. The Word file "Source and processing of GIS-RS input data" contains the source information of used DEM, Sentinel-2, and preprocessing steps.2. The files having the suffix... -
The SPLENDID chewing detection challenge (Version 2)
This dataset contains approximately 60 hours of recordings from a prototype chewing detection system. The sensor signals include photoplethysmography (PPG) and processed audio... -
Source code of the resource-time analysis compiler
Source code accompanying the paper: Klinik, M., Jansen, J.M. & Plasmeijer, R. (2017). The Sky is the Limit: Analysing Resource Consumption Over Time Using Skylines. In N. Wu... -
Mapping cropping patterns in irrigated rice fields in West Java: Towards mapp...
This research mapped cropping patterns using time-series MODIS imageries in irrigated rice fields in West Java, Indonesia. This research was part of bigger research and serves... -
TOP10NL, digitaal topografisch bestand - versie september 2011
TOP10NL is een digitaal topografisch bestand, bruikbaar op een schaalniveau tussen 1:5.000 en 1:25.000. DANS en het Kadaster werken samen met betrekking tot het duurzaam... -
Sarcastic Soulmates: Intimacy and irony markers in social media messaging
We research the use of sarcasm on Twitter, and show that a computer has more difficulty to detect sarcasm shared among peers than sarcasm shared with any interested audience.... -
Source code for the genetic algorithm scheduler
Source code accompanying the paper: Klinik, M.A.A., Jansen, J.M. & Plasmeijer, R. (2019). Resource Scheduling with Computable Constraints for Maritime Command and Control. In... -
OpenLISEM Hazard 2.0 alpha
The OpenLISEM Hazard 2.0 alpha version. A open-source multi-hazard modelling tool with a semi-structured mass movement model. Date Submitted: 2020-06-02 -
Kwalitatieve analyse: kunst én kunde - dataset bron 03. “Financial Crisis, Af...
Formaat: Blogpost (HTML) (47 items)Omvang: 502 KbPosted by Kaufmann on Wed, 2009-06-10 21:41 Blogpost niet online meer beschikbaar. Blog afkomstig van... -
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:... -
Agricultural Field Boundary Data Set in The Netherlands for Automatic Delinea...
The data set contains Sentinel-2 image tiles and corresponding reference maps derived from PDOK for agricultural field boundaries. Predictions using three different deep... -
Source code of the resource analysis compiler
Source code accompanying the paper Markus Klinik, Jurriaan Hage, Jan Martin Jansen, and Rinus Plasmeijer. Predicting resource consumption of higher-order workflows. In... -
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... -
IMU and LIDAR SLAM for indoor mapping
These files are to support the published conference papers about the integration of IMU and LIDAR SLAM for indoor mapping. They include point cloud conversion, segmentation and...
