-
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 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... -
Computing Linear Restrictions of Neural Networks
This repository contains the source code corresponding to our paper "Computing Linear Restrictions of Neural Networks" at NeurIPS 2019. Please see... -
r37980778c78--e961c19024d89c30af75670c1a8114a6
SmartPLS 3.2.9 Professional Full Version This Is A Portable Form Of SmartPLS 3.2.9 Professional Full Version No Need To Install, Instantly Used To Download Portable SmartPLS... -
r37980778c78--d45edd1067ef21c8c856284cc8495066
This R package contains some small helper functions that aim at improving the quality of code developed at Kompetenzzentrum Wasser gGmbH (KWB). Documentation website:... -
gap-packages/Semigroups: 3.0.2
This is an minor release fixing some minor issues in the last release. The following issues were resolved: Issue 330 InversesOfSemigroupElement some times returned an... -
PNNL-PREMIS/PREMIS-ghg: Biogeosciences final version
Release version cited in BG paper, https://doi.org/10.5194/bg-2019-218 -
Jsglr2
This archive contains a snapshot of JSGLR2, a modular Java implementation of the SGLR parsing algorithm, which is integrated in Spoofax. It is developed for the Master... -
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... -
r37980778c78--a270826101b35a0a718ee4e4a6535a24
Helper functions for automating R package development at KWB to a predefined style. Documentation website: https://kwb-r.github.io/kwb.pkgbuild/ -
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--44eb951130a3cb226349b6f379c32f57
The zipfile contains an extended version of the Fast Downward planning system (http://fast-downward.org). The code for subset-saturated cost partitioning can be found in the... -
Code from the paper "Subset-Saturated Cost Partitioning for Optimal Classical...
The zipfile contains an extended version of the Fast Downward planning system (http://fast-downward.org). The code for subset-saturated cost partitioning can be found in the... -
formr.org survey framework utility R package
The accompanying R package for the survey framework formr (see https://github.com/rubenarslan/formr.org and https://formr.org)
