-
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... -
Flexible strategies for coping with rainfall variability : seasonal adjustmen...
One of the main manifestations of climate change is expected to be increased rainfall variability. How to deal with this in agriculture will be a major societal challenge. In... -
Producing Design Solution: Conceptual Design and Prototype Development
The data is the codes for the mobile application developed for the Chapter 5 of the thesis. The app is named GeoFARA, making use of both maps and augmented reality to support... -
A suite of models to support the quantitative assessment of spread in pest ri...
In the frame of the EU project PRATIQUE (KBBE-2007-212459 Enhancements of pest risk analysis techniques) a suite of models was developed to support the quantitative assessment... -
A graphical user interface for estimating the gas hydrate stability in marine...
Identifying the region in sediments where hydrates can be stable is key to understand the evolution of gas hydrate systems. CAGEHYD, a new graphical user interface, simplifies... -
Justice in ICC OTP Public Communications
This database contains all press releases and public statements placed on the ICC website's 'News' section and attributed to the Office of the Prosecutor between 24 April 2003... -
Spatial Planning, Urban Growth, and Flooding-Contrasting Urban Processes in K...
PhD Research: Urban growth is a factor known to intensify local flooding. By orienting urban development, land use planning may contribute to reduce flood risk through... -
Lokale democratie en bestuurlijke vernieuwing 1991
Search to explain the low voting participation in municipal elections. Duration of residence in community / location of friends and relatives / political participation with... -
Digitaal Basisbestand Paleogeografie van de Rijn-Maas Delta
ENGLISH below SAMENVATTING Op de Universiteit Utrecht wordt sinds 1999 een GIS bijgehouden waarin de reconstructie van het riviernetwerk door de tijd wordt bijgehouden (K.M.... -
FAST model of the SWE-CPP semi-submersible floating wind turbine platform for...
This dataset includes all files necessary to build an OpenFAST v1.0.0 platform model. The wind turbine definition files for OpenFAST of the present repository are taken from [2]... -
FAST model of the SWE-TripleSpar floating wind turbine platform for the DTU 1...
The present dataset contains the OpenFAST input files for the TripleSpar floating wind turbine platform that was developed in the European projects INNWIND.EU and LIFES50+. In... -
Source code for: UMAT subroutine for material modelling of timber with Abaqus
This repository contains a UMAT subroutine for modelling orthotropic behaviour with brittle failure for tension in the x-direction, ellipsoid elastoplastic behaviour for... -
Source code for: geometrically and materially nonlinear numerical analysis of...
This repository contains the python input code for an automated geometrically and materially nonlinear numerical analysis of timber beam-columns with Abaqus/CAE. The structural... -
ABxM.DistributedRobotics.RP19: Agent-Based Models for a Modular Collective Ro...
ABxM.DistributedRobotics.RP19 is an add-on to ABxM.Core for agent-based modelling of a collective robotic construction (CRC) system developed in the context of Research Project... -
UNITE Toolbox
UNITE Toolbox Unified diagnostic evaluation of scientific models based on information theory The UNITE Toolbox is a Python library for incorporating Information Theory into data... -
ABxM.DistributedRobotics.RADr: Agent-based Design and Control of multiple Roa...
ABxM.DistributedRobotics.RADr is an add-on to ABxM.Core for agent-based design and control of multiple Roaming Autonomous Distributed robots (RADr) that assemble hexagonal... -
Code for From Shapes to Shapes
This dataset contains the implementation code for an algorithm to infer SHACL shapes that the graph returned by an SPARQL CONSTRUCT query must satisfy if the input satisfies a... -
ABxM.PlateStructures: Agent-based Architectural Design of Plate Structures
ABxM.PlateStructures is an add-on to ABxM.Core for agent-based design and development of plate structures, such as segmented timber shells. The add-on contains various agent... -
BHoM to bhOWL converter
The dataset is the release version v2.0.0 of the BHoM to bhOWL converter, which helps convert BHoM data to a knowledge graph in any software BHoM supports. BHoM (The Buildings... -
Replication Data for: "A flavin-inspired covalent organic framework for photo...
Covalent organic frameworks (COFs) offer a number of key properties that predestine them to be used as heterogeneous photocatalysts, including intrinsic porosity, long-range...
