نتایج جستجو برای: derivations
تعداد نتایج: 7017 فیلتر نتایج به سال:
in the first chapter we study the necessary background of structure of commutators of operators and show what the commutator of two operators on a separable hilbert space looks like. in the second chapter we study basic property of jb and jb-algebras, jc and jc-algebras. the purpose of this chapter is to describe derivations of reversible jc-algebras in term of derivations of b (h) which are we...
We propose a study of the modes of derivation of higher-order recursion schemes, proving that value trees obtained from schemes using innermost-outermost derivations (IO) are the same as those obtained using unrestricted derivations. Given that higher-order recursion schemes can be used as a model of functional programs, innermost-outermost derivations policy represents a theoretical view point...
This paper shows how derivations in (a variation of) SKS can be translated into proof nets. Since an SKS derivation contains more information about a proof than the corresponding proof net, we observe a loss of information which can be understood as “eliminating bureaucracy”. Technically this is achieved by cut reduction on proof nets. As an intermediate step between the two extremes, SKS deriv...
Given a categorical crossed module H→ G, where G is a group, we show that the category of derivations, Der(G,H), from G into H has a natural monoidal structure. We introduce the Whitehead categorical group of derivations as the Picard category of Der(G,H) and then we characterize the invertible derivations, with respect to the tensor product, in this monoidal category. 2000 Mathematics Subject ...
Let $mathfrak{A}$ be a Banach algebra. We say that a sequence ${D_n}_{n=0}^infty$ of continuous operators form $mathfrak{A}$ into $mathfrak{A}$ is a textit{local higher derivation} if to each $ainmathfrak{A}$ there corresponds a continuous higher derivation ${d_{a,n}}_{n=0}^infty$ such that $D_n(a)=d_{a,n}(a)$ for each non-negative integer $n$. We show that if $mathfrak{A}$ is a $C^*$-algebra t...
Quasicoherent sheaves should be thought of as the scheme-theoretic analogs of vector bundles. This analogy might lead one to think that vector bundles over a scheme X should be locally free OX-modules, but this turns out not to be an abelian category, and the category of quasicoherent sheaves contains the category of locally free OX-modules. There are two different different definitions we coul...
This paper presents a research note on the degree to which strictly incremental derivations (that is derivations which are fully connected at each point in time) are possible in Combinatory Categorial Grammar (CCG). There has been a recent surge of interest in incremental parsing both from the psycholinguistic community in a bid to build psycholinguistically plausible models of language compreh...
In this paper, we introduce the notion of a generalized f -derivation in a BEalgebra, and obtain some properties in generalized f -derivations. Also, we characterized isotone generalized f -derivations and KerD. Mathematics Subject Classification: 06F35, 03G25, 08A30
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید