1,398,160 research outputs found

    THE FUNCTIONAL MEANING OF Tony Abbott “Indonesia should reciprocate tsunami aid by sparing Bali Nine pair”

    Get PDF
    Artikel berita yang digunakan dalam penulisan ini adalah pidato oleh Perdana Menteri Australia Tony Abbot. Artikel ini menceritakan bagaimana Australia bereaksi terhadap Pemerintah Indonesia mengenai hukuman mati yang dijatuhkan kepada penyelundup obat-obatan terlarang asal Australia. Metode yang digunakan dalam penulisan final project ini adalah deskriptif kualitatif yang sistemis, nyata dan akurat. Dalam pengumpulan data, penulis melakukan note taking, dalam artikel dari situs berita theguardian.com. Tujuan dalam penulisan project ini adalah untuk menemukan arti fungsional dalam artikel tersebut. Arti fungsional akan membantu pembaca meng-intrepetasikan artikel ini dengan tepat. Untuk menemukan arti fungsional dari setiap klausa dalam artikel ini, penulis menggunakan teori metafunction. Teori metafunction dibagi menjadi tiga bagian yaitu Ideational Meaning, Interpersonal Meaning dan Textual Meaning

    On the Decomposition of Clifford Algebras of Arbitrary Bilinear Form

    Full text link
    Clifford algebras are naturally associated with quadratic forms. These algebras are Z_2-graded by construction. However, only a Z_n-gradation induced by a choice of a basis, or even better, by a Chevalley vector space isomorphism Cl(V) \bigwedge V and an ordering, guarantees a multi-vector decomposition into scalars, vectors, tensors, and so on, mandatory in physics. We show that the Chevalley isomorphism theorem cannot be generalized to algebras if the Z_n-grading or other structures are added, e.g., a linear form. We work with pairs consisting of a Clifford algebra and a linear form or a Z_n-grading which we now call 'Clifford algebras of multi-vectors' or 'quantum Clifford algebras'. It turns out, that in this sense, all multi-vector Clifford algebras of the same quadratic but different bilinear forms are non-isomorphic. The usefulness of such algebras in quantum field theory and superconductivity was shown elsewhere. Allowing for arbitrary bilinear forms however spoils their diagonalizability which has a considerable effect on the tensor decomposition of the Clifford algebras governed by the periodicity theorems, including the Atiyah-Bott-Shapiro mod 8 periodicity. We consider real algebras Cl_{p,q} which can be decomposed in the symmetric case into a tensor product Cl_{p-1,q-1} \otimes Cl_{1,1}. The general case used in quantum field theory lacks this feature. Theories with non-symmetric bilinear forms are however needed in the analysis of multi-particle states in interacting theories. A connection to q-deformed structures through nontrivial vacuum states in quantum theories is outlined.Comment: 25 pages, 1 figure, LaTeX, {Paper presented at the 5th International Conference on Clifford Algebras and their Applications in Mathematical Physics, Ixtapa, Mexico, June 27 - July 4, 199

    Imposed Benefit Sanctions and the Unemployment-to-Employment Transition: The German Experience

    Get PDF
    We analyze the effect of imposed benefit sanctions on the unemployment-to-employment transition of unemployed people entitled to unemployment compensation on the basis of register data from the German Federal Employment Agency. We combine propensity score matching with a discrete-time hazard rate model which accounts for the dynamic nature of the treatment. We find positive short- and long-term effects of benefit sanctions which are robust for men and women in East and West Germany. The effects diminish with the elapsed unemployment duration until a sanction is imposed. The limited use of benefit sanctions can thus be an effective activation tool if they take place not too late in an individual's unemployment spell.benefit sanctions, unemployment transitions, German labor market reform, ex-post evaluation, propensity score matching, hazard rate model, unobserved heterogeneity

    Restructuring the rotor analysis program C-60

    Get PDF
    The continuing evolution of the rotary wing industry demands increasing analytical capabilities. To keep up with this demand, software must be structured to accommodate change. The approach discussed for meeting this demand is to restructure an existing analysis. The motivational factors, basic principles, application techniques, and practical lessons from experience with this restructuring effort are reviewed

    Apollo experience report: Simulation of manned space flight for crew training

    Get PDF
    Through space-flight experience and the development of simulators to meet the associated training requirements, several factors have been established as fundamental for providing adequate flight simulators for crew training. The development of flight simulators from Project Mercury through the Apollo 15 mission is described. The functional uses, characteristics, and development problems of the various simulators are discussed for the benefit of future programs

    COSMIC program documentation experience

    Get PDF
    A brief history of COSMIC as it relates to the handling of program documentation is summarized; the items that are essential for computer program documentation are also discussed. COSMIC documentation and program standards handbook is appended

    Engineering a static verification tool for GPU kernels

    Get PDF
    We report on practical experiences over the last 2.5 years related to the engineering of GPUVerify, a static verification tool for OpenCL and CUDA GPU kernels, plotting the progress of GPUVerify from a prototype to a fully functional and relatively efficient analysis tool. Our hope is that this experience report will serve the verification community by helping to inform future tooling efforts. © 2014 Springer International Publishing

    Research Experience for Undergraduates Program, 2010

    Get PDF
    Supported by the National Science Foundation

    Communicative success in spatial dialogue: The impact of functional features and dialogue strategies

    Get PDF
    This paper addresses the impact of dialogue strategies and functional features of spatial arrangements on communicative success. To examine the sharing of cognition between two minds in order to achieve a joint goal, we collected a corpus of 24 extended German-language dialogues in a referential communication task that involved furnishing a dolls’ house. Results show how successful communication, as evidenced by correct placement of furniture items, is affected by a) functionality of the furniture arrangement, b) previous task experience, and c) dialogue features such as description length and orientation information. To enhance research in this area, our 'Dolldialogue' corpus is now available as a free resource on www.dolldialogue.spac
    • 

    corecore