### Table 10: Comparison of power and interdependence in the Kraljic matrix: theory and practice

in OUN

2005

"... In PAGE 12: ... We compared theoretical expectations on power and dependence levels with our empirical findings. Table10 summarises the differences between what is expected in the literature and ... ..."

### Table 9 Protocol theory complexity matrix Bounded # Roles Unbounded # Roles

1982

"... In PAGE 36: ...DEXPC forDEXP-complete, and Undec . for Undecidable. The entries also indi- cate which theorem is applicable in each case. Table9 is a more detailed summary of the complexity results, where we show more detail about the results for the upper and lower bounds. The columns are the same as in Table 8, but now the two main rows consider whether the intruder is allowed to generate fresh values or not.... In PAGE 36: ... If disequality is not allowed, then this test is not performed. Table9 shows the complexity results for these cases, using the same notation as for Table 8. The numeric references indicate the propositions about specific lower or upper bounds which we discuss in the following sections.... In PAGE 46: ....5.2. Ssize=k is Undecidable (Theorem 1) For the case of unbounded roles and unbounded existentials (the rightmost col- umn in Table9 ), we turn to results from Database theory, where the complexity results for Embedded Implicational Dependencies (EIDs) [17] and Datalog [22] can be applied. Embedded Implication Dependencies are exactly Horn clauses with ex- istentials and equality, as defined in Section 5.... In PAGE 55: ...301 We have identified an open problem for the complexity of the secrecy case with disequality, unbounded roles, and bounded nonces (the ??? box in Table9 ). We con- jecture that the additional power of the disequality test makes this case undecidable.... ..."

Cited by 2

### Table 8: D data with varying H-Matrix cuts t to theory with radiation.

"... In PAGE 10: ...19 all-stream data was processed with di erent H-matrix cuts (nominal cut: H-matrix 2 lt; 100) and t to theory Set 2 with radiative decays to determine the impact of this cut on the mass of the W. The results, given in Table8 , show no statistically signi cant dependence of the W mass on the H-matrix 2 cut. 6 Monte Carlo Simulation of Z Radiative decays of the Z were also added to the Monte Carlo program which simulates Z decay.... ..."

### Table 3. ACA data matrix (partial) and summary statistics. Authors involved in the Workshop on Singularity Theory and Its Applications to Wave Propagation Theory and Dynamical Systems (Isaac Newton Institute, 2000).

### Table 1: Overview on gauge formalisms: Gravity may be described by formulating a gauge theory of the a ne group. However, one has to ensure that the group, i.e. the Lie-algebra valued connection, applies to spacetime { is soldered to spacetime. This is done by splitting the connection into a linear part ? (with matrix indices that work on the basis e of the local tangent space) and an inhomogeneous part # (that replaces the holonomic coframe dx and thereby realizes a translational gauge). Analogously, the eld strength splits into the curvature R and the torsion T . Discarding the linear gauge (? 0), the theory reduces to teleparallelism.

### Table 2 gives the confusion matrices built from the clustering re- sults on CSTR dataset. The columns of the confusion matrix are NLP, Robotics/Vision, Systems and Theory respectively. The result shows Systems and Theory are much different from each other, and different from NLP and Robotics/Vision; NLP and Robotics/Vision are similar to each other; AI is more similar to SYSTEMS than ROBOTICS is.

2004

"... In PAGE 4: ... Table2 : Confusion matrix of technical reports by IFD. We now try to visualize the cluster structure that might be discov- ered by IFD algorithm.... ..."

Cited by 4

### Table 4: Summary of algorithms to solve stochastic games. Each contains a matrix game solving component and a temporal differencing component. Game Theory algorithms assume the transition and reward function is known. RL algorithms only receive observations of the transition and reward function.

2000

Cited by 17