-
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 -
Where Slow & Superfluous BGP Convergence Ends: The Tool to Perform your own E...
Tools used in the INFOCOM 2021 submission It contains: * plot.py to generate the graphs. * groups_count.py to compute the number of OPR sets. * AS_decomposition the AS... -
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... -
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... -
An Updated Noah Land Surface Model in WRF-CMAQ to Improve Simulated Meteorolo...
Here we provide an updated coupled meteorological (or “weather”) and chemical transport (or “air quality”) model software, the Weather Research and... -
gCube IS Sweeper
Smart Executor Plugin to run Sweeper. Normally is launched as Scheduled Task Documentation Documentation is available on-line in the gCube Wiki:... -
aquanes.report (v0.5.0): Automated Reporting Tool for Water Suppliers
Collects, aggregates and visualises operational andanalytical data from water suppliers (including a standardised reporting document). Documentation website:... -
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... -
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... -
Gcube 4.6.0 - Statistical-Algorithms-Importer V. 1.6.0
The gCube System - statistical-algorithms-importer -------------------------------------------------- statistical-algorithms-importer imports statistical algorithms This... -
goat-project/goat: 1.0.0
Go Accounting Tool goat version 1.0.0 The Goat is a service that is running in the background and waiting for a connection from a compatible client. Once the server... -
gCube 4.3.0 - file-dw-import-wizard v. 1.3.0
The gCube System - file-dw-import-wizard -------------------------------------------------- file-dw-import-wizard support import file This software is part of the gCube... -
GEM-MACH-PAH, rev2488
GEM-MACH-PAH rev2488. This is the fortran90 CHEM code that runs with GEMv4.8-LTS.12. This code was used to produce the results shown in the Geoscientific Model Development ... -
Gcube 4.8.0 - Gis Viewer Widget V. 4.1.0
The gCube System - GIS Viewer Widget -------------------------------------------------- GWT Widget application to access GIS Data This software is part of the gCube... -
LYNX: Lithosphere dYnamic Numerical toolboX, a MOOSE-based application
LYNX (Lithosphere dYnamic Numerical toolboX) is a numerical simulator for modelling coupled Thermo-Hydro-Mechanical processes in the porous rocks of the lithosphere. It relies... -
gCube 4.1.1 - LinkedIn Login Hook v. 1.1.0
The gCube System - LinkedIn Login Hook -------------------------------------------------- The linkedin hook allows users to login with their linkedin credentials to a liferay... -
Gcube 4.1.0 - Irmng-Spd-Plugin V. 1.6.0
The gCube System - irmng-spd-plugin -------------------------------------------------- IRMNG Plugin This software is part of the gCube Framework... -
egeldenhuys/raptor: Prototype
Proof of concept for Forensic Detection of Rogue Access Points using Beacon Frame Hashes -
gCube 4.4.0 - FHNManager OCCI Connector v. 1.1.1
The gCube System - FHNManager OCCI Connector -------------------------------------------------- Connector for accessing FedCloud/d4science Occi exposing-sites This...
