-
Data for PhD Thesis: Generative Models for Multimodal 3D Scene Generation
Data underlying a PhD thesis entitled Generative Models for Multimodal 3D Scene Generation. In summary, this dissertation explores deep generative models for 3D scene synthesis... -
Replication data for: PhD thesis "SATELLITE SAR-OPTICAL IMAGE FUSION FOR CLOU...
The dataset contains all data and code underlying the following chapters of the thesis: Chapter 2: Feature Enhancement Network for Cloud Removal in Optical Images by Fusing with... -
Position Estimation of Mobile Mapping Imaging Sensors Using Aerial Images
This project aims to improve the position estimation of mobile mapping platforms. Mobile Mapping (MM) is a technique to obtain geo-information on a large scale using sensors... -
Indoor Mobile Laser Scanning System
These files are to support the published journal paper about indoor backpack mobile mapping system. They include point cloud conversion, segmentation and SLAM codes. In... -
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... -
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... -
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 -
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... -
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... -
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... -
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:... -
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... -
Microdrone-based Indoor Mapping with Graph SLAM
Unmanned aerial vehicles offer a safe and fast approach to the production of three-dimensional spatial data on the surrounding space. In this article, we present a low-cost... -
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... -
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... -
Source code for the SECA symbolic execution engine
Source code accompanying the paper: Markus Klinik, Bernard van Gastel, Cynthia Kop, and Marko van Eekelen. Skylines for symbolic energy consumption analysis. In Proceedings of... -
Indoor Mobile Laser Scanning System
These files are to support the published journal paper about indoor backpack mobile mapping system. They include point cloud conversion, segmentation and SLAM codes. In... -
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...
