### Table 7. Query-Kind Filter Table for Template Focus Query Mi Di Fi Cl Fu CT FT Va En Er Ty Ma

### Table 2.4. Seq(A) = 1 + A + A A + A A A + = X0 i Ai

### Table 6 Ax. mkh(h) = mk(h; h; r(h); l(h); h) mkv(v) = mk(v; l(v); v; v; r(v)) mkh(m) : Hmix mkh(h) : Harrow mkv(m) : Vmix mkv(v) : Varrow mk(a; a; a; a; a) : Object mk(a; a; a; a; a) = a

"... In PAGE 16: ... Moreover, the isomorphisms between internal and external sorts are given by mkh and mkv. Their inverses can be easily de ned using a projection operator prj (see Table6 , for all l : 2cell, s : Basic, p : Dcell, h; g : Horizontal, u; v : Vertical, m : Mix, a : Object, ha : Harrow, va : Varrow, hm : Hmix, vm : VMix). To conclude the de nition of T2EVHCAT, we add a double category structure on the Dcell apos;s.... ..."

### Table 1: BNF syntax of the continuous-time part of .

"... In PAGE 4: ... For this purpose, the number of active equations must be equal to the number of continuous variables. A summary of the continuous-time language constructs in Backus-Naur Form (BNF) is given in Table1 , where r is an expression of type real. Table 1: BNF syntax of the continuous-time part of .... ..."

### Table 3: Rate Monotonic applied on a Continuous-time controller

2007

### Table 3. The number of isomorphism classes of Bass, Gorenstein and arbitrary orders in H p and M2 = M2(K), when p = (2).

"... In PAGE 16: ...STEFAN JOHANSSON case. We summarise everything in Table3 . The numbers n and in Table 3 satisfy n 9 and = 13; if n 2 (mod 3) 0; otherwise.... In PAGE 18: ... From Table 1, we get that there are 1 isomorphism class of orders with d(O3) = (72) = (32) in H 3 and 3 in M2(Q3). Furthermore, Table3 implies... ..."

### Table 8 The Global Continuous Time Structural Semantics

"... In PAGE 6: ....e. initiates an update, via a so called Poisson process (see e.g. [14, Sect 2.4]). The global semantics for pKLAIM is de ned in Table8 . The transition relation _ ? tij + 3 between two network con gurations Ni and Nj is labelled by rates tij which are obtained as a product between the ring rate of the node which initiates the update and the normalised probabilities of the local tran- sitions occurring in the nodes involved in the update.... ..."

### Table 1: Required minimum performance in terms of apparent phase margin for a Continuous-time controller

2007