-
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... -
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... -
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) -
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... -
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,... -
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"