Results 11 to 20 of about 171,730 (288)
Entanglement of Superposition and Superposition of Entanglement
, 2020 We consider that the superposition of space is given by the Bell states and that those states are in superposition themselves.
Matheus Pereira Lobo
openaire +3 more sources
Superposition for Fixed Domains [PDF]
ACM Transactions on Computational Logic, 2008 Superposition is an established decision procedure for a variety of first-order logic theories represented by sets of clauses. A satisfiable theory, saturated by superposition, implicitly defines a minimal term-generated model for the theory. Proving universal properties with respect to a saturated theory directly leads to a modification of the minimal
Horbach, M. +1 more
core +11 more sources
Superposition with Delayed Unification
, 2023 AbstractClassically, in saturation-based proof systems, unification has been considered atomic. However, it is also possible to move unification to the calculus level, turning the steps of the unification algorithm into inferences. For calculi that rely on unification procedures returning large or even infinite sets of unifiers, integrating unification
Ahmed Bhayat +2 more
openaire +3 more sources
Reducibility Constraints in Superposition [PDF]
Abstract Modern superposition inference systems aim at reducing the search space by introducing redundancy criteria on clauses and inferences. This paper focuses on reducing the number of superposition inferences with a single clause by blocking inferences into some terms, provided there were previously made inferences of a certain form ...
Márton Hajdú +3 more
openaire +2 more sources
, 1998 In this paper we solve a long-standing open problem by showing that strict superposition—that is, superposition without equality factoring—is refutationally complete. The difficulty of the problem arises from the fact that the strict calculus, in contrast to the standard calculus with equality factoring, is not compatible with arbitrary removal of ...
Bachmair, L., Ganzinger, H.
openaire +4 more sources
Superposition with Lambdas [PDF]
Journal of Automated Reasoning, 2019 AbstractWe designed a superposition calculus for a clausal fragment of extensional polymorphic higher-order logic that includes anonymous functions but excludes Booleans. The inference rules work on $$\beta \eta $$ β η -equivalence classes of $$\lambda $$
Bentkamp, Alexander +4 more
openaire +12 more sources
Online sensor testing through superposition of encoded stimulus. [PDF]
, 2007 Online monitoring remains an important requirement for a range of microsystems. The solution based on the injection of an actuating test stimulus into the bias structure of active devices holds great potential.
Richardson, Andrew +4 more
core +4 more sources
Entanglement of Superpositions [PDF]
Physical Review Letters, 2006 Given a bipartite quantum state (in arbitrary dimension) and a decomposition of it as a superposition of two others, we find bounds on the entanglement of the superposition state in terms of the entanglement of the states being superposed. In the case that the two states being superposed are biorthogonal, the answer is simple, and, for example, the ...
Linden, Noah +2 more
openaire +3 more sources
, 2016 Exhibition/ Installation GalleryGRO, Jakobstad, Finland In superposition brings together a number of ideas on photography, performance and observation.
Bevan, Paul
core +5 more sources
HannahFP/Superposition: Parallels of quantum superposition in ecological models
, 2022 <p>All data and code used for analyses in paper "Parallels of quantum superposition in ecological models: from counterintuitive patterns to eco-evolutionary interpretations of cryptic species".</p ...
Hannah Fried-Petersen
core +1 more source