Abstract Classically, in saturation-based proof systems, unification has been considered atomic. However, it is also possible to move the calculus level, turning steps of algorithm into inferences. For calculi that rely on procedures returning large or even infinite sets unifiers, integrating an attractive method dovetailing and inference. This applies, for example, AC-superposition higher-orde...

Superpositions of periodic dot screens are largely used in electronic imaging in the field of color printing. In such superpositions the interaction between the superposed layers may cause new structures to appear which did not exist in any of the original layers: macrostructures (also known as moiré patterns) and microstructures (also known as rosettes). While macrostructures are not always ge...

Superposition is a mapping on point configurations that sends the n-tuple (x1, . . . , xn) ∈ X into the n-point configuration {x1, . . . , xn} ⊂ X , counted with multiplicity. It is an additive set operation such the superposition of a k-point configuration in X is a kn-point configuration in X . A Poisson superposition process is the superposition in X of a Poisson process in the space of fini...

Superposition is a mapping on point configurations that sends the n-tuple (x1, . . . , xn) ∈ X into the n-point configuration {x1, . . . , xn} ⊂ X , counted with multiplicity. It is an additive set operation such the superposition of a k-point configuration in X is a kn-point configuration in X . A Poisson superposition process is the superposition in X of a Poisson process in the space of fini...

Many introductory circuits texts state or imply that superposition of dependent sources cannot be used in linear circuit analysis. Although the use of superposition of only independent sources leads to the correct solution, it does not make use of the full power of superposition. The use of superposition of dependent sources often leads to a simpler solution than other techniques of circuit ana...

Atoms and molecules prepared in well-defined coherent superpositions of energy states exhibit many interesting properties, such as dark resonances [1], subrecoil laser cooling [2–5], electromagnetically induced transparency [6–8], radiation amplification without population inversion [9–12], refractive index enhancement without absorption [13], and enhanced harmonic generation [14,15]. Coherent ...

The solution of nonlinear dynamic equilibrium equations using mode superposition and substructuring is studied. The objective is to design schemes that in some analyses can significantly decrease the computational effort involved when compared to a complete direct integration solution. Specific schemes for mode superposition analysis and substructuring are proposed. These techniques have been i...

This paper introduces a new decision procedure for PLTL based on labelled superposition. Its main idea is to treat temporal formulas as infinite sets of purely propositional clauses over an extended signature. These infinite sets are then represented by finite sets of labelled propositional clauses. The new representation enables the replacement of the complex temporal resolution rule, suggeste...

Topology preservation, the central feature of SOM, proves to be difficult to define and quantify. We propose new criteria and measurements for order preservation, based on the superposition of neuron cells in the input space. As an application, we establish a taxonomy of topological errors and disorder states and use it for error detection in 2-dimensional SOM during the first learning epochs.