-
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". -
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... -
r37980778c78--cd082471f5744116ab93c0b42ad4ee24
Interim release with as its main feature the map_sympy command which makes it much easier to apply sympy algorithms to component expressions. -
r37980778c78--c420bff61c63dd1e270506be7052f276
Implementation of RESTART algorithm for Hamming Distance task -
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... -
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... -
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... -
r37980778c78--f9da7e15e9f0c3741e5e3aa8626d7eca
Python notebooks containing all the analysis code used in the publication in ACP, "An update on global atmospheric ice estimates from observations and reanalyses" by David Ian... -
r37980778c78--0c67b37d25a0a5d7f45afdf82699a80d
Flux is library for machine learning (ML), written using the numerical computing language Julia. The package allows models to be written using Julia's simple mathematical... -
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). -
Arcticcritter
Arcticcritter is a prototype webbased data exploration and retrieval tool build to showcase visualization techniques and to enable user-driver demand analysis for... -
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.