-
Code for a microRNA Conservation Bioinformatics Collaboration Between the Van...
This code repository is a part of the the microRNA conservation bioinformatics collaboration between the Van Vactor Lab and Wall Lab, including Elizabeth M. McNeill, Todd F.... -
Nay PLDI20 artifact
The artifact of Nay, a synthesizer which can prove unrealizability of unrealizable SyGuS problems. More detail can be found in https://arxiv.org/abs/2004.00878 -
Biotite 0.5.3 repository
Biotite is a comprehensive computational biology framework in Python for analysis and manipulation of sequence and structure data. -
Jeu #Réseauxsociaux
Depuis 2015, le SCD de l’Université de Guyane est engagé dans un renouvellement de sa pédagogie : des séquences de jeux sont... -
SkyPortal: An Astronomical Data Platform
SkyPortal is a web application that stores and interactively displays astronomical time-series datasets for annotation, analysis, and discovery. It is designed to be modular and... -
tamnva/SWAT_IGF v1.0
This is the modified version of the SWAT model for simulating Interbasin Groundwater Flow (IGF) in both karst and non-karst areas. A detailed description of the model could be... -
The jury is still out regarding the generality of adaptive "transgenerational...
Code and data needed to reproduce the results shown in "The jury is still out regarding the generality of adaptive “transgenerational” effects" (first... -
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,... -
Code to reproduce the figures in the paper 'Assessing localization accuracy i...
In this upload you find all the scripts and data you need in order to reproduce the figure from the paper Wierstorf et al., "Assessing localization accuracy in sound field... -
bigSCale2
Framework for clustering, phenotyping, pseudotiming and inferring gene regulatory networks from single cell data. -
Gcube 4.7.1 - Smart Ecological Engine Executor V. 1.6.0
The gCube System - Smart Ecological Engine Executor -------------------------------------------------- Smart Ecological Engine Executor library This software is part of... -
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 -
NA48/2 program and data for calculation of charged kaon semileptonic form fac...
The experimental data histograms and MC event samples for ke3 and km3 decay modes are provided in two root files in the "input" directory. The files contain everything... -
Constraint-Based Coverage Path Planning Framework
Testing zenodo integration and generation of citable doi for repository. -
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... -
View eXtract aNnotate (ViXeN) media files: a multimedia project manager
A new release of ViXeN with a few minor changes and suggestions based on the JOSS review. ViXeN is a multimedia viewer, metadata extractor and... -
U.S. Immigration 1820 - 2010 Data Visualizations and Accompanying Website
The U.S. has a very long history of immigration. People have been imigrating to the U.S. for a very long time due to the fact that we are an economic powerhouse and the... -
Graphit-Dsl/Graphit: Initial Release To Make The Artifact Available For Oopsla18
Initial release to make the artifact available for OOPSLA18. -
gCube asfis-spd-plugin
The gCube System - asfis-spd-plugin -------------------------------------------------- ASFIS Plugin This software is part of the gCube Framework... -
Scalable Cache-Based Address Resolution Protocol Handling in Software-Defined...
This upload contains an implementation for the paper “Scalable Cache-Based Address Resolution Protocol Handling in Software-Defined Networks”. It consists of a...