Results 101 to 110 of about 1,059,681 (321)
Structured algebraic specifications: A Kernel language
Theoretical Computer Science, 1986 A language called ASL for describing structured algebraic specifications is presented. ASL is a declarative higher-order language. It contains constructs for building (possibly infinite) signatures, sets of terms, and sets of formulas as well as constructs embodying primitive operations on algebraic specifications.
openaire +3 more sources
Cognition–Eye–Brain Connection in Alzheimer's Disease Spectrum Revealed by Multimodal Imaging
Journal of Magnetic Resonance Imaging, EarlyView.ABSTRACT Background The connection between cognition, eye, and brain remains inconclusive in Alzheimer's disease (AD) spectrum disorders. Purpose To explore the relationship between cognitive function, retinal biometrics, and brain alterations in the AD spectrum. Study Type Prospective.
Yan Shi +12 more
wiley +1 more source
Global and microlocal aspects of Dirac operators: Propagators and Hadamard states
Mathematische Nachrichten, EarlyView.Abstract We propose a geometric approach to construct the Cauchy evolution operator for the Lorentzian Dirac operator on Cauchy‐compact globally hyperbolic 4‐manifolds. We realize the Cauchy evolution operator as the sum of two invariantly defined oscillatory integrals—the positive and negative Dirac propagators—global in space and in time, with ...
Matteo Capoferri, Simone Murro
wiley +1 more source
Linear geometric algebra rotor estimator for efficient mesh deformation
IET Cyber-systems and Robotics, 2020 The authors solve the problem of estimating the best rotation aligning two sets of corresponding vectors (also known as Wahba's problem or point cloud registration).
Jin Wu +3 more
doaj +1 more source
Heisenberg‐smooth operators from the phase‐space perspective
Mathematische Nachrichten, EarlyView.Abstract Cordes' characterization of Heisenberg‐smooth operators bridges a gap between the theory of pseudo‐differential operators and quantum harmonic analysis (QHA). We give a new proof of the result by using the phase‐space formalism of QHA. Our argument is flexible enough to generalize Cordes' result in several directions: (1) we can admit general ...
Robert Fulsche, Lauritz van Luijk
wiley +1 more source
Some results on generalized finite operators and range kernel orthogonality in Hilbert spaces
Demonstratio Mathematica, 2021 Let ℋ{\mathcal{ {\mathcal H} }} be a complex Hilbert space and ℬ(ℋ){\mathcal{ {\mathcal B} }}\left({\mathcal{ {\mathcal H} }}) denotes the algebra of all bounded linear operators acting on ℋ{\mathcal{ {\mathcal H} }}.
Mesbah Nadia +2 more
doaj +1 more source
Note on Lie algebra kernels in characteristic 𝑝 [PDF]
Proceedings of the American Mathematical Society, 1956 Let K and L be Lie algebras over a field F. Let D(K) denote the derivation algebra of K, and I(K) the ideal consisting of the inner derivations of K. If q5 is a homomorphism of L into D(K)/I(K) then 4) defines what is called the structure of an L-kernel on K.
openaire +2 more sources
Mathematical Methods in the Applied Sciences, EarlyView.We develop a full randomization of the classical hyper‐logistic growth model by obtaining closed‐form expressions for relevant quantities of interest, such as the first probability density function of its solution, the time until a given fixed population is reached, and the population at the inflection point.
Juan Carlos Cortés +2 more
wiley +1 more source
Hochshild cohomology of the associative conformal algebra Cend_{1,x}
, 2017 It is established in this work that second Hochshild cohomology group of the associative conformal algebra Cend_{1,x} is zero. As a corollary, this algebra split off in each extension with a nilpotent kernel.
Kozlov, Roman
core
Mathematical Methods in the Applied Sciences, EarlyView.A highly accurate numerical method is given for the solution of boundary value problem of generalized Bagley‐Torvik (BgT) equation with Caputo derivative of order 0<β<2$$ 0<\beta <2 $$ by using the collocation‐shooting method (C‐SM). The collocation solution is constructed in the space Sm+1(1)$$ {S}_{m+1}^{(1)} $$ as piecewise polynomials of degree at ...
Suzan Cival Buranay +2 more
wiley +1 more source