-
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 -
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... -
r37980778c78--fa41034b7efe913461a6680417d4e04d
This package is an example of OpenACC enabled Oct file, which calls cuFFT. The outputs of the Oct file and the Octave native iFFT function are compared. -
The jury is still out regarding the generality of adaptive "transgenerational...
Code and data needed to reproduce the results shown in "The jury is still out regarding the generality of adaptive “transgenerational” effects" (first... -
r37980778c78--0e9d9e4c4018d5e8192c0234a37ead1a
Computing environment for EFSA opinion 10.2903/j.efsa.2018.5114 in form of a Docker container archive. To create all maps the attached Docker container archive needs to be... -
r37980778c78--35b6420c5aa6a2709671b953e6084820
This data visualization project explores flight Issues and popular airlines. Flight Issues: Delay and Safety and Popular Airlines: Revenue and Passenger counts are visualized... -
r37980778c78--2b6eac7277310f3883e5b0eeb52a0c9c
Depuis 2015, le SCD de l’Université de Guyane est engagé dans un renouvellement de sa pédagogie : des séquences de jeux sont régulièrement introduites dans ses formations à... -
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... -
r37980778c78--d4ea2563bf9c9a1dbbbdf8378c47ac91
Se ha propuesto muchos modelos para determinar el comportamiento epidemiológico del Covid-19 . Aquí proponemos un modelo sigmoidal que sus parámetros son ajustados mediante un... -
STEC source attribution
This model was developed and applied by the EFSA Working Group on ‘pathogenicity assessment of Shiga toxin-producing Escherichia coli (STEC) and the public health... -
ccostr: An R package for estimating mean costs with censored data
An R package, ccostr, which calculates estimates of mean cost given censored data - Version 0.1.0 -
RFixer: a tool for repairing complex regular expressions using examples
This artifact contains the virtual machine image that has RFixer installed. RFixer is a tool for repairing complex regular expressions using examples. Given an incorrect... -
Agosta et al. (2019), The Cryosphere : data processing, analyses and figures
Contact: Cécile Agosta (cecile.agosta@gmail.com) My python code for creating figures and tables of the article: (see the published version in The Cryosphere, 2019) C.... -
r37980778c78--dbc0bf5a2cdd9e6b119ad9dd1face6db
Se utilizó el paque R0 propuesto por Boelle & Obadia para estimar el número básico de reproducción de la epidemia actual en el país de Panamá. Se comparó los distintos métodos... -
r37980778c78--09ec29951972ba8ff9ee9a2c331d64d9
Code used to cleaned hourly electricity demand data for electric balancing authorities within the contiguous US. Raw data is based on the U.S. Energy Information... -
r37980778c78--67960357726d315c169905e3d99231ca
Das DFG-Projekt “Future Publications in den Humanities” untersucht die Potenziale des digitalen Publizierens in den Geisteswissenschaften und erarbeitet Handlungsempfehlungen... -
Repository of "Personalization of logical models with multi-omics data allows...
Personalization of logical models status upon submission of paper in Frontiers in Physiology. Code, models and scripts needed to reproduce the tailoring of logical models to... -
sgsaenger/vipster v1.18b
VIsual Periodic STructure EditoR Visualization and editing framework for atomistic simulations. For more information, please visit the Homepage.