-
Tri-linear model for out-of-plane loaded unreinforced masonry walls
This repository includes the Matlab files used for the validation of a tri-linear model developed for out-of-plane loaded unreinforced masonry walls against shake table... -
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... -
r37980778c78--f1268b13eef592a87fa1014608c46099
Standalone implementation of the Limited Relative Error algorithm. Includes a Python wrapper. -
Fast-Randomized-Iteration-FRI-: improved code
A simple example in C++ of FRI applied to computing the dominant eigenvalue of a matrix. -
r37980778c78--8b3c814f97d2f2909b4415c6145bfdf2
Scripts for running spectral nudging of multiple models Can be applied on any atmosphere general circulation models (AGCMs) Current status: CAM4/CAM5: implemented. ECHAM6: work... -
ICA_AROMA
ICA-AROMA (i.e. Independent Component Analyis-based Automatic Removal Of Motion Artifacts) is a data-driven method to identify and remove motion-related independent components... -
r37980778c78--c0e8ade04ff9edcb912ed78c9185a8e6
Code to reproduce examples for the paper "Optimal monotonicity--preserving perturbations of a given Runge-Kutta method" by Inmaculada HIgueras, David I. Ketcheson, and Tihamer... -
Shortcut Formula - Confusion Method - Matlab Implementation
This package provides a Matlab Implementation of a shortcut formula published at CHES 2012 ("A Statistical Model for DPA with Novel Algorithmic Confusion Analysis", Yunsi Fei,... -
r37980778c78--c2fa0757cda2f6eb8e5f45deac469b6c
The zipfile contains 4 pieces of software implemented as a part of the PhD Thesis "Certifying Planning Systems: Witnesses for Unsolvability". 1) verifier certificate: A... -
Supplemental Materials for "Entropy Rain: Dilution and Compression of Thermal...
Enclosed is the source code used to run the simulations in the paper, "Entropy Rain: Dilution and Compression of Thermals in Stratified Domains," (Anders, Lecoanet,... -
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" -
r37980778c78--7b9f98c9852f78d4fd93c081c5e6f282
Helpful functions for using mesh code (80km to 125m) data in Japan. Visualize mesh code using 'ggplot2' and 'leaflet', etc. -
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... -
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... -
r37980778c78--5b792ec8dd64ead6952527694959cfc6
A description through graphics of the latest available data for military, educational and healthcare spending accross the G20 countries. -
Artifact Evaluation for the Optimization-Driven Incremental Inline Substituti...
This evaluation reproduces the comparison between GraalVM’s new optimization-driven priority-based inliner, GraalVM’s legacy (open-source) greedy inliner, and the...