-
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... -
digicademy/xtriples: 1.4.0
A generic webservice to extract RDF statements from XML resources – https://xtriples.lod.academy (Release 1.4.0). -
Modelling of the percolation process
This application allows modelling percolation lattice in order to approximate the mean number of clusters, implemented with several different algorithms. -
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... -
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... -
Ups-Irit System #2 For Track1: Kmeans+Select
We run a k-means (k=100 clusters, L2 norm) on the baseline MFCCs (static, first and second derivative, 39-d) that are ZCA whitened on a per-file basis. We then re-estimate the... -
Refinement Kinds: Type-safe Programming with Practical Type-level Computation...
Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Artifact) This is the artifact for the paper Refinement Kinds: Type-safe Programming with... -
Arcticcritter
Arcticcritter is a prototype webbased data exploration and retrieval tool build to showcase visualization techniques and to enable user-driver demand analysis for... -
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. -
PathfinderTURB for CHM15K ceilometers
The PathfinderTURB algorithm is coded in MATLAB and requires a certain number of toolboxes. The version of PathfinderTURB available here is for any type of CHM15K, if someone... -
Understand your circuit by using Matlab and Cadence models– mixer-first recei...
When we need to understand design trade-offs, parameter dependencies and optimum parameter values in our design the easiest way is to model the system first-order behavior with... -
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... -
Miscellaneous scripts for cfMeDIP-Seq paper
Miscellaneous scripts for cfMeDIP-Seq paper that are called by R Markdown cfDNApaperCode_ReSubmission_Use.Rmd -
Greedy algorithm for Parametric Vlasov-Fokker-Planck System
Greedy algorithm for Parametric Vlasov-Fokker-Planck System (matlab) -
ccostr: An R package for estimating mean costs with censored data
An R package, ccostr, which calculates estimates of mean cost given censored data - Version 0.1.0 -
Greedy Optimal Control For Elliptic Problems And Its Application To Turnpike ...
Greedy optimal control for elliptic problems and its application to turnpike problems (matlab) -
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...