Results 31 to 40 of about 26,719 (309)
Particular case of operator calculus for generalized functions with supports in cone
Karpatsʹkì Matematičnì Publìkacìï, 2012 In this work the construction of functional calculus for strongly continuous semigroups of operators in Schwartz distribution algebra on some cone is generalized.
A. V. Solomko
doaj +1 more source
Electronic Proceedings in Theoretical Computer Science, 2013 We introduce a functional calculus with simple syntax and operational semantics in which the calculi introduced so far in the Curry-Howard correspondence for Classical Logic can be faithfully encoded.
Alberto Carraro +2 more
doaj +1 more source
Non-occurrence of the Lavrentiev phenomenon for a class of convex nonautonomous Lagrangians
Open Mathematics, 2020 We consider the classical functional of the Calculus of Variations of the ...
Mariconda Carlo, Treu Giulia
doaj +1 more source
A contextual semantics for concurrent Haskell with futures [PDF]
, 2011 In this paper we analyze the semantics of a higher-order functional language with concurrent threads, monadic IO and synchronizing variables as in Concurrent Haskell. To assure declarativeness of concurrent programming we extend the language by implicit,
Sabel, David +3 more
core +1 more source
Quantitative functional calculus in Sobolev spaces
Journal of Function Spaces and Applications, 2004 In the frame work of Sobolev (Bessel potential) spaces Hn(Rd,R or C), we consider the nonlinear Nemytskij operator sending a function x∈Rd↦f(x) into a composite function x∈Rd↦G(f(x),x).
Carlo Morosi, Livio Pizzocchero
doaj +1 more source
The Arens-Calderon theorem for commutative topological algebras
Extracta MathematicaeA theorem of Arens and Calderon states that if A is a commutative Banach algebra with Jacobson radical Rad(A), and if a0 , . . . , an∈ A with a0 ∈ Rad(A) and a1 an invertible element of k A, then there exists y ∈ Rad(A) such that Σ ak yk = 0.
M. Weigt, I. Zarakas
doaj +1 more source
On The Calculus Of Smarandache Function
, 1996 Approaching Smarandache Function.
Dumitrescu, C., Rocsoreanu, C.
openaire +3 more sources
FEBS Letters, EarlyView.The Ile181Asn variant of human UDP‐xylose synthase (hUXS1), associated with a short‐stature genetic syndrome, has previously been reported as inactive. Our findings demonstrate that Ile181Asn‐hUXS1 retains catalytic activity similar to the wild‐type but exhibits reduced stability, a looser oligomeric state, and an increased tendency to precipitate ...
Tuo Li +2 more
wiley +1 more source
Cut-Simulation and Impredicativity [PDF]
Logical Methods in Computer Science, 2009 We investigate cut-elimination and cut-simulation in impredicative (higher-order) logics. We illustrate that adding simple axioms such as Leibniz equations to a calculus for an impredicative logic -- in our case a sequent calculus for classical type ...
Christoph Benzmueller +2 more
doaj +1 more source
FEBS Letters, EarlyView.We reconstituted Synechocystis glycogen synthesis in vitro from purified enzymes and showed that two GlgA isoenzymes produce glycogen with different architectures: GlgA1 yields denser, highly branched glycogen, whereas GlgA2 synthesizes longer, less‐branched chains.
Kenric Lee +3 more
wiley +1 more source