منابع مشابه
the analysis of the role of the speech acts theory in translating and dubbing hollywood films
از محوری ترین اثراتی که یک فیلم سینمایی ایجاد می کند دیالوگ هایی است که هنرپیش گان فیلم میگویند. به زعم یک فیلم ساز, یک شیوه متأثر نمودن مخاطب از اثر منظوره نیروی گفتارهای گوینده, مثل نیروی عاطفی, ترس آور, غم انگیز, هیجان انگیز و غیره, است. این مطالعه به بررسی این مسأله مبادرت کرده است که آیا نیروی فراگفتاری هنرپیش گان به مثابه ی اعمال گفتاری در پنج فیلم هالیوودی در نسخه های دوبله شده باز تولید...
15 صفحه اولAliasing Restrictions of C11 Formalized in Coq
The C11 standard of the C programming language describes dynamic typing restrictions on memory operations to make more effective optimizations based on alias analysis possible. These restrictions are subtle due to the low-level nature of C, and have not been treated in a formal semantics before. We present an executable formal memory model for C that incorporates these restrictions, and at the ...
متن کاملOverhauling SC atomics in C11 and OpenCL
Despite the conceptual simplicity of sequential consistency (SC), the semantics of SC atomic operations and fences in the C11 and OpenCL memory models is subtle, leading to convoluted prose descriptions that translate to complex axiomatic formalisations. We conduct an overhaul of SC atomics in C11, reducing the associated axioms in both number and complexity. A consequence of our simplification...
متن کاملLowering C11 Atomics for ARM in LLVM
This report explores the way LLVM generates the memory barriers needed to support the C11/C++11 atomics for ARM. I measure the influence of memory barriers on performance, and I show that in some cases LLVM generates too many barriers. By leaving these barriers out, performance increases significantly. I introduce two LLVM passes, which will remove these extra barriers, improving performance in...
متن کاملhigh volatility, thick tails and extreme value theory in value at risk estimation: the case of liability insurance in iran insurance company
در این بررسی ابتدا به بررسی ماهیت توزیع خسارات پرداخته میشود و از روش نظریه مقادیر نهایی برای بدست آوردن برآورد ارزش در معرض خطر برای خسارات روزانه بیمه مسئولیت شرکت بیمه ایران استفاده میشود. سپس کارایی نظریه مقدار نهایی در برآورد ارزش در معرض خطر با کارایی سایر روشهای واریانس ، کواریانس و روش شبیه سازی تاریخی مورد مقایسه قرار میگیرد. نتایج این بررسی نشان میدهند که توزیع ،garch شناخته شده مدل...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Ergodic Theory and Dynamical Systems
سال: 1987
ISSN: 0143-3857,1469-4417
DOI: 10.1017/s0143385700003850