-
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 -
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... -
Code used for the paper "Cross-asset holdings and the interbank lending market"
These are the Matlab files used for computing the results disaplayes in the article "Cross-asset holdings and the interbank lending market"(availalble at:... -
r37980778c78--a4d7152a71bfbe79018a824fe89aa20a
Some minor issues are fixed in this release: * Issue 342 DirectProduct for transformation semigroups returned the wrong answer when applied to semigroups satisfying... -
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--5f47dce6e6b28ad7798b61bf59bc4756
Opportunistically collected photographs can be used to estimate large-scale phenological trends This is the code used the above analysis. The preprint for the manuscript is... -
Geant4 10.04.03 Windows Installer (Full functionality)
Alternative Windows installer for Geant4 10.04.03. (see also the official one http://geant4.web.cern.ch/node/1604). It is self-consistent, i.e. it does not require to install... -
r37980778c78--fd16e586ff15f42bbac6722e5a34d1dd
Global Water Resources This is a web-based presentation on global water resources with visualizations created using d3.js (v5.1.0). File Structure code: contains a Jupyter... -
r37980778c78--ba5c8de15af5e34e311066896d90d2c7
From https://github.com/sudomesh/sudowrt-firmware/releases/0.2.3 - Features n/a Improvements upgrade tunneldigger client (see... -
bitowaqr/DutchFluTrend: Using digital epidemiology methods to monitor influen...
'DutchFluTrend' Zenodo repository release This repository holds the source code and data for the manuscript Using digital epidemiology methods to monitor... -
Initial elevation bias analyses https://rubenarslan.github.io/initial_elevati...
Initial elevation bias in subjective reports Replicating and extending Shrout et al. (2017). Authors: Ruben C. Arslan, Julie Driebe, Tanja Gerlach, & Lars Penke. -
Edamontology/Edamontology: Edam 1.20
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... -
Global Water Resources
Global Water Resources This is a web-based presentation on global water resources with visualizations created using d3.js (v5.1.0). The included PDF document gives static... -
r37980778c78--3a52ee4bcdb8676ec2e72340c1299aca
This is a major release that includes new choices for linking and feature-finding algorithms, as well as many performance increases and clean-ups. It is recommended for all... -
r37980778c78--0f0d814be7a0ba0d8a69d8e6e0f48549
Test Knime workflows from a Junit test. Eclipse plugin available at https://3d-e-chem.github.io/updates update site. Changes Requires KNIME 4.0 #7 -
GeoStat-Framework/ogs5py v1.0.0
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--b42dc90d16b2e5e07ea611d0339a04f5
This is a minor release with some important fixes. Additionally, PIMS is nolonger a required dependency, which makes installation easier. See... -
Sudowrt Home Node Firmware Ar71Xx
From https://github.com/sudomesh/sudowrt-firmware/releases/0.2.3 - Features n/a Improvements upgrade tunneldigger client (see... -
MLSys 2020 Artifacts for "MLPerf Training Benchmark"
Full paper: https://arxiv.org/pdf/1910.01500.pdf This contains code and information about the complete workflow to reproduce Nvidia’s v0.5 and v0.6 ResNet-50...
