The first order theory of G(n,c∕n)
نویسندگان
چکیده
منابع مشابه
the analysis of the role of the speech acts theory in translating and dubbing hollywood films
از محوری ترین اثراتی که یک فیلم سینمایی ایجاد می کند دیالوگ هایی است که هنرپیش گان فیلم میگویند. به زعم یک فیلم ساز, یک شیوه متأثر نمودن مخاطب از اثر منظوره نیروی گفتارهای گوینده, مثل نیروی عاطفی, ترس آور, غم انگیز, هیجان انگیز و غیره, است. این مطالعه به بررسی این مسأله مبادرت کرده است که آیا نیروی فراگفتاری هنرپیش گان به مثابه ی اعمال گفتاری در پنج فیلم هالیوودی در نسخه های دوبله شده باز تولید...
15 صفحه اولFirst Order Theory Re
This paper summarizes the current state of the art in the topics of rst-order theory revision and theory restructuring. The various tasks involved in rst-order theory reenement (revision vs. restructuring) are deened and then discussed in turn. For theory revision, the issue of minimality is discussed in detail, and a general outline algorithm is given which identiies the major places of diiere...
متن کاملA First-Order Theory of Communicating First-Order Formulas
This paper presents a theory of informative communications among agents that allows a speaker to communicate to a hearer truths about the state of the world; the occurrence of events, including other communicative acts; and the knowledge states of any agent — speaker, hearer, or third parties — any of these in the past, present, or future — and any logical combination of these, including formul...
متن کاملThe First-Order Theory of Subtype Constraints
We investigate the first-order theory of subtype constraints. We show that the first-order theory of non-structural subtyping is undecidable, and we show that in the case where all constructors are either unary or nullary, the first-order theory is decidable for both structural and non-structural subtyping. Our results hold for both simple and recursive types. The undecidability result is shown...
متن کاملAnalysis of Bending and Buckling of Circular Porous Plate Using First-Order Shear Deformation Theory
Porous materials are lightweight, flexible and resistant to hairline cracks, so today with the development of technology porous structure produced for use in various industries. This structure widely use in beams, plates and shells. The purpose of this paper is to investigate the effect of porosity in axial symmetry in bending and buckling load sheet for analysis. For this purpose, a circular p...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: European Journal of Combinatorics
سال: 2019
ISSN: 0195-6698
DOI: 10.1016/j.ejc.2019.01.008