-
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... -
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... -
Chicago/clear-water: v1.1.0
This release contains a number of code changes to prepare Clear Water for conference presentations and preparing it for publication in a peer-reviewed journal. -
Supplemental Material for Astrophysical Journal paper "Improved Coupling of H...
A Jupyter notebook containing several derivations of equations in the paper "Improved Coupling of Hydrodynamics and Nuclear Reactions via Spectral Deferred Corrections" -
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... -
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... -
Citizen Data Science For Social Good: Case Studies And Vignettes From Recent ...
The confluence of massive amounts of openly available data, sophisticated machine learning algorithms and an enlightened citizenry willing to engage in data science presents... -
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:... -
Parameter Calculator
The software "Parameter Calculation" serves as a demonstration for calculating parameters as part of my bachelor thesis "Learning Analytics in Flipped Classroom -... -
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... -
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.0.0 - GCore Clients v. 2.2.0
The gCube System - GCore Clients -------------------------------------------------- A framework for client APIs that invoke GCore services This software is part of the... -
Gcube 4.6.0 - Statistical-Algorithms-Importer V. 1.6.0
The gCube System - statistical-algorithms-importer -------------------------------------------------- statistical-algorithms-importer imports statistical algorithms This...