-
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... -
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... -
Parameter Calculator
The software "Parameter Calculation" serves as a demonstration for calculating parameters as part of my bachelor thesis "Learning Analytics in Flipped Classroom -... -
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... -
R scripts for "Noise model estimation with application to gene expression"
R - scripts for the paper: Zhornikova P., Golyandina N., Spirov A. "Noise model estimation with application to gene expression" -
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) -
r37980778c78--80828214b4e815505a674200d8776c0e
Submission to the exact treedepth track of PACE 2020 by Tuukka Korhonen (University of Helsinki). The submission is based on an algorithm that branches on (small) minimal... -
r37980778c78--cc42002f0cf487bc120336f929c933a0
FMR-BT method for discrete-time fractional-order state space systems This archive contains the Matlab scripts of the FMR-BT method for discrete-time commensurate... -
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,... -
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... -
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... -
New integer-order approximations of discrete-time non-commensurate fractional...
(FMR-FW Cross) Fourier Model Reduction - Frequency Weighted Cross Gramian This archive contains the Matlab scripts of the FMR-FW cross Gramian method for discrete-time... -
r37980778c78--95fd8af8a4b276158009c75aeab8ec5a
This is the second public release for Application Skeleton - a tool to generate skeleton applications that mimic a real applications' parallel or distributed performance at a... -
Analysis scripts for: Insights about variation in meiosis from 31,228 human s...
This repository holds scripts that call crossovers, determine ploidy, and perform various other analyses for data generated via Sperm-seq. The methods from the... -
Model Order Reduction Of Commensurate Linear Discrete-Time Fractional-Order S...
Balanced Truncation Approximation / Singular Perturbation Approximation for commensurate fractional-order systems. This archive contains the Matlab scripts for calculation of... -
r37980778c78--92d32985e6f02e8a3c61082fe2783d11
StakeNet: Devise, Study and Utilize Social Networks using Stakeholder Information