Duality and Linearity

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

On a new G-frame and duality

We introduce a new g-frame (singleton g-frame), g-orthonormal basis and g-Riesz basis and study corresponding notions in some other generalizations of frames.Also, we investigate duality  for some kinds of g-frames. Finally, we illustrate an example which provides a  suitable translation from discrete frames to Sun's g-frames.

متن کامل

The Aluffi Algebra and Linearity Condition

The Aluffi algebra is an algebraic version of characteristic cycles in intersection theory which is an intermediate graded algebra between the symmetric algebra (naive blowup) and the Rees algebra (blowup). Let  R be a commutative Noetherian ring and J ⊂I  ideals of R. We say that J ⊂I  satisfy linearity condition if the Aluffi algebra of I/J is isomorphic with the symmetric algebra. In this pa...

متن کامل

Linearity and Bisimulation

Exploiting linear type structure, we introduce a new theory of weak bisimilarity for the π-calculus in which we abstract away not only τ -actions but also non-τ actions which do not affect well-typed observers. This gives a congruence far larger than the standard bisimilarity while retaining semantic soundness. The framework is smoothly extendible to other settings involving nondeterminism and ...

متن کامل

High Linearity and Efficien

An overview on linearity and efficiency performance optimisation in power amplifier (PA) is presented, stressing the required trade-off demanded to PA designers. For efficiency improvement, the harmonic tuning strategies are discussed, with their advantages and major drawbacks. For linearity improvement, the IMD sweet spot optimisation strategies is presented as a solution to obtain low intermo...

متن کامل

Linearity and laziness

A criticism often levelled at functional languages is that they do not cope elegantly or eeciently with problems involving changes of state. In a recent paper 26], Wadler has proposed a new approach to these problems. His proposal involves the use of a type system based on the linear logic of Girard 7]. This allows the programmer to specify the \natural" imperative operations without at the sam...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Japanese Slavic and East European Studies

سال: 1989

ISSN: 0389-1186,2434-9887

DOI: 10.5823/jsees.10.0_7