"... In PAGE 3: ... 3 shows that ITDK0304 and CN05 are charac- terized by a power-law degree distribution2. As shown in Table1 , the power-law exponent of CN05 (-2.21) is slightly larger than that of the ITDK0304 (-2.... In PAGE 4: ... 4 shows that ITDK0304 and CN05 clearly exhibit a negative correlation between degree and the nearest- neighbors average degree. Also as shown in Table1 , both the AS graphs are characterized by a negative assortative coefficient. The PFP networks precisely reproduce these disassortative mixing properties.... ..."

"... In PAGE 8: ...05; the upper part of Table 3). Seven of the statistically significant outcomes were with respect to individual loci ( Table4 ); the deviations were toward negative assortment at the HLA-A and -C loci and toward positive assortment at the HLA-B and -DR loci. The other seven were with respect to haplotypes, and all the deviations were toward positive assortment (data not shown).... In PAGE 10: ...6) is not supported with respect to this locus. HLA-B: The heterogeneity tests were significant for both of samples and we suspect that population structure exists even within prefectures (see Table4 ). Alternatively, the significant deviations from random mating within some of the prefectures may reflect positive assortative or consanguineous marriages (but see below).... ..."

"... In PAGE 8: ... With analyses for each locus and for haplotypes in the same way as before, we found fourteen cases of non-random mating in a total of 132 tests (P lt; 0.05; the upper part of Table3 ). Seven of the statistically significant outcomes were with respect to individual loci (Table 4); the deviations were toward negative assortment at the HLA-A and -C loci and toward positive assortment at the HLA-B and -DR loci.... In PAGE 8: ... The other seven were with respect to haplotypes, and all the deviations were toward positive assortment (data not shown). Combining the probabilities from the tests for each prefecture, we found overall deviations from random mating with respect to the HLA-B locus and haplotypes using method 2 (the lower part of Table3 ). In both cases, the observed mean numbers of shared alleles were, however, not different from the expected number under random mating.... ..."

"... In PAGE 10: ...75 (0.41) Estimate of Statistical Power Table5 shows the estimated power of the tests for random mating. Values are given for each locus and for haplotypes and for the Tohoku and 8JW samples as a whole.... In PAGE 10: ... The effect of population structure can likely be ignored, since the test for heterogeneity is significant only for 8JW males at the 5% level. The power is relatively high (see Table5 , 6). This provides evidence against strong disassortative mating (s gt; 0.... In PAGE 10: ...gainst strong disassortative mating (s gt; 0.6) at this locus. HLA-C: The null hypothesis was not rejected (see Table 1 and the lower part of Table 3). Population structure was not detected and the power is relatively high (see Table5 , 6). Hence strong disassortative mating (s gt; 0.... In PAGE 11: ...HLA-DR: Non-random mating was not detected (see Table 1 and the lower part of Table 3). However, no conclusions can be drawn for this locus because population structure was indicated and the statistical power is low (see Table5 , 6). HLA-DQ: The 8JW sample does not include data on this locus.... In PAGE 11: ... The null hypothesis was not rejected (see Table 1, 3). There is no evidence of population structure and the power is relatively high (see Table5 , 6). We can, therefore, at least exclude the possibility of extremely strong disassortative mating (s gt; 0.... In PAGE 11: ...8) occurring with respect to this locus in Tohoku. Haplotypes: Since population structure was detected and the statistical power is very low (see Table5 , 6), no conclusions can be drawn. Discussion Negative assortative mating with respect to HLA was not detected in Japanese with the tests of random mating for each locus and for haplotypes.... ..."

"... In PAGE 26: ... Rule (3) says that a process can perform an in action by synchronizing with a process which represents a matching tuple et. Matching (de ned in Table12 ) takes as arguments the two candidate tuples, the site where the operation is executed, the type of the contin- uation (that is statically derived and retrieved from the symbol table when it is needed) and the type interpretation function of the net. The result of this synchronization is that tuple et is consumed, i.... In PAGE 27: ...Table 12: Matching Rules Finally, rule (6) deals with process invocation while rule (7) is the standard rule that relates operational semantics and structural congruence. The pattern{matching predicate used in Table 11 is de ned in Table12 , and relies on the auxiliary predicate s that we introduce below. De nition 5.... ..."