-
r37980778c78--f0da1ce4d6fb60deb9f5c42e0e375ad8
In 2019, the Southampton Research Software Group (SRSG) conducted a survey of research staff to identify the relationship between software and research at the University of... -
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 à... -
r37980778c78--df6f4c2d732393e7174268128a30e75f
magicCalling v0.0.2 magicCalling is an R package for converting raw marker data into marker alleles. It implements two novel methods. The first is a model-based clustering... -
r37980778c78--1bfeff9c7d1e1bb8f5d4d7836ca6970d
It is an educational code developed in Octave/Matlab to compute effective permeability from 2d images of heterogeneous porous materials, by simulating a Stokes flow in the... -
r37980778c78--506998dae2df243872dc1d773d85b6e8
These MATLAB scripts were utilized to mill the tips from the crystal lattice point clouds that we exported from VESTA. For further details on the procedure see the corresponding... -
r37980778c78--e173dacaf6aa39cea56368c0d262d9a0
This tool takes FreeSurfer aseg.mgz files and generates homologous mesh representations of subcortical ROI boundaries and vertex-wise shape features for statistical analysis.... -
r37980778c78--a8ebcf11b02422bc97d5b67d09a9a22e
These are the namelist files of the WRF-DART (ARW v.3.9.1.1 and DART manhattan release) experiments performed in the GMDD paper Kurzrock et al., 2019... -
r37980778c78--085e5f43da81b0613dade594e886491c
The software can be used to predict if a Microsoft system can be hit by a malware.The dataset is from Microsoft Malware Prediction competition on Kaggle. The dataset is... -
r37980778c78--94c3bd2bbaf33fe4e1096f0ae94a8094
This repository contains artifacts of the paper Mitosis: Transparently Self-Replicating Page-Tables for Large-Memory Machines by Reto Achermann, Jayneel Gandhi, Timothy Roscoe,... -
Electrum specification of a toy notificiation system
Electrum specification of a toy notificiation system, accompanying the article "A Bounded Domain Property for an Expressive Fragment of First-Order Linear Temporal Logic"... -
r37980778c78--bd9554058b7e8505a534591fd496ad5b
It is an educational code developed in Octave/Matlab to compute effective permeability from 2d images of heterogeneous porous materials, by simulating a Stokes flow in the... -
r37980778c78--bd48bdf1bbc6039abeec485b1a8d7a7a
This repository contains the singularity container image required to run the code at https://git.center-tbi.eu/kunzmann/gose-6mo-imputation. -
r37980778c78--2329d80ce593536db4cba2c56d73e837
Development of a script (compliance_robust.Rmd) to calculate clustered robust standard errors for the study on compliance with extortion demands in Mexico using ENVE data. -
r37980778c78--4727788b003b3154c2b9ddbf387dca90
Artifact for ASPLOS Paper 10. Start by uncompressing (tar xzvf ASPLOS_Paper10.tar.gz) and then reading the README file. -
r37980778c78--e8806bf57efdb5deb6699ddf7fd884bd
Artifact for ASPLOS Paper 10. Start by reading the README file. -
r37980778c78--8ec5478ad6a2575b6ce027efa0baf4fc
Coq code contianing proofs that belief semantics and kripke semantics are both sounds for the authorization logics FOCAL and FOCALE. Tested with a 2013 version of Coq. -
r37980778c78--c79390f492f788d773ab306404f87875
This online application is implemented in R and consists of a WEB-based tool to support the expert knowledge elicitation (EKE) process. More specifically, there are four modules...