-
r37980778c78--f0037480c3ed1c4e09e266e9b5798c07
Organization The specific communication methods are implemented as library functions and used by the corresponding stencil test. include and src contains the brick library... -
r37980778c78--94ff3be5d92219447f3cf3b8fa98e5d5
This document lists the datasets used for the studies and how to request access to them. -
r37980778c78--88fb9cb056322c62e7ee9de1a8aafcf3
This records collates DOIs for the software components used in 'Code generation for generally mapped finite elements'. The Firedrake components and dependencies used were:... -
r37980778c78--52fa039a31cee7fa540d6025285a0c1e
Reverse the lines in a document, then sort those lines. -
r37980778c78--901783271bb5580bf1d53d2853ffc83d
The model This program simulates a two-dimensional stochastic May-Leonard population dynamics of \(\mathtt{N_S}\) species. These species are spread initially at random labelled... -
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,... -
r37980778c78--090a42a28b0ca987c8c533b7252cfbbc
VELSSCPHASE.m is a MATLAB script of the code of the simplified model of Bass et al (2002). It can be used diagnostically to examine the phase relationships between suspended... -
r37980778c78--c0ec0b525ea937e5cc047089bfb93231
Custom scripts for BCR data processing and phylogenetic analysis -
r37980778c78--e46d0efd4abf6204c6872587d4696b62
This is the first release of hetio for hetnets in Python. Currently, the following features are supported: creating a hetnet consisting of a metagraph (types) and a graph... -
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--1486765fa8ab9060237f3e06e548b2ef
This repository contains an R package qPLEXanalyzer used for quantitative proteomics data analysis generated from qPLEX-RIME method. In addition, it also contains an... -
r37980778c78--8178c4c62d0284e5a3fa80ab675d532e
This is the supporting material for the paper A Verified Implementation of the Berlekamp–Zassenhaus Factorization Algorithm by Jose Divasón, Sebastiaan Joosten, René Thiemann... -
r37980778c78--902ed015586dfd7d1e38fc90e0c48e62
The next alpha release of EDAM-bioimaging, alpha05. Added some missing Operations and some clean-up of the hierarchy of Operations Added Topics (especially related to... -
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--b9e1f37c3dd896b1031f855efa181ccf
VMWare Image for the UPM Computational Biology Programme - Python, Ruby, R, and Semantic Web tools (RDF libraries and BlazeGraph) pre-configured. Also BLAST, ClustalW, Komodo... -
r37980778c78--f78d1a965c60b44d3fc2a17f5e172c22
Animations of two infinite grid exploration algorithms by robots without chirality. The published HTML pages allow the viewer to see the first 100 rounds of each algorithm.