-
DRYAD_7_MartinezAquino_et_al_PLOS1_lagrange_Margo_host2.lagrange
DRYAD_7_MartinezAquino_et_al_PLOS1_lagrange_Margo_host2.lagrange -
r37980778c78--6e4518eaeb2f700670d248c517ddd2b6
This is an artifact evaluation submission for the paper: "Using Symmetry Transformations in Equivariant Dynamical Systems for their Safety Verification" that will be published... -
Code/Data Release: Fast Multipole Method results, Development Of A Performanc...
This archive contains the material required to reproduce the results for the PhD thesis "Development Of A Performance-Portable Framework For Atomistic Simulations". -
Pulsatile Cochlear Implant Vocoder: Version 1.0
This is version 1.0 of the pulsatile Cochlear Implant Vocoder. Contains research ACE and CIS coding strategies, alongside with electrode locations typically found in these... -
r37980778c78--166d87b2e63dac16c146ade7d98ca846
This is the accompanying simulation source code for the paper. This Python package is meant as a convenience layer for the underlying QuTiP to get our readers started in doing... -
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... -
A general proof certification framework for modal logic - Implementation
This archive contains the lambda-prolog implementation of a general proof certification framework for modal logic -
Parameter Calculator
The software "Parameter Calculation" serves as a demonstration for calculating parameters as part of my bachelor thesis "Learning Analytics in Flipped Classroom -... -
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... -
r37980778c78--83eeb9e883cdde064a3a12cf066cb233
This repository contains codes for grey-box identification of nonlinear dynamical systems using TensorFlow and Keras. The core components are a set of custom Keras layers. The... -
r37980778c78--4995558daabc00f8992f3b85e9ef74e2
The artifact for Staged Abstract Interpreters (OOPSLA 2019). -
jpmesh: Utilities for Japanese Mesh Code
Helpful functions for using mesh code (80km to 125m) data in Japan. Visualize mesh code using 'ggplot2' and 'leaflet', etc. -
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... -
Code supplementary to the paper "Spectral Quantum Tomography"
Supplement to the paper containing an Ipython notebook with a python implementation of the matrix pencil algorithm. See also the associated .csv file with data... -
greenelab/continuous_analysis: Continuous Analysis v1.0
This release is associated with the in press version of the continuous analysis manuscript. -
FESOM 2.0 computation of meridional overturning and barotropic streamfunction...
The FESOM2.0 model code which was used in the article "Simple algorithms to compute meridional overturning and barotropic streamfunction on unstructured... -
Software for the one stage cycloidal gearbox optimization using the Steepest ...
Software for the one stage cycloidal gear optimization using the Steepest Descent Method and Levenberg-Marquardt algorithm. MATLAB files for the results presented in the... -
egeldenhuys/raptor: Prototype
Proof of concept for Forensic Detection of Rogue Access Points using Beacon Frame Hashes -
Greedy algorithm for Parametric Vlasov-Fokker-Planck System
Greedy algorithm for Parametric Vlasov-Fokker-Planck System (matlab)