### Table 2. Measures of cross validation performance (TP: True Positives, TN: True Negatives, FP: False Positives, FN: False Negatives)

2005

"... In PAGE 7: ... Moreover, each experiment is repeated ten times and the average results are used for the comparisons. The results of cross validation are evaluated according to some standard perform- ance measures ( Table2 ). Sensitivity or TP Rate measures the proportion of the cor- rectly classified TISs over the total number of TISs.... ..."

Cited by 3

### Table A-1: ANOVA results of FN1 to FN3

2004

Cited by 9

### Table A-2: ANOVA results of FN4 to FN6

2004

Cited by 9

### Table C-1: Optimal Parameter Values for FN1 to FN6

2004

Cited by 9

### Table 14 Free names; fn(P), fn(t), fn(p).

"... In PAGE 24: ... The de nition does not distinguish between patterns, constructive patterns and signature patterns but regards them as instances of the same syntactic category. The de nition of free names is straightforward and is given in Table14 . The de nition of free variables in Table 15 and has to ensure left-to-right scoping of variables de ned in patterns as discussed in the main text.... ..."

### Table 1 Structural congruence. agents are de ned by using agent variables and the standard operator for re- cursion rec X:C. As usual, we restrict to closed terms and guarded recursion [Mil89]. In the following Agent denotes the set containing all possible agents. The set of free names in P , denoted by fn(P ), is de ned as follows: fn(0) = fn(X) = ; fn(P jQ) = fn(P ) [ fn(Q) fn(hai) = fag fn(P na) = fn(P ) n fag fn(in(a):P ) = fn(out(a):P ) = fag [ fn(P ) fn(inp(a)?P Q) = fag [ fn(P ) [ fn(Q) fn(rec X:P ) = fn(P )

2000

"... In PAGE 6: ...hai a ?! 0 (2) in(a):P a ?! P (3) inp(a)?P Q a ?! P (4) inp(a)?P Q :a ?! Q (5) P ?! P0 Pna ?! P0na 6 = a; a; :a (6) P :a ?! P0 Pna ?! P0na (7) P :a ?! P0 Q a ?! = PjQ :a ?! P0jQ (8) P a ?! P0 Q a ?! Q0 PjQ ?! P0jQ0 (9) P ?! P0 PjQ ?! P0jQ 6 = :a (10) P Q Q ?! Q0 P0 Q0 P ?! P0 Table 2 Operational semantics. The structural congruence for the instantaneous semantics i is the smallest congruence satisfying the rules (i), : : :, (viii) of Table1 and (ix) of Table 3. The structural congruences for the ordered and unordered semantics denoted with o and u are instead de ned both as the smallest congruence satisfying only (i), : : :, (viii).... ..."

Cited by 11

### Table 7: Distribution of linguistic phenomena in FN instances

"... In PAGE 7: ... For each FN we investi- gated which linguistic phenomena may be respon- sible for them going undetected. Table7 details the linguistic phenomena associated with the in- stances in the MIM corpus. The second row shows the total number of instances annotated with the specific phenomena.... ..."

### Table 1. (Example 1): = 1, Un = Fn

"... In PAGE 19: ... (Example 1): =0:5, Un = Fn n 16 32 64 128 256 512 Z 000 0 0 0 R *** * * * L *** * * * Table 4. (Example 1): =0,Un = Fn n 16 32 64 128 256 512 Z 022 2 2 2 R **1 1 1 1 L **0 0 0 0 Table1 shows very clearly that 1 belongs to ER(f) while Tables 3 and 4 show that f0:5; 0g\ER(f)=;. Table 2 is more interesting: the value 8=9=0:8889 = 2 ER(f), but the interval (8=9 ; 8=9+ )=(0:7889; 0:9889) is very close to 1 and mfx 2 [ ; ]:f(x)=1g = .... ..."

### Table 1: Numerical values for Fn and Hn

"... In PAGE 12: ...35) It is useful to compute the integrated cross section n = 1 2 Z +1 ?1 (n) tot d! = GMv2 s c3 Fn(2!BD + 3) 2(!BD + 2 : (3.36) A few numerical values of Fn are given in Table1 for a standard value of the Poisson ratio, P = 1=3. For this value of P , an analytic expression for the integral which appears in the de nition of Fn is given in the appendix.... In PAGE 16: ...58) with Hn := 3(1 + P ) [(j2(qn0R)=qn0R)]2(kn0R)5 (Z kn0R 0 [kn0rj0 0(qn0r)]2 d(kn0r) )?1 = = 3(1 + P ) [(j2(qn0R)=qn0R)]2(kn0R)2(qn0R)3 quot;1 2(qn0R) + 1 4 sin(2qn0R) ? sin2(qn0R) qn0R #?1 : (3.59) Taking a standard value for the Poisson ratio, P = 1=3, we report in Table1 the values of Hn and Fn. It is useful to determine also the integrated cross section: n0 = 1 2 Z +1 ?1 (n0) tot d! = GMv2 s c3 Hn !BD + 2 (3.... In PAGE 17: ...From Table1 we can infer the ratio between the integrated cross section for the modes with l = 0; m = 0, and the integrated cross section for the modes with... ..."

### Table 1: Definition of TP, TN, FP and FN

2006

"... In PAGE 13: ... The sensitivity, also known as true positive rate (TPR), is the percentage of cor- rect prediction of true sites and specificity is the percent- age of correct prediction of false sites. Specificity is the correct prediction of the false sites as defined below: where, TP, TN, FP, and FN denote the number of true pos- itives, true negatives, false positives, and false negatives (see Table1 ) [29]. All the results in this paper refer to the canonical (GT/AG) splice sites leaving detection of the much less frequent (0.... ..."