### Table 6: Semantics of the modal -calculus. f[tt] g( )

1999

"... In PAGE 17: ... Intuitively, f[ ]g( ) denotes the set of all processes that satisfy under the environment . Formally, the semantic mapping f[ ] g : (F E) ?! 2P, where E stands for the set of all environments, is inductively de ned over the structure of formulas, as shown in Table6 . If is a closed formula, its semantics is independent of the environment.... ..."

Cited by 8

### Table 1 Performance of CRM discovery methods with respect to FTT-Z score of confirmed CRMs

2007

"... In PAGE 8: ... We reasoned that if this were the case, the CRMs found by these methods would have high FTT-Z scores, whereas unbiased methods would be uncorrelated with FTT- Z scores. To test for such biases, we ranked all of the REDfly analysis CRMs by FTT-Z score and assessed the median rank (highest score = 100%) of the CRMs discovered by the various other methods ( Table1 ). An unbiased method should have a median rank around 50% ( apos;expected apos; in Table 1), while a heav- ily biased method would have a median rank close to 100%.... In PAGE 8: ... To test for such biases, we ranked all of the REDfly analysis CRMs by FTT-Z score and assessed the median rank (highest score = 100%) of the CRMs discovered by the various other methods (Table 1). An unbiased method should have a median rank around 50% ( apos;expected apos; in Table1 ), while a heav- ily biased method would have a median rank close to 100%. We found that the previously known CRMs used in the train- ing sets ( apos;known apos;) had a median rank of 90%, confirming the heavy bias toward homotypic repeats in that set.... ..."

### Table 2. Comparison of Quantitative Measures in FTT and PTT

2006

"... In PAGE 3: ... The two different interaction patters are visualised in Figure 2.3 Table2 summarises the results of the analysis of our FTT and PTT sub-corpora for each of the measures listed above. The third row shows the statistical significance of the differ- ences between the FTT and the PTT values, calculated globally 1The questionnaire given to the subjects is available online at http://www.... ..."

Cited by 2

### Table 4.15. Number of Referenas vs. Lifetime prop- ftt, untlattened tnce. 8223 WJUCS Fraction of 339698 references

### Table 2: Synopsis of results { quality of approximation

1998

Cited by 125

### Table 1. Oligonucleotides for Hy4 humanized H chain library assembly and assembled oligonucleotide sets

2006

"... In PAGE 3: ...ApaI restriction site. Oligonucleotides were synthesized and then combined so that six complementary sets could be assembled ( Table1 ). Each oligonucleotide set was separately added to reaction mixtures containing 16 ligation buffer and Ampligase Thermostable DNA Ligase (Epicentre Technologies).... ..."

### Table 4 Certified contents of EDTA extractable contents of Cd, Cr, Cu, Ni, Pb and Zn in BCR-700

2000

### Table 3 Results from supervised learning

2007

"... In PAGE 10: ...http://genomebiology.com/2007/8/6/R101 exercise ( Table3 ; Binomial test P lt; 1.9e-07).... In PAGE 10: ... Like with the FTT and YMF methods, we also evaluated tis- sue- and stage-specific subsets of CRMs using this learning algorithm and a leave-one-out-cross-validation strategy. The apos;blastoderm apos;, and apos;embryo apos; CRMs gave significantly high clas- sification accuracy in similar cross-validation experiments ( Table3 ). As we saw with the other methods, the blastoderm CRMs have the most pronounced differences compared to the other CRM subsets and to the entire REDfly analysis set.... ..."

### Table III: Comparison with GeneID and GeneParser using GeneID Test Sets.*

1994

Cited by 44