Results 21 to 30 of about 4,689,287 (347)
Control Flow Analysis for SF Combinator Calculus [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 Programs that transform other programs often require access to the internal structure of the program to be transformed. This is at odds with the usual extensional view of functional programming, as embodied by the lambda calculus and SK combinator ...
Martin Lester
doaj +1 more source
A useful algebra for functional calculus [PDF]
Mathematica Bohemica, 2019 We show that some unital complex commutative LF-algebra of ${\mathcal{C}}^{(\infty)}$ $\mathbb{N}$-tempered functions on $\mathbb{R}^+$ (M. Hemdaoui, 2017) equipped with its natural convex vector bornology is useful for functional calculus.
Mohammed Hemdaoui
doaj +1 more source
Entropy, 2023 We studied the dynamical behaviors of degenerate stochastic differential equations (SDEs). We selected an auxiliary Fisher information functional as the Lyapunov functional.
Qi Feng, Wuchen Li
doaj +1 more source
Bounded holomorphic functional calculus for nonsymmetric Ornstein-Uhlenbeck operators [PDF]
ANNALI SCUOLA NORMALE SUPERIORE - CLASSE DI SCIENZE, 2016 We study bounded holomorphic functional calculus for nonsymmetric infinite dimensional Ornstein-Uhlenbeck operators ${\mathscr L}$. We prove that if $-{\mathscr L}$ generates an analytic semigroup on $L^{2}(\gamma_{\infty})$, then ${\mathscr L}$ has ...
A. Carbonaro, Oliver Dragivcevi'c
semanticscholar +1 more source
A SURJECTIVITY PROBLEM FOR MATRICES AND NULL CONTROLLABILITY FOR DIFFERENCE AND DIFFERENTIAL MATRIX EQUATIONS [PDF]
Surveys in Mathematics and its Applications, 2020 Let P be a complex polynomial. We prove that the associated polynomial matrix-valued function \tildeP is surjective if for each λ ∈ ℂ the polynomial P-λ has at least a simple zero. The null controllability for difference and differential matrix equations
Donal O'Regan, Constantin Buşe
doaj
Logical Methods in Computer Science, 2020 The main scientific heritage of Corrado B\"ohm consists of ideas about computing, concerning concrete algorithms, as well as models of computability. The following will be presented. 1. A compiler that can compile itself. 2.
Henk P. Barendregt
doaj +1 more source
Pusz–Woronowicz’s functional calculus revisited [PDF]
Acta Scientiarum Mathematicarum, 2021 This note is a complement to Pusz--Woronowicz's works on functional calculus for two positive forms from the viewpoint of operator theory. Based on an elementary, self-contained and purely Hilbert space operator explanation of their functional calculus, we show that any operator connection type operations (including any operator perspectives) are ...
Hatano, Kanae, Ueda, Yoshimichi
openaire +2 more sources
Factorizations in preduals associated to ρ-contractions
Annals of the West University of Timisoara: Mathematics and Computer Science, 2015 We establish directly factorization results for classes of ρ-contractions, corresponding to those obtained for certain classes of contractions. As an example of result which is not an immediate consequence of the fact that any ρ-contraction is similar to
Chevreau Bernard, Crăciunescu Aurelian
doaj +1 more source
A direct approach to the S-functional calculus for closed operators [PDF]
, 2016 The $S$-functional calculus for slice hyperholomorphic functions generalizes the Riesz-Dunford-functional calculus for holomorphic functions to quaternionic linear operators and to $n$-tuples of noncommuting operators.
J. Gantner
semanticscholar +1 more source
Homomorphisms and functional calculus in algebras of entire functions on Banach spaces
Karpatsʹkì Matematičnì Publìkacìï, 2015 In the paper the homomorphisms of algebras of entire functions on Banach spaces to a commutative Banach algebra are studied. In particular, it is proposed a method of constructing of homomorphisms vanishing on homogeneous polynomials of degree less or ...
H.M. Pryimak
doaj +1 more source