نتایج جستجو برای: linear alphabeta derivations

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

Journal: :Biochemistry 2001
J Kim F M Raushel

Carbamoyl phosphate synthetase (CPS) from Escherichia coli is allosterically regulated by the metabolites ornithine, IMP, and UMP. Ornithine and IMP function as activators, whereas UMP is an inhibitor. CPS undergoes changes in the state of oligomerization that are dependent on the protein concentration and the binding of allosteric effectors. Ornithine and IMP promote the formation of an (alpha...

Journal: :Theor. Comput. Sci. 1996
Vincent Danos Jean-Baptiste Joinet Harold Schellinx

All standard ‘linear’ boolean equations are shown to be computationally realized within a suitable classical sequent calculus LKp. Specifically, LKp can be equipped with a cut-elimination compatible equivalence on derivations based upon reversibility properties of logical rules. So that any pair of derivations, without structural rules, of F ⇒ G and G ⇒ F , where F , G are first-order formulas ...

Journal: :Journal of Geometry and Physics 2013

Journal: :Theor. Comput. Sci. 1996
Manuel Bronstein Marko Petkovsek

Pseudo-linear algebra is the study of common properties of linear differential and difference operators. We introduce in this paper its basic objects (pseudo-derivations, skew polynomials, and pseudo-linear operators) and describe several recent algorithms on them, which, when applied in the differential and difference cases, yield algorithms for uncoupling and solving systems of linear differe...

Journal: :international journal of nonlinear analysis and applications 0
khalil ekrami department of mathematics, payame noor university madjid mirzavaziri department of pure mathematics and center of excellence in analysis on algebraic struc-tures (ceaas), ferdowsi university of mashhad hamid reza ebrahimi vishki department of pure mathematics and center of excellence in analysis on algebraic struc-tures (ceaas), ferdowsi university of mashhad,

let $mathfrak{a}$ be an algebra. a linear mapping $delta:mathfrak{a}tomathfrak{a}$ is called a textit{derivation} if $delta(ab)=delta(a)b+adelta(b)$ for each $a,binmathfrak{a}$. given two derivations $delta$ and $delta'$ on a $c^*$-algebra $mathfrak a$, we prove that there exists a derivation $delta$ on $mathfrak a$ such that $deltadelta'=delta^2$ if and only if either $delta'=0$...

2009
Huai-Xin Cao Ji-Rong Lv J. M. Rassias Jozsef Szabados

We discuss the superstability of generalized module left derivations and generalized module derivations on a Banach module. Let A be a Banach algebra and X a Banach A-module, f : X → X and g : A → A. The mappings Δ1 f,g , Δ2 f,g , Δ3 f,g , and Δ4 f,g are defined and it is proved that if ‖Δ1 f,g x, y, z,w ‖ resp., ‖Δ3 f,g x, y, z,w, α, β ‖ is dominated by φ x, y, z,w , then f is a generalized re...

2008
MADJID MIRZAVAZIRI

The celebrated Kadison–Sakai theorem states that every derivation on a von Neumann algebra is inner. In this paper, we prove this theorem for ultraweakly continuous ∗-σ-derivations, where σ is an ultraweakly continuous surjective ∗-linear mapping. We decompose a σ-derivation into a sum of an inner σ-derivation and a multiple of a homomorphism. The so-called ∗-(σ, τ)-derivations are also discussed.

2005
M. MIRZAVAZIRI

The celebrated Kadison-Sakai Theorem states that all derivations on von Neumann algebras are inner. In this paper, we generalize this theorem to the so-called ∗-σderivations where σ is a weakly continuous ∗-linear mapping. We decompose a σ-derivation into a sum of an inner σ-derivation and a multiple of a homomorphism. As a consequence, we establish an extension of the Singer-Wermer Theorem. A ...

Journal: :Biochemistry 2008
Navneet Jawanda Kamran Ahmed Shiao-Chun Tu

Vibrio harveyi luciferase and flavin reductase FRP are, together, a two-component monooxygenase couple. The reduced flavin mononucleotide (FMNH2) generated by FRP must be supplied, through either free diffusion or direct transfer, to luciferase as a substrate. In contrast, single-component bifunctional monooxygenases each contains a bound flavin cofactor and does not require any flavin addition...

Journal: :CoRR 2017
Björn Lellmann Elaine Pimentel

In this work we explore the connections between (linear) nested sequent calculi and ordinary sequent calculi for normal and non-normal modal logics. By proposing local versions to ordinary sequent rules we obtain linear nested sequent calculi for a number of logics, including to our knowledge the first nested sequent calculi for a large class of simply dependent multimodal logics, and for many ...

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

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