نتایج جستجو برای: lambda admissible mapping
تعداد نتایج: 231151 فیلتر نتایج به سال:
for any lacunary sequence $theta = (k_{r})$, we define the concepts of $s_{theta}-$limit point and $s_{theta}-$cluster point of a sequence of fuzzy numbers $x = (x_{k})$. we introduce the new sets $lambda^{f}_{s_{theta}}(x)$, $gamma^{f}_{s_{theta}}(x)$ and prove some inclusion relaions between these and the sets $lambda^{f}_{s}(x)$, $gamma^{f}_{s}(x)$ introduced in ~cite{ayt:slpsfn} by aytar [...
Brouwer, Heyting, and Kolmogorov have proposed to define constructive proofs as algorithms, for instance, a proof of A ⇒ B as an algorithm taking proofs of A as input and returning proofs of B as output. Curry, De Bruijn, and Howard have developed this idea further. First, they have proposed to express these algorithms in the lambda-calculus, writing for instance λf A⇒A⇒B λx A (f x x) for the p...
Using a new domain-theoretic characterisation we show that Berry’s constructive semantics is a conservative approximation of the recently proposed sequentially constructive (SC) model of computation. We prove that every Berry-constructive program is deterministic and deadlock-free under sequentially admissible scheduling. This gives, for the first time, a natural interpretation of Berry-constru...
The paper deals with structural optimization of biomorphic microcellular ceramics invoking an elasto– plasticity with the von Mises yield criterion in the macroscopic model. The return mapping algorithms introduced by Simo and Ortiz in 1985 are applied for the numerical solution of the problem. The latter methods are computationally effective, robust and stable, and have recently become the mos...
It is well-known that any morphism between two p-compact groups will lift, nonuniquely, to an admissible morphism between the maximal tori. We identify here a class of pcompact group morphisms, the p-toric morphisms, which can be perceived as generalized rational isomorphisms, enjoying the stronger property of lifting uniquely to a morphism between the maximal torus normalizers. We investigate ...
Fr echet diierentiability of the solution of the heat equation with respect to a nonlinear boundary condition Arnd RR osch Abstract. Consider the heat equation with a nonlinear function in the boundary condition which depends only on the boundary values x of the solution u of the initial-boundary value problem. The function belongs to a set of admissible diierentiable or uniformly Lipschitz con...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید