### Table 1. Schematic representation of the algorithms underlying interval constraint solving (left) vs. basic DPLL SAT (right). The close analogy suggests a tight integration into a DPLL-style algo- rithm manipulating large Boolean combinations of arithmetic formulae via a homogeneous treat- ment of Boolean and arithmetic parts.

in Efficient solving of large non-linear arithmetic constraint systems with complex boolean structure

2007

"... In PAGE 8: ... 4. Integrating interval constraint propagation and SAT As can be seen from Table1 , branch-and-prune algorithms based on interval constraint propagation (ICP) with interval splitting and the core algorithm of DPPL SAT solving share a similar structure. This similarity motivates a tighter integration of propositional SAT and arithmetic reasoning than in classical lazy theorem proving.... ..."

Cited by 2

### Table 7.3: Coe cient of variance (CoV) of di erences in zonal power budgets be- tween OnePassAnalog and the UniformWorkload (UW) and the ZBD al- gorithms at 60% utilization. Small coe cients indicate a distribution that mimics OnePassAnalog closely, creating a similar exhaust pro le.

in by

2006

### Table 1. Analogy between the MCF and the GA

2001

"... In PAGE 4: ... It has been pointed out that there exists a close relationship between MCF and GA and that an essential structure involved in MCF is quite similar to that in GA (Higuchi 1997). The correspondence between MCF apos;s and GA apos;s terminology is summarized in Table1 . Here wegive a brief explanation of the strong parallelism of MCF to GA.... ..."

Cited by 2

### Table 1: Examples of systematic transformations of a target into literally similar (LS), merely-apparently similar (MA), analogical (AN), and less-analogical (LAN) descriptions.

"... In PAGE 10: ... This might produce The army returned to their castle, but they only dug in when the enemy approached. Table1 summarizes the different sorts of source types and their examples. 3Although this english-to-graph-representation parser has not yet been described in the literature, it is quite close to that reported in previous work from our laboratory (Winston, 1980, 1982).... ..."

### Table 3 Relative state energies (kcal molH110021) for planar TMM and aza analogs at optimized geometries

"... In PAGE 4: ... Attempts to start from geometries presumed optimal for the 2 1AH11032 state were similarly unsuccess- ful. Based on these results, we tentatively assign the optimized closed-shell-like wavefunction to be the 1 1AH11032 state, but emphasize that the open-shell-like singlet is very close in energy (as is also found for TMM and TMNH11001, see Table3 ), so the relative ordering of these two states cannot be definitively assigned. DFT calculations are not helpful in resolving this dilemma.... ..."

### Table 7.1: An analogy between analogies.

### Table 1: Constraint table for CD recorder.

"... In PAGE 4: ...Table1 . In the constraint table, the single shaded cell in each row may be thought of as the if part of a set of if - then statements, with the other cells in the same row giving the then parts.... ..."

### Table 1: Constraint table for CD recorder.

"... In PAGE 4: ...Table1 . In the constraint table, the single shaded cell in each row may be thought of as the if part of a set of if - then statements, with the other cells in the same row giving the then parts.... ..."

### Table 2: Interatomic potentials used for MgF2 calculations. Charges on the ions were taken to be +1:66 and ?0:83 for Mg and F. Values from [6]. It was checked at a few temperatures that a numerical minimisation of the free energy gave the same structure as the analytic one, in a way analogous to that shown in gure 1. Again, the two results were very close. The e ect on the lattice geometry and other properties of the number of k- vectors in the Brillouin zone integration was also investigated. The code approx- imates this integral by summing over a set of special points of high symmetry according to the scheme due to Monkhorst and Pack [2]. The size Nk of this set can be varied (although not arbitrarily) and the accuracy of the numerical integration thereby improved at the expense of execution time. One would ex- pect that if Nk is too small inaccuracies will result because the summation is too 5

### Table 1. Electromechanical analogies.

"... In PAGE 4: ... Electromechanical analogies allow usage of these laws for non-electrical systems, too. Some of these analogies are given in Table1 [9]. Table 1.... In PAGE 4: ... The reason is that the production of mechanical joints or rotational elements is very difficult and such devices are not reliable. On the other hand, bending of membranes, beams and other often used micromachined structures cannot be described by analogies given in Table1 . Partial differential equations (with derivatives with respect to spatial coordinates) are often necessary for description of such models.... ..."