-
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 -
Gitflower
gitflower allows you to fetch files from different git repositories into one common file structure. This enables you to produce single files ("workflow descriptions"), which... -
Ncrncornell/Ced2Arspssreader: 1.3.0
CED2AR SPSS Reader This project contains java classes that will allow you to read several versions of SPSS data sets. It modifies the code originally written by Pascal Heus... -
r37980778c78--a5d1d340d85a1df29a0e1762013be3bc
list of implemented technics original regression (MLMR) original classification (MLMC) nearest neighbor MLM (NN_MLM) opposite neighborhood MLM (ON_MLM) fuzzy C-means MLM... -
r37980778c78--c882f7824e4d36f81b70447a720ce1f0
Purpose ogs5py is A python-API for the OpenGeoSys 5 scientific modeling package. Installation You can install the latest version with the following command: pip install... -
ogs5py v1.0.3
Purpose ogs5py is A python-API for the OpenGeoSys 5 scientific modeling package. Installation You can install the latest version with the following command: pip install... -
r37980778c78--ac9b9bea256b618273d284ce29bd73e8
See the improved changelog-detailed.md for a detailed list of semantic changes in the EDAM ontology. Summary of changes 20 formats added (listed in changelog-detailed.md)... -
rsofun
Version of rsofun used for Stocker et al. (2020) GMD. Wraps the SOFUN model (separate repository!) though input/output writing via files. No direct wrapping of the FORTRAN code... -
acdh-oeaw/histogis-data: removed duplicated files; added a GeoJSON with all s...
Data created by HistoGIS -
r37980778c78--d0176e2c289577a722357870c8221bb4
Supplementary material [ActivityDiagramToOcBaseClassDiagramTranslation.pdf] contains the explanation about how we have implemented our overall translation patterns from an... -
filter_fasta.py
Usage: ./filter_fasta.py [path to input dir] [path to accepted taxon list]. Input files are expected to be in fasta format. The script will traverse all files in the input dir,... -
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... -
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... -
SI for "A Computational Study of Structural and Excitonic Properties of Chlor...
files in chapter * are stored in chapter_* folders note for CTubeGen software in chapter_5 folder A software I developed for generating arbitrary chlorosomal tubes,... -
r37980778c78--244fc452eb6de2b084fa15e99c118fa1
SMPS toolkit is a handy tool (Igor Pro based) to process SMPS data exported by TSI AIM software. Multiple files (*.csv; *.txt) can be imported at one time and then generate... -
r37980778c78--a94d60b479819dfd5ce86a9ad943b532
Marine GIS database in Hong Kong This is the graduation project under the Master Program -- Environmental Management (MSc EnvMan) in The University of Hong Kong. The Swire... -
Aethalometer Data Processor
Version 20200310 Data acquired from filter-based measurements such as Aethalomenter (AE31/AE30) needs carefully correction due to its inherent systemic error, i.e.,... -
Pooch: A friend to fetch your sample data files
Does your Python package include sample datasets? Are you shipping them with the code? Are they getting too big? Pooch is here to help! It will manage a data registry by... -
MultiDOE: sampling technics on MATLAB/OCTAVE - v3.2
MultiDOE This MATLAB/OCTAVE toolbox regroups many existing tools for generating sample points using many specific DOE techniques: Full factorial sampling Latin Hypercube... -
Archived preconfigured Fiji installation for multiple template matching
The zipped file contains an archived version of a preconfigured Fiji installation for multiple template matching. Simply unzip the file and run the .exe. DO NOT UPDATE the...