Results 11 to 20 of about 100,661 (193)
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 +10 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
Concurrence of superpositions [PDF]
Physical Review A, 2007 The bounds on concurrence of the superposition state in terms of those of the states being superposed are studied in this paper. The bounds on concurrence are quite different from those on the entanglement measure based on von Neumann entropy (Phys. Rev. Lett. 97, 100502 (2006)).
Yu, Chang-shui, Yi, X. X., Song, He-shan
openaire +2 more sources
CoRR, 2020 We present the Supermasks in Superposition (SupSup) model, capable of sequentially learning thousands of tasks without catastrophic forgetting. Our approach uses a randomly initialized, fixed base network and for each task finds a subnetwork (supermask) that achieves good performance.
Mitchell Wortsman +6 more
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
openaire +6 more sources
Resource Theory of Superposition [PDF]
Physical Review Letters, 2017 The superposition principle lies at the heart of many non-classical properties of quantum mechanics. Motivated by this, we introduce a rigorous resource theory framework for the quantification of superposition of a finite number of linear independent states. This theory is a generalization of resource theories of coherence.
Theurer, T. +3 more
openaire +5 more sources
A quantum inspired MADM method and the application in E-commerce recommendation
Technological and Economic Development of Economy, 2018 In this paper, a quantum inspired MADM method is proposed. Inspired by quantum theory, the decision process is considered as a quantum probability system.
Shuli Liu
doaj +1 more source
Superpositions of probability distributions [PDF]
Physical Review E, 2008 Probability distributions which can be obtained from superpositions of Gaussian distributions of different variances v = σ^2 play a favored role in quantum theory and financial markets. Such superpositions need not necessarily obey the Chapman-Kolmogorov semigroup relation for Markovian processes because they may introduce memory effects. We derive the
Jizba, Petr, Kleinert, Hagen
openaire +3 more sources
Prediction and effect analysis of surface vibration waveform for group hole delay blasting
Yantu gongcheng xuebao, 2020 In order to solve the shortcomings of the existing surface vibration waveform prediction method for group-hole delay blasting, a new method is proposed, and the surface vibration effects of group-hole delay blasting are analyzed.
LIU Xiao-ming 1, CHEN Shi-hai 1, 2
doaj +1 more source
The copper deposits of Bor, eastern Serbia: Geology and origin of the deposits [PDF]
Geološki Anali Balkanskoga Poluostrva, 2014 The copper deposits of Bor, volcanic activities in the area and relationship of minerals through time are presented by formations within the Cenomanian-Turonian range.
Antonijević Ivan, Mijatović Predrag
doaj +1 more source