-
Distributed rewiring model code
This repository contains the code that supports "Distributed rewiring model for complex networking: the effect of local rewiring rules on final structural properties" in PLOS... -
Epanet-Matlab Toolkit: Example Code (Based On Ccwi 2016 Publication)
Source-code for executing the case study in our CCWI 2016 paper -
COHESIVE Information System (CIS) Virtual Machine
Project JIP2 COHESIVE COHESIVE: One Health Structure In Europe Virtual Machine of CIS (Cohesive Information System) related to the Deliverable D-4.1.1 Implemented... -
A general proof certification framework for modal logic - Implementation
This archive contains the lambda-prolog implementation of a general proof certification framework for modal logic -
vcs_analysis_plugin.jar
This is the pre-compiled JAR file for the Visualization of Methods Changeability Based on VCS Data paper. Supported IntelliJ IDEA versions: 2018.3-2019.1. -
mbir: Magnitude-Based Inferences
Allows practitioners and researchers a wholesale approach for deriving magnitude-based inferences from raw data. A major goal of mbir is to programmatically detect... -
Source code for paper on recognising zero determinant strategies
Source code allowing for the computation of SSE aiming to measure how close to being zero determinant a strategy is. -
sebawild/nearly-optimal-mergesort-code: Experiments as discussed in paper
This release fixes the state of the code as used for the experiments in the accompanying paper. Use this release to reproduce the results from the paper. -
The Design and Implementation of the Wolfram Language Compiler
Benchmark source code for the CGO'20 paper -
Data Skills for Reproducible Science
The 2019-2020 version of the course book for the Data Skills for Reproducible Science MSc course in the Institute of Neuroscience and Psychology at the University of Glasgow. -
RadNet release for GMD
This contains the code for training and evaluates RadNet. There is also a pre-trained model included, which is used for the simulation in the paper. -
In network meta-analysis most of the information comes from indirect evidence...
This folder contains necessary files to reproduce calculations and plots of the article titled: In network meta-analysis most of the information comes from indirect evidence:... -
egeldenhuys/raptor: Prototype
Proof of concept for Forensic Detection of Rogue Access Points using Beacon Frame Hashes -
Codes for : Two Remarks on SOS with Rational Coefficients.
These are the codes (Magma, Python and GAP) used to obtain the data in the paper "Two Remaks on Sums of Squares with Rational Coefficients" by Claus Scheiderer and... -
A QSAT Benchmark Based on Vertex-Folkman Problems
The purpose of this project is to draw attention to a particular family of quantified Boolean formulas (QBFs) stemming from encodings of some vertex Folkman problems in extremal... -
Codes for paper "An Empirical Study of C++ Vulnerabilities in Crowd-Sourced C...
Codes for the paper "An Empirical Study of C++ Vulnerabilities in Crowd-Sourced Code Examples" -
Hierarchical Generalized Additive Models: an introduction with mgcv
This (in progress) repository includes the code, data, documentation, metadata and figure source files that accompany this research. -
romain-jacob/Baloo-Artifacts: Initial release
Artifact related to the original Baloo paper (EWSN 2019) -
poldracklab/fmriprep: 1.3.0.post3
Release Notes Hotfix release intended for Docker users, smoothing the experience of TemplateFlow when using the -u UID flag is necessary. CHANGES [ENH] TemplateFlow + docker...