نتایج جستجو برای: lambda admissible mapping

تعداد نتایج: 231151  

Journal: :iranian journal of fuzzy systems 2013
pankaj kumar satvinder singh bhatia vijay kumar

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 [...

2012
Gilles Dowek

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...

2014
Joaquín Aguado Michael Mendler Reinhard von Hanxleden Insa Fuhrmann

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...

Journal: :Journal of Commutative Algebra 2009

Journal: :International Journal of Mathematics and Mathematical Sciences 2011

Journal: :Archive for Mathematical Logic 2007

2005
Ronald H.W. Hoppe Svetozara I. Petrova

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...

1998
JESPER M. MØLLER

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 ...

1996

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...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید