Results 1 to 10 of about 600 (183)
Coroutining Folds with Hyperfunctions [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 Fold functions are a general mechanism for computing over recursive data structures. First-order folds compute results bottom-up. With higher-order folds, computations that inherit attributes from above can also be expressed.
J. Launchbury +2 more
doaj +6 more sources
On Classes of Hyperfunctions of Rank 2 Generated by Maximal Multiclones [PDF]
Известия Иркутского государственного университета: Серия "Математика", 2017 The research of multifunctions is a one of the directions in discrete function’s investigations. Multifunction is a discrete function from a finite set A to all subsets of A. The set of hyperfunctions is a subset of set of multifunctions.
A.S. Zinchenko, V.I. Panteleyev
doaj +2 more sources
Ulam Problem for the Cosine Addition Formula in Sato Hyperfunctions [PDF]
Journal of Function Spaces, 2015 We prove the Ulam problem for the cosine addition formula in the spaces of Schwartz distributions and Sato hyperfunctions with respect to bounded distributions and bounded hyperfunctions.
Jaeyoung Chung, Soon-Yeong Chung
doaj +2 more sources
The Implementation of Infrared Thermography as Complementary Diagnostic Tool in Orthodontic Treatment Plan—Pilot Study [PDF]
ChildrenIntroduction: Infrared thermography (IRT) is a non-invasive, non-ionizing imaging modality capable of rapidly capturing surface temperature variation. In dentistry, particularly orthodontics and TMD evaluation, IRT may serve as a valuable complementary ...
André Brandão de Almeida +4 more
doaj +2 more sources
Operator calculus on the class of Sato’s hyperfunctions [PDF]
Karpatsʹkì Matematičnì Publìkacìï, 2013 We construct a functional calculus for generators of analytic semigroups of operators on a Banach space. The symbol class of the calculus consists of hyperfunctions with a compact support in $[0,\infty)$.
M.I. Patra, S.V. Sharyn
doaj +5 more sources
Criterion of Completeness and Submaximal Ultraclones for Linear Hyperfunctions of Rank 2
Известия Иркутского государственного университета: Серия "Математика", 2023 In recent years, the direction associated with the study of maps from a finite set A to the set of all subsets of the set A, including the empty one, has been intensively developing. Such mappings are called multifunctions on A, as well as hyperfunctions
I.K. Sharankhaev
doaj +1 more source
Negative Powers of Contractions Having a Strong AA+ Spectrum
Moroccan Journal of Pure and Applied Analysis, 2023 Zarrabi proved in 1993 that if the spectrum of a contraction T on a Banach space is a countable subset of the unit circle 𝕋, and if limn→+∞log(‖T−n‖)n=0{\lim _{n \to + \infty }}{{\log \left( {\left\| {{T^{ - n}}} \right\|} \right)} \over {\sqrt n ...
Esterle Jean
doaj +1 more source
Stability of Trigonometric Functional Equations in Generalized Functions
Journal of Inequalities and Applications, 2010 We consider the Hyers-Ulam stability of a class of trigonometric functional equations in the spaces of generalized functions such as Schwartz distributions, Fourier hyperfunctions, and Gelfand generalized functions.
Jeongwook Chang, Jaeyoung Chung
doaj +2 more sources
Generic Fibrational Induction [PDF]
Logical Methods in Computer Science, 2012 This paper provides an induction rule that can be used to prove properties of data structures whose types are inductive, i.e., are carriers of initial algebras of functors.
Neil Ghani +2 more
doaj +1 more source
Stability of Quartic Functional Equations in the Spaces of Generalized Functions
Advances in Difference Equations, 2009 We consider the general solution of quartic functional equations and prove the Hyers-Ulam-Rassias stability. Moreover, using the pullbacks and the heat kernels we reformulate and prove the stability results of quartic functional equations in the spaces ...
Chung Soon-Yeong, Lee Young-Su
doaj +2 more sources