-
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... -
r37980778c78--b43541b1cc70854e9a00ca9b821c0e62
Initial release of MI-bicliques: Algorithms for enumerating maximal induced bicliques. MI-bicliques is a C++ software package implementing algorithms for efficiently enumerating... -
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,... -
r37980778c78--df6f4c2d732393e7174268128a30e75f
magicCalling v0.0.2 magicCalling is an R package for converting raw marker data into marker alleles. It implements two novel methods. The first is a model-based clustering... -
AggregaThor: Byzantine Machine Learning via Robust Gradient Aggregation
Artifacts required for the evaluation our sysML19' paper. The paper is co-authored by El Mahdi El Mhamdi and Rachid Guerraoui. -
Ocean model of Protactinium, Thorium and Particles (ProThorP)
ProThorP [pɹoθɔrp] is a model of thorium, protactinium and particles. More specifically, at the moment, it is a conceptual model that describes, and a numerical model that... -
r37980778c78--506998dae2df243872dc1d773d85b6e8
These MATLAB scripts were utilized to mill the tips from the crystal lattice point clouds that we exported from VESTA. For further details on the procedure see the corresponding... -
r37980778c78--fd1e488406f51ed37fa968e9adc56d09
Minor bugfixes and improvements of documentation. Added simplified porosity estimation. -- NORMAL -- -
r37980778c78--2329d80ce593536db4cba2c56d73e837
Development of a script (compliance_robust.Rmd) to calculate clustered robust standard errors for the study on compliance with extortion demands in Mexico using ENVE data. -
Magnetic tomography reconstruction algorithm
A gradient-based optimisation routine for the reconstruction of three-dimensional magnetisation structures from a set of single polarisation X-ray projections with... -
BART: version 0.2.08
Changes: new tools: index poly wshfl zexp index: generate indices poly: generate polynomial patterns (Siddharth Iyer) wshfl: wave-shuffling (Siddharth Iyer) zexp: replace...