-
Tripal MegaSearch
Tripal MegaSearch is a tool for downloading biological data stored in a Tripal/Chado database. Site administrators may choose from two different data sources to serve data, i.e.... -
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 -
[Simple Carbon Project] Model
The [simple carbon project] model ("SCP-M") is a carbon cycle box model for use in data-model experiments, paleo reconstructions, future scenarios and general... -
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... -
Code from the paper "Counterexample-guided Cartesian Abstraction Refinement f...
The zipfile contains revision 837b876fa51d of the Fast Downward planning system (http://fast-downward.org). The code for counterexample-guided Cartesian abstraction... -
Performing Outreach in Archaeology with Agent-based modeling
This code is associated with the forthcoming publication Performing Outreach in Archaeology with Agent-based modeling. A step-by-step guide for using agent-based... -
Snakemake Workflow Archive: Bioconda Paper
This archive contains the Snakemake workflow used to produce the results presented in the Bioconda publication, along with all required input data. See... -
CLARIAH/grlc 1.1
grlc is a lightweight server that takes SPARQL queries curated in GitHub repositories, and translates them to Linked Data Web APIs. This enables universal access to Linked Data.... -
Top-Level Data And Analysis Scripts For The "An In Vivo Wound Healing Model F...
This repository exists to transparently document the statistical methods of the paper and ship them in a reexeutable format. To give academic credit please cite exclusively the... -
SimionZoo: a software bundle for Reinforcement Learning applications
SimionZoo is an open source software bundle for Reinforcement Learning that runs both on Windows and Linux. We provide the C++ source code (SimionZoo-1.3.1-src.zip) and the... -
Matlab code and simulated data for paper ""Distributed Zeroth Order Optimizat...
This is a Matlab code and simulated matlab data for paper “Distributed Zeroth Order Optimization Over Random Networks: A Kiefer-Wolfowitz Stochastic Approximation... -
Csu 1Dvar -- Gmi Warm Rain Retrieval
Supporting information for publication on a variational retrieval of warm rain from the GMI sensor aboard the GPM satellite. Enclosed are two output data files as well as... -
Replicate package for ICST 2020
This is a replicate package for sharing tool and dataset together with a research paper submitted to ICST 2020. -
Pet Adoption Metadata Analysis
This is a capstone project intend to use visualization and NLP in order to predict adoption speed by using other variables in the metadata. -
jpmesh: Utilities for Japanese Mesh Code
Helpful functions for using mesh code (80km to 125m) data in Japan. Visualize mesh code using 'ggplot2' and 'leaflet', etc. -
Unittest - R Package
Concise TAP compliant unit testing package. Authored tests can be run using CMD check with minimal implementation overhead. -
AbreMES-X
[PlanTL/medicine/semantic annotation] Software used to generate the Spanish Medical Abbreviation DataBase (https://github.com/PlanTL/AbreMES-DB). The database is generated by... -
Picongpu 0.1.2: Bug Fixes
This is version 0.1.2 of PIConGPU, a pre-beta version and pure bug fix release. It contains selected backports of critical issues in PIConGPU. Two major bugs that have been...
