-
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... -
COHESIVE Information System (CIS) Virtual Machine
Project JIP2 COHESIVE COHESIVE: One Health Structure In Europe Virtual Machine of CIS (Cohesive Information System) related to the Deliverable D-4.1.1 Implemented... -
Code supplementary to the paper "Spectral Quantum Tomography"
Supplement to the paper containing an Ipython notebook with a python implementation of the matrix pencil algorithm. See also the associated .csv file with data... -
In network meta-analysis most of the information comes from indirect evidence...
This folder contains necessary files to reproduce calculations and plots of the article titled: In network meta-analysis most of the information comes from indirect evidence:... -
META-pipe authorization service
Source code for META-pipe authorization server as described in our F1000 publication. Abstract. We describe the design, implementation, and use of the META-pipe Authorization... -
Polaris: A Separation Logic For Concurrent Randomized Programs
This is the archived artifact associated with the paper " A Separation Logic for Concurrent Randomized Programs" by Joseph Tassarotti and Robert Harper. The... -
TriScale - Source code and related artifacts
This repository contains artifacts related to TriScale (source code, notebooks, etc.). It is currently anonymous for double-blind review. TriScale: A Framework Supporting... -
Theoretical Limits of Star Sensor Accuracy test programs and routines
Code used to generate most figures and the results that will be presented in the "THEORETICAL LIMITS OF STAR SENSOR ACCURACY" paper, plus supporting stellar spectra...
