-
RECAP Platform
RECAP is a commercial platform that integrates satellite remote sensing and user-generated data into added value services, co-designed and co-created by public authorities,... -
Supplemental Material for Astrophysical Journal paper "Improved Coupling of H...
A Jupyter notebook containing several derivations of equations in the paper "Improved Coupling of Hydrodynamics and Nuclear Reactions via Spectral Deferred Corrections" -
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 -
Poly-(3-hexylthiophene) Model and Code for Molecular Dynamic Simulations
Here we present files necessary for simulating our united-atom poly-(3-hexylthiophene) model in molecular dynamics. The input file "P3HT_Blends.py" acts a wrapper... -
Parameter Calculator
The software "Parameter Calculation" serves as a demonstration for calculating parameters as part of my bachelor thesis "Learning Analytics in Flipped Classroom -... -
Decoding CUDA Binary artifact
This is a software artifact for our paper "Decoding CUDA Binary", published in CGO'19 (International Symposium on Code Generation and Optimization). -
github.com/denis-yuen/bcellmagic
B cell repertoire analysis pipeline with immcantation framework. Usage: The typical command for running the pipeline is as follows: nextflow run... -
RFixer: a tool for repairing complex regular expressions using examples
This artifact contains the virtual machine image that has RFixer installed. RFixer is a tool for repairing complex regular expressions using examples. Given an incorrect... -
Acc_Mcc
This script compute the ACC and MCC using a txt file containing the values of the confusion matrix (FP,FN,TP,TN). -
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,... -
face feature detection for gaze estimation
This software uses dlib facilities ( http://dlib.net/ ) for the detection of face features around the eye that allow for the estimation of the gaze direction in still images.... -
Wikidata-Toolkit RDF diff comparision
Dateien zur Reproduktion eines Vergleichs zwischen Wikidata-Toolkit und Wikidata RDF-Exporten. Die beiden Dumps, welche verglichen wurden: JSON:... -
jncronin/dect: Referenced in single slice paper
Command-line utility for extracting 3 material density images from a stack of Dual-Energy CT (DECT) images. Includes VS2015 project. Dependencies: OpenCL (for faster GPU... -
Polaris: A Separation Logic For Concurrent Randomized Programs
This is the archived artifact associated with the paper " A Separation Logic for Concurrent Randomized Programs" by Joseph Tassarotti and Robert Harper. The... -
Mitosis: Transparently Self-Replicating Page-Tables for Large-Memory Machines
This repository contains artifacts of the paper Mitosis: Transparently Self-Replicating Page-Tables for Large-Memory Machines by Reto Achermann, Jayneel... -
Scalability-First Pointer Analysis With Self-Tuning Context-Sensitivity (Arti...
This artifact is provided to reproduce the results of all four research questions (RQ1 -- RQ4) in our companion paper "Scalability-First Pointer Analysis with Self-Tuning... -
Transient Typechecks are (Almost) Free [Artifact]
Transient gradual typing imposes run-time type tests that typically cause a linear slowdown in programs' performance. This performance impact discourages the use of type... -
Osm Street Blocks Extraction
This repository contains a Python script (Jupyter notebook) implementing extraction of street blocks from OpenStreetMap (or other sources of vectorial data) using PostGis. -
Theoretical Limits of Star Sensor Accuracy test programs and routines
Code used to generate most figures and the results that will be presented in the "THEORETICAL LIMITS OF STAR SENSOR ACCURACY" paper, plus supporting stellar spectra... -
gCube 4.0.0 - Common Featherweight gCore Client v. 1.1.0
The gCube System - Common Featherweight gCore Client -------------------------------------------------- A binding of the CL Framework to the Featherwieght Stack for gCore...