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 ...

Many applications of automated deduction and verification require reasoning in combinations of theories, such as, on the one hand (some fragment of) first-order logic, and on, the other hand a background theory, such as some form of arithmetic. Unfortunately, due to the high expressivity of the full logic, complete reasoning is impossible in general. It is a realistic goal, however, to devise t...

Background: Heat stress in the steel industry is considered as a serious threat to the health and safety of workers. A wide spectrum of complications and diseases from mild disorders such as burning sensation to fatal conditions such as thermal shock may occur due to uncontrolled thermal stress. In this study, heat stress assessment was performed according to the wet-bulb globe temperature (WBG...

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.

The need for new tools for investigating biological systems on a large scale is becoming acute, particularly with respect to computationally intensive analyses such as comparisons of many three-dimensional protein structures. Structure superposition is a valuable approach for understanding evolutionary relationships and for the prediction of function. But while available tools are adequate for ...