-
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--feed0e461649512c77b5927a26619c63
This folder contains R code for a rule-based Buddhist Sanskrit Segmenter and Lemmatiser, as well as data necessary to use and evaluate the Segmenter and explanatory materials.... -
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--f87f1c1b2e4ac427d8cfdfe1efbbff74
Resource Checker Smart Executor Plugin Support Bugs and support requests can be reported in the gCube issue tracking tool: https://support.d4science.org/projects/gcube/... -
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... -
r37980778c78--b9fc5f64930d8f6d724d30ab6fb87555
The gCube System - catalogue-of-life-spd-plugin -------------------------------------------------- Catalogue Of Life Plugin This software is part of the gCube Framework... -
r37980778c78--e2bf6e52dd8041d5d53b10f565fc4141
gCube Invites Sent Portlet to see the already sent invites and if they were accepted Support Bugs and support requests can be reported in the gCube issue tracking tool:... -
r37980778c78--caa790c568c500dd6c578cddf347230f
Top Topics Portlet shows the top topics in the scope where is deployed. Support Bugs and support requests can be reported in the gCube issue tracking tool:... -
Isabelle/DOF
Isabelle/DOF is a Document Ontology Framework (DOF), on top of Isabelle/HOL, allowing to annotate text elements in formal developments with structured, typed meta-information... -
Mathematica Package For Calculation Of Q Factors Of Strained Non-Uniform Beams
Package for calculation of Q factors of strained beams with non-uniform width and thickness together with supplementary theory note. Possible boundary conditions... -
TUBYDI- Assistir Filmes e Séries online grátis
Se você não planeja Ouvir musicas, o App "Tubydi" é a melhor opção, pois é semelhante ao Tubydi Ocplus, mas não... -
Gcube Smart Executor Client
The gCube System - smart-executor-client -------------------------------------------------- Smart Executor Service Client Library This software is part of the gCube... -
Wikidata-Toolkit RDF diff comparision
Dateien zur Reproduktion eines Vergleichs zwischen Wikidata-Toolkit und Wikidata RDF-Exporten. Die beiden Dumps, welche verglichen wurden: JSON:... -
r37980778c78--6655bcd15094283de42622b7bf940101
The folder, compressed into the tar file, includes the Matlab demonstration code for the paper "Fast Transit Computation Using Tabulated Stellar Intensities" by Short et al. (in... -
r37980778c78--f811184cf22f65ec1a5b87f6a1ef7e63
Isabelle/DOF is a Document Ontology Framework (DOF), on top of Isabelle/HOL, allowing to annotate text elements in formal developments with structured, typed meta-information... -
gCube 4.8.0 - catalogue-of-life-spd-plugin v. 1.8.0
The gCube System - catalogue-of-life-spd-plugin -------------------------------------------------- Catalogue Of Life Plugin This software is part of the gCube Framework... -
Gcube 4.7.1 - Simul-Fish-Growth-Portlet Portlet V. 1.4.0
The gCube System - simul-fish-growth-portlet Portlet -------------------------------------------------- Simulate fish growth portlet This software is part of the gCube...