-
Artifact for "Chain Free String Constraints"
A zip file containing the artifact, benchmark suites, and script for installing and reproducing the results of the paper "Chain Free String Constraints" accepted... -
r37980778c78--8b3c7f067d5efde7dad246f0ef7635ef
Coq 8.7 includes: A large amount of work on cleaning and speeding up the code base, notably the work of Pierre-Marie Pédrot on making the tactic-level system insensitive to... -
r37980778c78--a71242a478c72baf88e53686524943fa
Group Factor Analysis Code Decomposes a set of expressions into a group expression. The expression regulation can be studied via an ANOVA that relates it to the observables in... -
WellcomeAPCs
A quick and dirty bit of code to help browse the recently released Article Processing Charges that the Wellcome Trust paid for in 2012/2013. See links below to see orginal data... -
r37980778c78--12d23c27da6f8422ee064c7fbbfe7e3b
The gCube System - gCube Social Profile Portlet -------------------------------------------------- Social Profile This software is part of the gCube Framework... -
r37980778c78--809cbc8f848ba323336bade7d1409fb2
This repository includes the code, data, documentation, metadata and figure source files that accompany this research. -
r37980778c78--6e4518eaeb2f700670d248c517ddd2b6
This is an artifact evaluation submission for the paper: "Using Symmetry Transformations in Equivariant Dynamical Systems for their Safety Verification" that will be published... -
r37980778c78--43d00823009cb15ca47eed4312683a10
The gCube System - lexical-guesser -------------------------------------------------- lexical-guesser library This software is part of the gCube Framework... -
r37980778c78--6afc3ce27947b5f1576285282ee6e270
This software bundle contains everything needed to reproduce the experiments of the paper. In particular, all files with "previous-vs-optimized-implementation" in their name... -
r37980778c78--a30383845fd90689c75509a78fd50380
The gCube System - gCube Workspace Explorer -------------------------------------------------- gCube Workspace Explorer widget allows to navigate (gCube) Workspace This... -
Capytaine v1.0.1
Main changes in version 1.0.1: Paper for the Journal of Open Source Software Fix OpenMP parallelization Minor improvements of the documentation See docs/changelog.rst for... -
Robot Swarm Collision Rate
This is MATLAB code for very simple simulations that detect the rate at which collisions occur in groups of robots working together. The main parameters of interest are the... -
Model_Sci_Cycling2018
Source for computing ACd from experimental data. Materials for Science Cycling 2018. -
Gcube 4.8.0 - Social Data Indexing Common V. 1.0.1
The gCube System - Social Data Indexing Common -------------------------------------------------- Common library for the indexing functionalities (both search and index... -
Code/Data Release: Fast Multipole Method results, Development Of A Performanc...
This archive contains the material required to reproduce the results for the PhD thesis "Development Of A Performance-Portable Framework For Atomistic Simulations". -
r37980778c78--0527602781efe70b817b131330372e4c
tabular-data-mainbox-widget implements a tab panel to shows resources and table Documentation Documentation is available on-line in the gCube Wiki:... -
POSE: Python Open Source Ethology Tracker v0.1.1-beta (September 2016)
A minor update to the original beta release. -
Bodhi Linux Media 5.0.0
Bodhi Linux Media 5.0.0 Free and Open Source Distro for Digital Artists more info at: https://gitlab.com/giuseppetorre/bodhilinuxmedia Author: Giuseppe Torre...