Results 31 to 40 of about 12,475,330 (320)
Instance reducibility and Weihrauch degrees [PDF]
Logical Methods in Computer Science, 2022 We identify a notion of reducibility between predicates, called instance reducibility, which commonly appears in reverse constructive mathematics. The notion can be generally used to compare and classify various principles studied in reverse constructive
Andrej Bauer
doaj +1 more source
Nanomaterials, 2021 Three bimetallic catalysts of the type M–Cu with M = Ag, Au and Ni supports were successfully prepared by a two-step synthesized method using Cu/Al2O3-CeO2 as the base monometallic catalyst.
Zenaida Guerra-Que +9 more
doaj +1 more source
Microporosity of BIF hosted massive hematite ore, Iron Quadrangle, Brazil
Anais da Academia Brasileira de Ciências, 2002 Massive hematite ore (MHO) is a special high-grade iron ore, used as lump ore in the process of obtaining direct reduction iron (DRI). The influence of porosity on the reducibility of MHO from the Capitão do Mato Mine (Iron Quadrangle, Brazil) was ...
CÉSAR A.C. VARAJÃO +3 more
doaj +1 more source
Σ -Reducibility and lm -Reducibility of Sets and Sequences of Sets [PDF]
Учёные записки Казанского университета: Серия Физико-математические науки, 2016 Limitwise monotonic sets, pairs of sets, and sequences consisting of infinite sets are studied in the paper. The main properties of limitwise monotonic reducibility between two sets, as well as between the set and a pair of sets defined in terms of Σ ...
D.Kh. Zainetdinov
doaj
Reducibility of the Quantum Harmonic Oscillator in $d$-dimensions with Polynomial Time Dependent Perturbation [PDF]
, 2017 We prove a reducibility result for a quantum harmonic oscillator in arbitrary dimensions with arbitrary frequencies perturbed by a linear operator which is a polynomial of degree two in $x_j$, $-i \partial_j$ with coefficients which depend ...
D. Bambusi +3 more
semanticscholar +1 more source
Nonuniform dichotomy spectrum and reducibility for nonautonomous difference equations
Advances in Nonlinear Analysis, 2021 For nonautonomous linear difference equations, we introduce the notion of the so-called nonuniform dichotomy spectrum and prove a spectral theorem. As an application of the spectral theorem, we prove a reducibility result.
Chu Jifeng +4 more
doaj +1 more source
Reducible and $\partial $-reducible handle additions [PDF]
Transactions of the American Mathematical Society, 2008 From the author's introduction: ``Let \(M\) be a compact 3-manifold. For a component \(F\) of \(\partial M\), a slope \(\gamma\) on \(F\) is an isotopy class of essential simple closed curves on \(F\). The distance between two slopes \(\alpha\) and \(\beta\) on \(F\), denoted by \(\Delta(\alpha, \beta)\), is the minimal geometric intersection number ...
Qiu, Ruifeng, Zhang, Mingxing
openaire +1 more source
Reducibility of Schrödinger Equation on the Sphere
, 2020 In this article we prove a reducibility result for the linear Schrödinger equation on the sphere $\mathbb{S}^n$ with quasi-periodic in time perturbation.
R. Feola, B. Grébert
semanticscholar +1 more source
Reducibility of Schrödinger equation on a Zoll manifold with unbounded potential [PDF]
, 2019 In this article we prove a reducibility result for the linear Schr\"odinger equation on a Zoll manifold with quasi-periodic in time pseudo-differential perturbation of order less or equal than $1/2$.
R. Feola, B. Gr'ebert, Trung Nguyen
semanticscholar +1 more source
Reducibility of first order linear operators on tori via Moser's theorem [PDF]
Journal of Functional Analysis, 2018 In this paper we prove reducibility of classes of linear first order operators on tori by applying a generalization of Moser's theorem on straightening of vector fields on a torus.
R. Feola +3 more
semanticscholar +1 more source