-
win-ce/VirtualEnactment v2.0
New data model, new visualizer, new file handling (up- & download, server-side archives). Includes (not yet fully completed) onboarding mechanism -
r37980778c78--63d7c441460d9b3d81e5a9cb4698ad16
nf-core/atacseq v1.0.0 Initial release of nf-core ATAC-seq pipeline. nfcore/atacseq is a bioinformatics analysis pipeline used for ATAC-seq data. The pipeline is built using... -
Modeling of fractional-order integrators and differentiators using Tustin-bas...
Low-order approximators of fractional-order derivative and integrator This archive contains the Matlab scripts to calculate low-order approximator of fractional-order... -
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--cc19c5dce3f10b5d8d79c4a863fe5e9d
Research prototype tool for modular formal verification of C and Java programs By Bart Jacobs, Jan Smans, and Frank Piessens, with contributions by Pieter Agten, Cedric... -
r37980778c78--67f3f9a2055797f783f11b16fc9dafe2
Paper Abstract Abstract interpretation is a methodology for defining sound static analyses. Yet, building sound static analyses for modern programming languages is difficult,...
