Typing contexts are represented in Coq by lists of pairs of identifiers and types.
The program asks for an input file that should have an integer number indicating the total number of tests, followed by two columns with pairs of identifiers and p-values.
The net result is a pair of persistent identifiers, one for the article and one for the data, with the data component embargoed until the article itself is released after peer-review into the public.
Each candidate IBD segment is defined by its starting and ending genome coordinates, the pair of sample identifiers, and the haplotype index (1 or 2) of the shared haplotype for each sample.
The expression of the 45 unique pairs of gene identifiers from each array is shown in Figure 7A.
A pair of new persistent identifiers for each molecule has been minted as part of the curation.
Given a key–value pair of a document identifier and a document, the mapper operation performed on the slaves takes the input key–value pair, tokenizes document, and produces intermediate key–value pairs for every word, where word is a key and number of word occurrences is a value.
For each protein-RNA pair, the identifiers of UniProt, Pfam, and the chain in PDB, the length of protein sequence A, the identifiers of GenBank, Rfam, and the chain, the length of RNA sequence B, the PDB code, the number of sequences in the multiple sequence alignment (MSA) combined on the basis of the organisms, and the number of contacts within 3 Å and that within 5 Å are shown.
In total, we tested MetMask and CTS on 20 pairs of input-output identifier types, since input identifiers were not mapped to output identifiers of the same type.
Probabilistic match weights were assigned to each record pair, according to agreement on the set of identifiers (Fellegi-Sunter approach) [ 21].
