-
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,... -
bigSCale2
Framework for clustering, phenotyping, pseudotiming and inferring gene regulatory networks from single cell data. -
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... -
Agentes Inteligentes en Videojuegos
Este proyecto es una aplicación de agentes de Inteligencia Artificial basados en Machine Learning, presentado como proyecto final de la carrera de Ingeniería... -
Code for Quantum Simulation of Attosecond Physics
Code for Quantum Simulation of Attosecond Physics Author: Md Masudur Rahman This collection contains the code implementation and individual figure files for the report... -
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... -
Isabelle/DOF
Isabelle/DOF is a Document Ontology Framework (DOF), on top of Isabelle/HOL, allowing to annotate text elements in formal developments with structured, typed meta-information... -
Gcube Smart Executor Client
The gCube System - smart-executor-client -------------------------------------------------- Smart Executor Service Client Library This software is part of the gCube... -
HeavyN: The Standard Model + Heavy Neutrinos at NLO in QCD
Heavy neutrino FeynRules model file (2019 Oct 10 snapshot). For details and updates, see FeynRules model database: https://feynrules.irmp.ucl.ac.be/wiki/HeavyN Please cite... -
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... -
TriScale - Source code and related artifacts
This repository contains artifacts related to TriScale (source code, notebooks, etc.). It is currently anonymous for double-blind review. TriScale: A Framework Supporting... -
(Artifact) Safecracker: Leaking Secrets through Compressed Caches
This tarball includes the final supporting materials of the paper titled "Safecracker: Leaking Secrets through Compressed Caches" published in ASPLOS 2020. -
gCube 4.8.0 - catalogue-of-life-spd-plugin v. 1.8.0
The gCube System - catalogue-of-life-spd-plugin -------------------------------------------------- Catalogue Of Life Plugin This software is part of the gCube Framework... -
gCube 4.1.0 - Shibboleth Login Hook v. 1.0.0
The gCube System - Shibboleth Login Hook -------------------------------------------------- The Shibboleth hook allows users to login to a liferay portal using the saml... -
Gcube 4.1.0 - Common-Events V. 1.0.1
The gCube System - common-events -------------------------------------------------- A lightweight, zero-dependency library for application-level eventing in arbitrary...