-
Multi-Modal Earth Observation and Deep Learning for Urban Scene Understanding
📌 This repository is a collection of all sub-repositories each of which has been been developed to solve a specific objective set by this research. The repositories are... -
State Identification for Labeled Transition Systems with Inputs and Outputs: ...
The data set contains source code and an executable for computing adaptive distinguishing tests. Also, it contains dot-files representing the labeled transition systems of the... -
Comparing acoustic analyses of speech data collected remotely
This dataset contains the supporting data for the following article: Zhang, C., Jepson, K.M., Lohfink, G. & Arvaniti, A. (2021). Comparing acoustic analyses of speech data... -
The SPLENDID chewing detection challenge
This dataset contains approximately 60 hours of recordings from a prototype chewing detection system. The sensor signals include photoplethysmography (PPG) and processed audio... -
Categorical and Numeric Relations Dataset
Collaboratively constructed knowledge bases play an important role in information systems, but are essentially always incomplete. Thus, a large number of models has been... -
Renew Land Administration in the Netherlands: Lessons domain driven design
Between 2016 and 2018, The Netherlands’ Cadastre, Land Registry and Mapping Agency – in short, Kadaster – successfully renewed the information system supporting its deeds... -
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... -
UAVid-depth Dataset
The UAVid-depth dataset is created from public UAVid dataset (Lyu et al. 2020) which is a high-resolution UAV semantic segmentation dataset focusing on street scenes. The UAVid... -
Melanoma ML
CSV files (1-188).csv represent indexed images (quantization depth: 2^8) transformed from RGB (quantization depth: 2^24) dermoscopy images (digital camera: Minolta Dimage Z5... -
Source code for the symbolic TopHat execution engine
Source code accompanying the paper: Naus, N., Steenvoorden, T.J. & Klinik, M.A.A. (2019). A symbolic execution semantics for TopHat. In J. Stutterheim (Ed.), IFL'19: The 31st... -
Bushfire-related Tweets for France for 25 July 2017
Data were collected to derive locational information of bushfire. The data consist of 88,281 Tweets. Reproducibility is widely regarded as crucial for scientific studies, yet... -
Side-Channel Based Intrusion Detection for Industrial Control Systems: Side-C...
Raw EM traces that were used to generate the results used in 'Side-Channel Based Intrusion Detection for Industrial Control Systems' (doi:10.1007/978-3-319-99843-5_19) and... -
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... -
Post-Disaster Building Damage Detection from Earth Observation Imagery
The dataset consist of satellite and UAV imagery. The satellite imagery was derived from the xBD dataset (published by XView2 under the CC BY-NC-SA 4.0 license). The original... -
Examples from paper "Constraint Formalization for Automated Assessment of Ent...
Examples from paper Joosten, S., Roubtsova, E. E., & El Makki Haddouchi. (2022). Constraint Formalization for Automated Assessment of Enterprise Models. In ICEIS (2) (pp.... -
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... -
Source code for the interpreted mTask language
Source code accompanying the paper:M. Lubbers, P. Koopman, and R. Plasmeijer, ‘Interpreting Task Oriented Programs on Tiny Computers’, in Proceedings of the 31st Symposium on... -
Source code for the executable semantics presented in Master Thesis "Introduc...
DESCRIPTIONThe code presented in this repository is a formal representation of the semantics of a system level test run in a keyword-driven testing framework, Robot Framework.... -
Knowledge Graph
This Wikipedia entry describes the Knowledge Graph as a knowledge base by Google. It enhances the search engine's results by gathering information from a variety of sources. The...
