The theory of invertible algorithms
نویسندگان
چکیده
منابع مشابه
the analysis of the role of the speech acts theory in translating and dubbing hollywood films
از محوری ترین اثراتی که یک فیلم سینمایی ایجاد می کند دیالوگ هایی است که هنرپیش گان فیلم میگویند. به زعم یک فیلم ساز, یک شیوه متأثر نمودن مخاطب از اثر منظوره نیروی گفتارهای گوینده, مثل نیروی عاطفی, ترس آور, غم انگیز, هیجان انگیز و غیره, است. این مطالعه به بررسی این مسأله مبادرت کرده است که آیا نیروی فراگفتاری هنرپیش گان به مثابه ی اعمال گفتاری در پنج فیلم هالیوودی در نسخه های دوبله شده باز تولید...
15 صفحه اولLinear Time Simulation of Invertible Non-Deterministic Stack Algorithms
It is demonstrated how a program making use of a single stack may be transformed, via memorization, into an equivalent one running in time proportional to the sum of variabilities at certain program points of the original program. This result generalizes Cook's linear time simulation of a deterministic two-way push-down automaton and also provides a lucid explanation of Cook's construction. Obt...
متن کاملFactorizations of Invertible Operators and K-theory of C-algebras
Let A be a unital C*-algebra. We describe K-skeleton factorizations of all invertible operators on a Hilbert C*-module HA, in particular on H = l 2, with the Fredholm index as an invariant. We then outline the isomorphisms K0(A) ∼= π2k([p]0) ∼= π2k(GL p r(A)) and K1(A) ∼= π2k+1([p]0) ∼= π2k+1(GL p r(A)) for k ≥ 0, where [p]0 denotes the class of all compact perturbations of a projection p in th...
متن کاملFactorizations of Invertible Operators and ^-theory of C* -algebras
Let j/ be a unital C*-algebra. We describe K-skeleton factorizations of all invertible operators on a Hubert C*-module %^ , in particular on «^ = I2 , with the Fredholm index as an invariant. We then outline the isomorphisms K0(s/) =i TC2k([p]0) 3 n2k(GLp(s/)) and Kx(s*) & ä2*+i([Pjo) = n2k+\(GLpr(s?)) for k > 0 , where [p]o denotes the class of all compact perturbations of a projection p in th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: RAIRO. Informatique théorique
سال: 1981
ISSN: 0399-0540
DOI: 10.1051/ita/1981150302531