-
Code from the paper "Counterexample-guided Cartesian Abstraction Refinement f...
The zipfile contains revision 837b876fa51d of the Fast Downward planning system (http://fast-downward.org). The code for counterexample-guided Cartesian abstraction... -
AudioMoth-Firmware-Basic-1.1.0
Basic firmware for AudioMoth devices, usable in conjunction with the AudioMoth-Project framework. Compatible with the AudioMoth Configuration app. For usage instructions,... -
The GIS4WRF Plugin
GIS4WRF is a free and open source QGIS plug-in to help researchers and practitioners with their Advanced Research Weather Research and Forecasting modelling... -
BICF Cellranger mkfastq Analysis Workflow
BICF Cellranger mkfastq Analysis Workflow is a wrapper for the CellRanger mkfastq tool from 10x Genomics (which uses Illumina's bcl2fastq). It was developed by... -
Multi-attribute task builder
We have created the Multi-Attribute Decision (MAD) builder for researchers to help to design a Mouselab task in a browser-based experiment. The MAD builder is... -
The GIS4WRF Plugin
GIS4WRF is a free and open source QGIS plug-in to help researchers and practitioners with their Advanced Research Weather Research and Forecasting modelling... -
The GIS4WRF Plugin
GIS4WRF is a free and open source QGIS plug-in to help researchers and practitioners with their Advanced Research Weather Research and Forecasting modelling... -
The GIS4WRF Plugin
GIS4WRF is a free and open source QGIS plug-in to help researchers and practitioners with their Advanced Research Weather Research and Forecasting modelling... -
The GIS4WRF Plugin
GIS4WRF is a free and open source QGIS plug-in to help researchers and practitioners with their Advanced Research Weather Research and Forecasting modelling... -
Code from the paper "Subset-Saturated Cost Partitioning for Optimal Classical...
The zipfile contains an extended version of the Fast Downward planning system (http://fast-downward.org). The code for subset-saturated cost partitioning can be found in the...