100 items found

Types: software Tags: 19999 Mathematical Sciences not elsewhere classified Space Science

Filter Results
  • software

    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...
  • software

    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...
  • software

    r37980778c78--f1268b13eef592a87fa1014608c46099

    Standalone implementation of the Limited Relative Error algorithm. Includes a Python wrapper.
  • software

    Fast-Randomized-Iteration-FRI-: improved code

    A simple example in C++ of FRI applied to computing the dominant eigenvalue of a matrix.
  • software

    ProPlot

    🎨 A lightweight matplotlib wrapper for making beautiful, publication-quality graphics
  • software

    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...
  • software

    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...
  • software

    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...
  • software

    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,...
  • software

    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...
  • software

    jeremyrcoyle/origami v0.8

    origami - Cross-validation Framework
  • software

    r37980778c78--9bcf99a3f781c9b55535f7fb93b8ef69

    Artifact for Paper 143 at CC 2020.
  • software

    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,...
  • software

    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"
  • software

    r37980778c78--7b9f98c9852f78d4fd93c081c5e6f282

    Helpful functions for using mesh code (80km to 125m) data in Japan. Visualize mesh code using 'ggplot2' and 'leaflet', etc.
  • software

    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...
  • software

    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...
  • software

    r37980778c78--5b792ec8dd64ead6952527694959cfc6

    A description through graphics of the latest available data for military, educational and healthcare spending accross the G20 countries. 
  • software

    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...