نتایج جستجو برای: lambda chi zeta type contraction mapping
تعداد نتایج: 1641618 فیلتر نتایج به سال:
We note that in a system far from equilibrium the interface roughening may depend on the system size which plays the role of control parameter. To detect the size effect on the interface roughness, we study the scaling properties of rough interfaces formed in paper combustion experiments. Using paper sheets of different width lambda L0, we found that the turbulent flame fronts display anomalous...
In this paper we invite the reader to a journey through three lambda calculi with resource control: the lambda calculus, the sequent lambda calculus, and the lambda calculus with explicit substitution. All three calculi enable explicit control of resources due to the presence of weakening and contraction operators. Along this journey, we propose intersection type assignment systems for all thre...
A journey through resource control lambda calculi and explicit substitution using intersection types
In this paper we invite the reader to a journey through three lambda calculi with resource control: the lambda calculus, the sequent lambda calculus, and the lambda calculus with explicit substitution. All three calculi enable explicit control of resources due to the presence of weakening and contraction operators. Along this journey, we propose intersection type assignment systems for all thre...
In this paper we introduce a generalization of Meir-Keeler contraction forrandom mapping T : Ω×C → C, where C be a nonempty subset of a Banachspace X and (Ω,Σ) be a measurable space with being a sigma-algebra of sub-sets of. Also, we apply such type of random fixed point results to prove theexistence and unicity of a solution for an special random integral equation.
In this paper we investigate a kind of boundary value problem involving a fractional differential equation. We study the existence of positive solutions of the problem that fractional derivative is the Reimann-Liouville fractional derivative. At first the green function is computed then it is proved that the green function is positive. We present necessary and sufficient conditions for existen...
Chi sites in bacteriophage lambda stimulate recombination promoted by the RecBC pathway of Escherichia coli. Mutations which create these sites occur at four widely separated loci in lambda. We report here the nucleotide sequence surrounding the site of one of these loci, chi D, located near the S gene. The mutations creating the active Chi site, designated chi +D, are transversions from CG to ...
We report an experimental observation of the enhancement of nondegenerate four-wave mixing (NDFWM) based on electromagnetically induced transparency (EIT) in a lambda-type three-level system of rubidium atoms. We measured both the linear susceptibility Im chi(D)((1)) (absorption) and the third-order nonlinear coefficient chi(D)((3)) separately for the NDFWM process at a low atomic density. We f...
Some basic results for Dirichlet series ψ with positive terms via log-convexity properties are pointed out. Applications for Zeta, Lambda and Eta functions are considered. The concavity of the function 1/ψ is explored and, as a main result, it is proved that the function 1/ζ is concave on (1,∞) . As a consequence of this fundamental result it is noted that Zeta at the odd positive integers is b...
P lotkin demonstrated how two diierent parameter-passing mechanisms could be explained by two diierent translations from the-calculus into the calculus of the continuation passing style 12]. Each of his transformations makes the control operations of each particular mechanism explicit in the transformed term, so that reduction of the transformed term by either mechanism produces equivalent resu...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید