-
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,... -
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... -
MitoS segmentation tool (GPU) for Linux
The MitoS segmentation tool (GPU) is an easy-to-use GUI-based segmentation tool that enables biologists to use the pretrained deep learning model MitoSegNet to segment... -
Worst-Case Analysis of Digital Control Loops with Uncertain Input/Output Timing
Code and data for the publication "Worst-Case Analysis of Digital Control Loops with Uncertain Input/Output Timing" by M. Gaukler and P. Ulbrich at ARCH2019 (Workshop... -
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... -
Aurora Galaxy Tools: Using R Markdown as a framework for Galaxy tool development
While many biologists are able to run sophisticated bioinformatic analysis using Galaxy, it is not always clear how well they understand the role of each tool in a workflow or... -
Wikidata-Toolkit RDF diff comparision
Dateien zur Reproduktion eines Vergleichs zwischen Wikidata-Toolkit und Wikidata RDF-Exporten. Die beiden Dumps, welche verglichen wurden: JSON:... -
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... -
MitoS segmentation tool (GPU) for Windows
The MitoS segmentation tool (GPU) is an easy-to-use GUI-based segmentation tool that enables biologists to use the pretrained deep learning model MitoSegNet to segment... -
Cytometry analysis pipeline for large and complex datasets (CAPX)
The Cytometry Analysis Pipeline for large and compleX datasets (CAPX) is workflow for discovery analysis of high-dimensional cytometry data. Specifically the CAPX workflow is...