-
Singularity 2.5.2 - Linux application and environment containers for science
Containers are proving to be an extremely valuable technology for science; Singularity focuses container approaches, workflows, and methods to create portable environments... -
DEQ : Equivalence Checker for Deterministic Register Automata
Archive containing version of tools and benchmarks required to repeat empirical evaluation using the ATVA artifact evaluation virtual machine for the paper DEQ: Equivalence... -
H-1B Visa Petition Analysis from 2011 to 2016
This is an analysis of the non-immigrant temporary work visa, most commonly referred to as, H1-B visa. The dataset comprises an array of employers from across the United States... -
Depth-integrated model for temperate ice stream margins
Matlab and Elmer/Ice source code files for a cross-sectional ice stream model. To reproduce figures, unzip ODE_DATA.zip and ELMER_DATA.zip and run files figure3.m,... -
Predicting the fundamental thermal niche of crop pests and diseases in a chan...
This is code created by Rachel A Taylor, Leah R Johnson and Sadie J Ryan for the paper "Predicting the fundamental thermal niche of crop pests and diseases in a... -
Greedy Optimal Control For Elliptic Problems And Its Application To Turnpike ...
Greedy optimal control for elliptic problems and its application to turnpike problems (matlab) -
shannon-lab/zapdos: Initial Zapdos release
This is the initial release of Zapdos, a code meant for finite element modeling of plasma fluid equations. Demonstrated Zapdos capability includes: - Full coupling in one... -
Matlab code and simulated data for paper ""Convergence rates for distributed ...
This is a Matlab code and simulated Matlab data for the paper: D. Jakovetic, D. Bajovic, A.K. Sahu and S. Kar, “Convergence rates for distributed stochastic optimization... -
Co.Temp - Comparing Series Of Temperatures
This program aims to offer useful information on temperature series (i.e.: identify the biases in the daily maximum and minimum temperature, compare manual and automatic weather... -
Hermes reliable replication protocol -- ASPLOS'20 Artifact
This publicly available artifact contains a snap-shot of Hermes(KV) repository. The repository consists of the Hermes protocol specification (e.g., for model checking) and all... -
Phylogenetic model selection for non-stationary Markov processes
PhyloTree.zip archive with the implementation of Inherited Rate Matrix algorithm for model selection in molecular evolutionary analysis. Also the PhyloTreeManuscript.zip... -
logKDE: Computing Log-Transformed Kernel Density Estimates for Positive Data
Computes log-transformed kernel density estimates for positive data using a variety of kernels. It follows the methods described in Jones, Nguyen and McLachlan (2018)... -
Model Order Reduction Of Commensurate Linear Discrete-Time Fractional-Order S...
Balanced Truncation Approximation / Singular Perturbation Approximation for commensurate fractional-order systems. This archive contains the Matlab scripts for calculation of... -
GLAM-Workbench/queensland-state-archives
This repository includes notebooks exploring data from the Queensland State Archives.