Results 21 to 30 of about 22,264 (219)

A Strict Constrained Superposition Calculus for Graphs

, 2023
AbstractWe propose a superposition-based proof procedure to reason on equational first order formulas defined over graphs. First, we introduce the considered graphs that are directed labeled graphs with lists of roots standing for pins or interfaces for replacements. Then the syntax and semantics of the considered logic are defined.
Rachid Echahed, Mnacho Echenim, Mehdi Mhalla, Nicolas Peltier   +3 more
openaire   +1 more source

Two linearities for quantum computing in the lambda calculus [PDF]

, 2019
We propose a way to unify two approaches of non-cloning in quantum lambda-calculi: logical and algebraic linearities. The first approach is to forbid duplicating variables, while the second is to consider all lambda-terms as algebraic-linear functions ...
Dowek, Gilles, Díaz-Caro, Alejandro, Rinaldi, Juan Pablo   +2 more
core   +3 more sources

Particle dynamics and transport enhancement in a confined channel with position-dependent diffusivity

New Journal of Physics, 2020
This work focuses on the dynamics of particles in a confined geometry with position-dependent diffusivity, where the confinement is modelled by a periodic channel consisting of unit cells connected by narrow passage ways.
Yongge Li, Ruoxing Mei, Yong Xu, Jürgen Kurths, Jinqiao Duan, Ralf Metzler   +5 more
doaj   +1 more source

Linear representations of probabilistic transformations induced by context transitions [PDF]

, 2001
By using straightforward frequency arguments we classify transformations of probabilities which can be generated by transition from one preparation procedure (context) to another.
Accardi L, Accardi L, Andrei Khrennikov, Ballentine L, Ballentine L E, Beltrametti E, Busch P, d'Espagnat B, Davies E B, De Muynck W, De Muynck W, Dirac P A M, Dirac P A M, Feynman R, Feynman R P, Gudder S P, Heisenberg W, Holevo A S, Jauch J M, Khrennikov A, Khrennikov A Yu, Khrennikov A Yu, Khrennikov A Yu, Khrennikov A Yu, Kolmogoroff A N, Kolmogoroff A N, Ludwig G, Peres A, Tornier E, Ville J, von Mises R, von Neumann J, Wigner E   +32 more
core   +4 more sources

A Superposition-Based Calculus for Quantum Diagrammatic Reasoning and Beyond

, 2021
We introduce a class of rooted graphs which allows one to encode various kinds of classical or quantum circuits. We then follow a set-theoretic approach to define rewrite systems over the considered graphs and propose a new complete Superposition callculus which handles sets of formulas consisting of equations or disequations over these graphs.
Echahed, Rachid, Echenim, Mnacho, Mhalla, Mehdi, Peltier, Nicolas   +3 more
openaire   +2 more sources

Investigating and improving introductory physics students’ understanding of electric field and the superposition principle: The case of a continuous charge distribution

Physical Review Physics Education Research, 2019
We discuss an investigation of the difficulties that students in a calculus-based university introductory physics course have with electric field and the superposition principle for the case of a continuous charge distribution and how that research was ...
Jing Li, Chandralekha Singh
doaj   +1 more source

Basic Logic and Quantum Entanglement [PDF]

, 2006
As it is well known, quantum entanglement is one of the most important features of quantum computing, as it leads to massive quantum parallelism, hence to exponential computational speed-up.
Battilotti G, Bell J S, Birkhoff G, Gentzen G, Jozsa R, Nielsen M A, P A Zizzi, Zizzi P   +7 more
core   +2 more sources

Lecture notes on the DiPerna-Lions theory in abstract measure spaces [PDF]

, 2016
These notes closely correspond to a series of lectures given by the first author in Toulouse, on the recent extension of the theory of ODE well-posedness to abstract spaces, jointly obtained by the two authors.
Ambrosio, Luigi, Trevisan, Dario
core   +3 more sources

On the Rigorous Correspondence Between Operator Fractional Powers and Fractional Derivatives via the Sonine Kernel

Fractal and Fractional
Traditional operational calculus, while intuitive and effective in addressing problems in physical fractal spaces, often lacks the rigorous mathematical foundation needed for fractional operations, sometimes resulting in inconsistent outcomes. To address
Zelin Liu, Xiaobin Yu, Yajun Yin
doaj   +1 more source

Geometry of the Nonabelian DBI Dyonic Instanton [PDF]

, 2000
We introduce a calculus of the Lie algebra valued functions present in Tseytlin's proposal for the nonabelian DBI action, and apply it to show that the recently found dyonic instanton is a solution of the full nonabelian DBI action.
Aganagic, Bain, Belavin, Bergshoeff, Brecher, Callan, Cederwall, Cederwall, de Mello Koch, Douglas, Gauntlett, Hashimoto, Hashimoto, Lambert, Lee, M. Zamaklar, Myers, Polchinski, Tseytlin, Tseytlin, Witten   +20 more
core   +2 more sources