-
DRYAD_7_MartinezAquino_et_al_PLOS1_lagrange_Margo_host2.lagrange
DRYAD_7_MartinezAquino_et_al_PLOS1_lagrange_Margo_host2.lagrange -
r37980778c78--22abebfa924cd643ca1c55cc716cbca4
MATLAB-code and documentation of a closed-loop cardiovascular model. -
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... -
The Finite-Element Sea ice-Ocean Model (FESOM)
The source code for the version 1.4 of FESOM. This is the exact version of the code used in the paper submitted to GMD journal with the MS No.: gmd-2017-136. -
Epanet-Matlab Toolkit: Example Code (Based On Ccwi 2016 Publication)
Source-code for executing the case study in our CCWI 2016 paper -
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--04e850dcd88f7f4083b586eeaab7aa97
The source code for the exact version of MetROMS-iceshelf used in the paper submitted to Geoscientific Model Development, manuscript number gmd-2017-268. -
r37980778c78--98126034b3f07da4ac4b76e920480a7f
This repository containes singularity containers used to impute 6 months GOSe in the production database of CENTER-TBI. -
r37980778c78--f4e65bf9b74e29978dd6fb8e29ba09d5
This is code to accompany the paper: Qin, X., Motley, M., LeVeque, R., Gonzalez, F., & Mueller, K. (2018). A comparison of a two-dimensional depth averaged flow model and a... -
bigSCale2
Framework for clustering, phenotyping, pseudotiming and inferring gene regulatory networks from single cell data. -
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--35b6420c5aa6a2709671b953e6084820
This data visualization project explores flight Issues and popular airlines. Flight Issues: Delay and Safety and Popular Airlines: Revenue and Passenger counts are visualized...