cometadata/datacite-titles-descriptions-related-identifiers huggingface dataset:
DOI: 10.17026/dans-xu9-4wjm
title: Dataset belonging to CoHLA: Rapid Co-simulation Construction

description: 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 dissertation, including the models that were used for the experiments. More information, resources and documentation on CoHLA can be found online: https://cohla.nl/DIRECTORIES- CoHLA: Contains the CoHLA libraries, documentation and sources for the DSL, including a sample project.- CoHLA-projects: Contains a number of projects for CoHLA that were used througout the disseration. These are grouped per chapter.- Lighting-DSL: Contains the sources for the specification and generation of a co-simulation of a smart lighting system as described in the dissertation and scalability papers. The README contains more information on the DSL.- Connector-DSL: Contains the sources for the Connector-DSL that was developed for connecting two components according to a specified protocol. Very basic documentation is included in the README.SHORT SUMMARYCyber-physical systems (CPSs) such as airplanes, cars and industrial production line robots are becoming ever more important in both industry and our everyday lives. These systems are highly complex systems that are constructed of many components from a variety of disciplines.Every discipline has its own development methods and tools and, in the end, all separately developed components should work together as one system. Using a model-based development approach, all disciplines develop component models using their own tools and development cycles.While these individual component models may be simulated to verify their behaviour, it is hard to simulate them together (co-simulation) to get a better understanding of the designed system as a whole.This dissertation introduces a domain-specific language called CoHLA that supports existing model-based methodologies for the design of CPSs to rapidly construct a co-simulation of the system under design. Using co-simulation during system design allows for early system analysis and the development of system-level features. By generating source code for the co-simulations, CoHLA decreases the time needed to develop and maintain a co-simulation.
DOI: 10.17026/dans-x4d-ew2n
title: Verwijzing naar de data van: Nieuwe Kaart van Nederland

description: De Nieuwe Kaart van Nederland is hét totaaloverzicht van geplande ruimtelijke ontwikkelingen en functionele veranderingen in Nederland. Het gaat om een integraal overzicht waarin elk type functie/ thema gestructureerd ondergebracht wordt (wonen, werken, water, natuur, infrastructuur).De Nieuwe Kaart richt zich op toekomstige ontwikkelingen; nieuwe plannen worden continu opgevraagd, gerealiseerde plannen worden verwijderd van de Nieuwe Kaart.De Nieuwe Kaart bevat tevens een schat aan achterliggende plangegevens. Deze informatie kunt u vinden door op een willekeurig plan op de kaart te klikken. Door voor alle plannen steeds een vaststaande set gegevens te verzamelen, kan de Nieuwe Kaart uitspraken doen over bijvoorbeeld het aantal geplande woningen in het Groene Hart, of het aantal hectares nieuw natuurgebied in Gelderland. De Nieuwe Kaart is niet alleen een kaartbeeld, maar ook een analyse-instrument.Het bestand kan gedownload worden vanaf de website van het NIROV.
DOI: 10.17026/dans-zq3-x2ck
title: Data underlying the publication: The effect of bovine viral diarrhea virus introduction on milk production of Dutch dairy herds

description: Supplemental material for the paper titled The impact of bovine viral diarrhea virus introduction on milk production of Dutch dairy herds.
DOI: 10.17026/dans-23p-7uuu
title: Predicting criminal recidivism using registration data

description: These data are from two papers that research the predictability of general, violent and sexual recidivism using registration data. It consists of 2005/2006 conviction cohorts and includes both binary and survival outcome variants. The subsamples for training and testing sets are included so the data is independent of random number generation implementations.
DOI: 10.17026/dans-zbd-hfw7
title: Deprivation pockets through the lens of convolutional neural networks

description: This dataset contains data used for training and validating deep learning models used in the paper:Wang, J., Kuffer, M., Roy, D. and Pfeffer, K., 2019. Deprivation pockets through the lens of convolutional neural networks. Remote sensing of environment, 234, p.111448.
DOI: 10.17026/dans-29z-wqen
title: Supplementary Material to "Upscaling peatland mapping with drone-derived imagery: impact of spatial resolution and vegetation characteristics "

description: This file contains all supplementary material related to the manuscript "Upscaling peatland mapping with drone-derived imagery: impact of spatial resolution and vegetation characteristics", which is to be published in GIScience and Remote Sensing
DOI: 10.17026/dans-zwr-z99u
title: Poisson-Gamma Mixture Spatially Varying Coefficient Modeling of Small-Area Intestinal Parasites Infection

description: This dataset contains the data for the article: Poisson-Gamma Mixture Spatially Varying Coefficient Modeling of Small-Area Intestinal Parasites Infection.The dataset consists of a single shape file which contains the intestinal parasites counts and population for 170 districts.There are 14 coulmns in the table.The column "ID" represents the district IDThe column "p_2010",..., "p_2014" represent the population for the years 2010,...,2014The column "int_2010",...,"int_2014" represent the disease cases for the years 2010,...,2014
DOI: 10.17026/dans-zks-p82q
title: Source code for the TopHat implementation

description: Source code accompanying the paper:Steenvoorden, T.J., Naus, N. & Klinik, M. (2019). TopHat: A formal foundation for task-oriented programming. In E. Komendantskaya (Ed.), PPDP '19: Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019, Porto, Portugal — October 07 - 09, 2019 (pp. 1-13). New York: ACMDESCRIPTIONTopHat is a formalisation of Task Oriented Programming.This is the Haskell implementation of the language.CONTENTS- The language is specified as a GADT in Data.Task- Semantics, including all observations, can be found in Data.Task.Run- Main includes a couple of examples which can be executed.- More information on how to compile and run this program can be found in README.txtSHORT SUMMARYSoftware that models how people work is omnipresent in today's society. Current languages and frameworks often focus on usability by non-programmers, sacrificing flexibility and high level abstraction. Task-oriented programming (TOP) is a programming paradigm that aims to provide the desired level of abstraction while still being expressive enough to describe real world collaboration. It prescribes a declarative programming style to specify multi-user workflows. Workflows can be higher-order. They communicate through typed values on a local and global level. Such specifications can be turned into interactive applications for different platforms, supporting collaboration during execution. TOP has been around for more than a decade, in the forms of iTasks and mTasks, which are tailored for real-world usability. So far, it has not been given a formalisation which is suitable for formal reasoning.In this paper we give a description of the TOP paradigm and then decompose its rich features into elementary language elements, which makes them suitable for formal treatment. We use the simply typed lambda-calculus, extended with pairs and references, as a base language. On top of this language, we develop TopHat, a language for modular interactive workflows. We describe TopHat by means of a layered semantics. These layers consist of multiple big-step evaluations on expressions, and two labelled transition systems, handling user inputs.With TopHat we prepare a way to formally reason about TOP languages and programs. This approach allows for comparison with other work in the field. We have implemented the semantic rules of TopHat in Haskell, and the task layer on top of the iTasks framework. This shows that our approach is feasible, and lets us demonstrate the concepts by means of illustrative case studies. TOP has been applied in projects with the Dutch coast guard, tax office, and navy. Our work matters because formal program verification is important for mission-critical software, especially for systems with concurrency.
DOI: 10.17026/dans-zub-xac3
title: Source code for the symbolic TopHat execution engine

description: 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 Symposium on Implementationand Application of Functional Languages, National University of Singapore, 25th – 27th September 2019 (pp. 15-44). S.l.: ACMDESCRIPTIONThis repo contains a symbolic execution engine for [TopHat](https://github.com/timjs/tophat),a formalisation of Task-Oriented Programming.The code here is a deep embedding of the entire TopHat language,including the underlying lambda calculus,on which TopHat is built.CONTENTS- src: contains the source code of symbolic TopHat- package.yaml, stack.yaml: project files for compiling with stack- test: output of the Flight and Tax test workflows, see the paper fordocumentation on them.- More information on how to compile and run this program can be found in README.txtSHORT SUMMARYTask-Oriented Programming (TOP) is a programming paradigm that allows declarative specification of workflows. TOP is typically used in domains where functional correctness is essential, and where failure can have financial or strategical consequences. In this paper we aim to make formal verification of software written in TOP easier. Currently, only testing is used to verify that programs behave as intended. We use symbolic execution to guarantee that no aberrant behaviour can occur. In previous work we presented TopHat, a formal language that implements the core aspects of TOP. In this paper we develop a symbolic execution semantics for TopHat. Symbolic execution allows to prove that a given property holds for all possible execution paths of TopHat programs.We show that the symbolic execution semantics is consistent with the original TopHat semantics, by proving soundness and completeness. We present an implementation of the symbolic execution semantics in Haskell. By running example programs, we validate our approach. This work represents a step forward in the formal verification of TOP software.
DOI: 10.17026/dans-z6n-dxq6
title: Source code and data relevant for the paper 'Model Learning and Model Checking of SSH Implementations'

description: The dataset contains source code and data relevant for the paper "Model Learning and Model Checking of SSH Implementations".Paper url: https://dl.acm.org/citation.cfm?id=3092289PDF url: https://www.cs.ru.nl/E.Poll/papers/learning_ssh.pdfIn this work, we use automata learning with abstraction to infer models of 3 SSH server implementations (BitVise, DropBear, OpenSSH). We then verify properties on these models using the NuSMV model checker. The dataset comprises the software components of our experimental setup apart from the actual implementations, some useful scripts and the learned models and associated experimental logs.In more concrete terms, the dataset contains:- the learner (setup) implementation - Java code for the setup built around LearnLib to perform learning over sockets- the mapper implementation - Python code for the altered Paramiko SSH implementation- experimental results - learned Mealy Machine models for 3 SSH server implementations (BitVise, OpenSSH, DropBear)- experimental data - contain additional information not included in experimental results- various Python scripts- .dot to .smv converter - Java program for converting Mealy Machine .dot models to .smv model- .dot beautifying utility - Python program for making models more readable by merging edges between the same nodesWhat can be re-used:- the learner setup (connect to the learner to a different system over sockets)- Mealy Machine .dot file to NuSMV conversion (convert any .dot to a .smv file suitable for NuSMV, which can be used in model checking)- Mealy Machine .dot models for 3 SSH implementations (if one wants to do something with the learned models)- beautifying Python program (if one wants to make complex .dot files more readable)Also, the dataset is suitable for one who wants to try out/expand learning for SSH.Paper Abstract: We apply model learning on three SSH implementations to infer state machine models, and then use model checking to verify that these models satisfy basic security properties and conform to the RFCs. Our analysis showed that all tested SSH server models satisfy the stated security properties, but uncovered several violations of the standard.
DOI: 10.17026/dans-xz4-2tut
title: OpenLISEM Hazard 2.0 alpha

description: The OpenLISEM Hazard 2.0 alpha version. A open-source multi-hazard modelling tool with a semi-structured mass movement model.
DOI: 10.17026/dans-zjv-87yz
title: Data from employment recruiting agency

description: Data for process mining for r analysing performance-based business rules of the application process at an employment agency.
DOI: 10.17026/dans-xcy-gza5
title: Supplementary data of 'Sentinel-1 soil moisture content retrieval over meadows using a physically based scattering model' (updated)

description: The data and supplementary figures of the study 'Soil moisture content retrieval over meadows from Sentinel-1 and Sentinel-2 data using physically based scattering models?, of which the scientific manuscript is under review.The dataset includes for 21 study fields:- Tables of LAI estimates derived from Sentinel-2 satellite imagery. Sentinel-2 LAI maps were generated by VITO and obtained from the VITO Product Distribution Portal. We processed the maps to field-scale LAI estimates. This contains modified Copernicus Sentinel data [2015-2019].- Tables of soil moisture content retrievals from Sentinel-1 satellite observations, obtained without vegetation correction and with a vegetation correction. This contains modified Copernicus Sentinel data [2015-2018].- Time series figures of the soil moisture content retrievals and references.- Table with coordinates of the study fields.Replacement note: this dataset is a replacement of the dataset of 2021-11-17 (see description details). In the dataset of 2021-11-17, CDF matching was applied to the Sentinel-2 LAI estimates before the retrieval of soil moisture content from Sentinel-1. This replacement version contains the soil moisture content retrievals from Sentinel-1 obtained without applying CDF matching to the Sentinel-2 LAI estimates.
DOI: 10.17026/dans-2zz-kpka
title: Historic flood level inventory from epigraphic marks in the Rhine river delta

description: This dataset presents historic flood levels marked on buildings and other structures in the Rhine river delta. These flood marks provide maximum water levels across the region from the late sixteenth to late twentieth centuries, complementing instrumental measurement records in both space and time. Besides the locations (RD, spatial accuracy ~1 m) and elevations (NAP, vertical accuracy ~0.03 m), the dataset provides the epigraphic inscriptions of the marks and relevant information (type, age) on the constructions holding the marks. In total, the inventory contains 131 flood marks from 46 locations spread across 32 towns. The data provide tangible evidence of historic flood events and are useful in quantitative analyses of past flood patterns and magnitudes in the Rhine river delta.
DOI: 10.17026/dans-x4b-h89k
title: Stability Analysis of Unsaturated Slopes under Elevated Temperatures

description: Unsaturated slopes subjected to elevated temperatures due to natural phenomena and human-induced activities.An analytical framework to determine the factor of safety of slopes under steady flow and temperature conditions. Nonisothermal models for soil water retention curve and effective stress are incorporated into the analytical framework.
DOI: 10.17026/dans-xfs-3anu
title: Supplementary data of 'Sentinel-1 soil moisture content and its uncertainty over sparsely vegetated fields'

description: The data that were used for the study presented in 'Sentinel-1 soil moisture content and its uncertainty over sparsely vegetated fields'.The dataset contains:1. Soil moisture content field measurements and station measurements.2. Sentinel-1 backscatter observations and soil moisture content retrievals.
DOI: 10.17026/dans-xb8-efke
title: Google Earth Engine Sentinel-3 OLCI Level-1 Dataset Deviates from the Original Data: Causes and Consequences

description: The dataset used in the paper: https://doi.org/10.3390/rs13061098See readme.md for detailed info on files.
DOI: 10.17026/dans-xtg-n4t3
title: Development of Local Domain Models for customary land tenure regimes and partial evaluation of its use in SmartSkeMa software

description: Data consists of domain models of land tenure relations and the entities involved implemented in OWL, and raw data from an evaluation of the SmartSkeMa system which uses these domain models. This data was used for the publication: " M. Chipofya et al. 'Local Domain Models for Land Tenure Documentation and their Interpretation into the LADM'. Land Use Policy, 2020 "
DOI: 10.17026/dans-zde-n4a9
title: Debris, rubble piles and facade damage detection using multi-resolution optical remote sensing imagery

description: The image data in this repository was the input data for the research of the Ph.D. thesis with the title: Debris, rubble piles and facade damage detection using multi-resolution optical remote sensing imagery. This was performed within the INACHUS (EU, grant 607522) project. This repository depicts optical remote sensing images depicting post-earthquake locations and controlled demolitions. Image data collected from three different platforms: satellite, aerial manned and unmanned aerial vehicles are present in this repository.
DOI: 10.17026/dans-zcf-4ydm
title: its4land SmartSkeMa data

description: Data contains scanned images of sketch maps from different locations, an image file of visual symbols used for stamp-based sketching, and the SmartSkeMa domain models.
DOI: 10.17026/dans-zcu-nzdp
title: Coacervate-based protocells: integration of life-like properties in a droplet

description: The formation of compartments with life-like properties from abiotic origins is one of the most drastic, yet least-understood transitions in the emergence of cellular life. Similarities between the protoplasm of modern cells and liquiddroplets formed by condensation of oppositely charged macromolecules led Oparin to postulate in the 1930s that primitive protocells might have formed by coacervation. However, in order to proliferate, protocells must be stable,preserve their identity, and be capable of fuelled growth and division. At the time, it was not clear how passive coacervate droplets made from large polymers could fulfil these requirements. Recent advances in systems chemistry and physics of active droplets have revived the idea that various life-like properties could be integrated in a single droplet. The challenges on the way for coacervates to become viable protocells are being addressed one by one, and coacervate systems with increasing complexity and emergent properties are being developed. Here, we review the recent developments aimed at providing coacervates with the characteristics required to become self-sustained. Our discussion includes the incorporation of genetic material in coacervates, their stabilization by interfacial membrane assembly, and ways to achieve growth and division by fuelled reactions. From a distance, coacervates may be far from the complexity of modern cells, but they represent a promising systems chemistry approach to create protocells with properties beyond the sum of their parts [1].
DOI: 10.17026/dans-x9m-dwjr
title: On the Assessment of Non-Local Multi-Looking in Detection of Persistent Scatterers Using SAR Tomography

description: Synthetic aperture radar (SAR) tomography has shown great potential in multi-dimensional monitoring of urban infrastructures and detection of their possible slow deformations. Along this line, undeniable improvements in SAR tomography (TomoSAR) detection framework of multiple permanent scatterers (PSs) have been observed by the use of a multi-looking operation that is the necessity for data’s covariance matrix estimation. This paper attempts to further analyze the impact of a robust multi-looking operation in TomoSAR PS detection framework and assess the challenging issues that exist in the estimation of the covariance matrix of large stack data obtained from long interferometric time series acquisition. The analyses evaluate the performance of non-local covariance matrix estimation approaches in PS detection framework using the super-resolution multi-looked Generalized Likelihood Ratio Test (GLRT). Experimental results of multi-looking impact assessment are provided using two datasets acquired by COSMO-SkyMED (CSK) and TerraSAR-X (TSX) over Tehran, Iran, and Toulouse, France, respectively. The results highlight that non-local estimation of the sample covariance matrix allows revealing the presence of the scatterers, that may not be detectable using the conventional local-based framework
DOI: 10.17026/dans-znv-sttu
title: Global Sensitivity Analysis of the SCOPE Model in Sentinel-3 Bands: Thermal Domain Focus

description: The research was done on synthetic data, i.e. the data was generated by models: RTMo, 6S, SCOPE and SCOPE emulator, based on gaussian process regression (gp_emulator). The results were analyzed with SALib Python package.For the sake of storage space we do not provide intermediate results. The provided data is input parameters, final results (top of atmosphere (TOC) radiance in optical domain, top of canopy (TOC) thermal radiance, land surface temperature (LST)) and sensitivity indices.Should you have any interest in the intermediate data (TOC reflectance factors, 6S atmospheric coefficients), please, contact the corresponding author e.prikaziuk@utwente.nl.Links to all software packages are available in the article and are also duplicated here.SCOPE v.1.73https://github.com/Christiaanvandertol/SCOPEdocs: https://scope-model.rtfd.ioRTMo retrieval algorithm https://github.com/Prikaziuk/retrieval_rtmodocs: https://scope-model.rtfd.io/en/latest/retrieval.htmlPy6Shttps://github.com/robintw/Py6Sdocs: https://py6s.readthedocs.ioSALibhttps://github.com/SALib/SALibdocs: https://salib.rtfd.iogp_emulatorhttps://github.com/jgomezdans/gp_emulatordocs: https://gp-emulator.rtfd.io
DOI: 10.17026/dans-2zc-7w88
title: Data underlying the manuscript: The effect of new bovine viral diarrhea virus (BVDV) introduction on somatic cell count, calving interval, culling rate and calf mortality of dairy herds in the Dutch BVDV-free program

description: Supplemental material for the paper titled The effect of new bovine viral diarrhea virus (BVDV) introduction on somatic cell count, calving interval, culling rate and calf mortality of dairy herds in the Dutch BVDV-free program.
DOI: 10.17026/dans-266-ws85
title: Data underlying the publication: Temporal complementarity drives species combinability in strip intercropping in the Netherlands

description: Data has been presented in Figs. 4 - 8 in the publication.Ten treatments have been indicated by treatment codes as MM for maize monocrop, WW for wheat monocrop, BB for faba bean monocrop, PP for pea monocrop, MW for maize/wheat intercrop, MB for maize/faba bean intercrop, MP for maize/pea intercrop, BW for faba bean/wheat intercrop, BP for faba bean/pea intercrop, and WP for wheat/pea intercrop.