Equivalence in the Translation of Joko Pinurbos Tuhan Datang Malam Ini into God Came Tonight

The paper presents an analysis of Joko Pinurbos Tuhan Datang Malam Ini translated intoGod Came Tonight. In this paper, the translation of the original version is seen closely tosee its equivalence strategies, referring to Nidas framework, applied to the production of thetranslation. The equivalence explained in the discussion covers both formal and dynamic. Thediscussion in the paper leads to three major conclusions, namely: (1) figurativeness in a poemcan be preserved by the help of formal equivalence, (2) the type of equivalence depends onhow far translators bring it to the translation, and (3) translators need to have broadknowledge to supply their work in translation, especially in that of poetry.Keywords: Joko Pinurbo, Nidas framework, formal, and dynamic equivalence

Longitudinal Force on a Moving Potential

We show a formal result of the longitudinal force acting on a moving potential. The potential can be velocity-dependent, which appears in various interesting physical systems, such as electrons in the presence of a magnetic flux-line, or phonons scattering off a moving vortex. By using the phase-shift analysis, we are able to show the equivalence between the adiabatic perturbation theory and the kinetic theory for the longitudinal force in the dilute gas limit.Comment: RevTeX, 4 pages, revised tex

On high-order pressure-robust space discretisations, their advantages for incompressible high Reynolds number generalised Beltrami flows and beyond

An improved understanding of the divergence-free constraint for the incompressible Navier--Stokes equations leads to the observation that a semi-norm and corresponding equivalence classes of forces are fundamental for their nonlinear dynamics. The recent concept of {\em pressure-robustness} allows to distinguish between space discretisations that discretise these equivalence classes appropriately or not. This contribution compares the accuracy of pressure-robust and non-pressure-robust space discretisations for transient high Reynolds number flows, starting from the observation that in generalised Beltrami flows the nonlinear convection term is balanced by a strong pressure gradient. Then, pressure-robust methods are shown to outperform comparable non-pressure-robust space discretisations. Indeed, pressure-robust methods of formal order $k$ are comparably accurate than non-pressure-robust methods of formal order $2k$ on coarse meshes. Investigating the material derivative of incompressible Euler flows, it is conjectured that strong pressure gradients are typical for non-trivial high Reynolds number flows. Connections to vortex-dominated flows are established. Thus, pressure-robustness appears to be a prerequisite for accurate incompressible flow solvers at high Reynolds numbers. The arguments are supported by numerical analysis and numerical experiments.Comment: 43 pages, 18 figures, 2 table

Finitary Deduction Systems

Cryptographic protocols are the cornerstone of security in distributed systems. The formal analysis of their properties is accordingly one of the focus points of the security community, and is usually split among two groups. In the first group, one focuses on trace-based security properties such as confidentiality and authentication, and provides decision procedures for the existence of attacks for an on-line attackers. In the second group, one focuses on equivalence properties such as privacy and guessing attacks, and provides decision procedures for the existence of attacks for an offline attacker. In all cases the attacker is modeled by a deduction system in which his possible actions are expressed. We present in this paper a notion of finitary deduction systems that aims at relating both approaches. We prove that for such deduction systems, deciding equivalence properties for on-line attackers can be reduced to deciding reachability properties in the same setting.Comment: 30 pages. Work begun while in the CASSIS Project, INRIA Nancy Grand Es

Derivative dispersion relations above the physical threshold

We discuss some formal and practical aspects related to the replacement of Integral Dispersion Relations (IDR) by derivative forms, without high-energy approximations. We first demonstrate that, for a class of functions with physical interest as forward scattering amplitudes, this replacement can be analytically performed, leading to novel Extended Derivative Dispersion Relations (EDDR), which, in principle, are valid for any energy above the physical threshold. We then verify the equivalence between the IDR and EDDR by means of a popular parametrization for total cross sections from proton-proton and antiproton-proton scattering and compare the results with those obtained through other representations for the derivative relations. Critical aspects on the limitations of the whole analysis, from both formal and practical points of view, are also discussed in some detail.Comment: Final version, published in Brazilian Journal of Physics, V. 37, 358 (2007

The Structural Shift Of Compound Complex Sentence In The Old Man And The Sea Its Translation

The aims of this research are to describe the structural shift of compound-complex sentence in The Old Man and the Sea and its translation, and to know the types of equivalence of the translation in The Old Man and the Sea and its translation. The type of this research belongs to a descriptive qualitative research, because the writer collects the data, arranges, classifies, analyzes, and concludes the result of this research. The source of the data in this research is novel The Old Man and the Sea. The data of this research are contents of novel The Old Man and the Sea which consists of structural shift of compound-complex sentences and its translations. After collecting the data, the writer analyzes them based on indication of structural shift. He finds the structural shift of declarative compound-complex sentence into declarative compound sentence. Then, he analyzes the types of equivalence of the translation and finds types of equivalence as follows; 1. coordination between formal and dynamic equivalence, 2. dynamic equivalence. The result of this research shows that there are 12 data consist of structural shift of declarative compound-complex sentence into declarative compound sentence. The writer also finds 2 types of equivalence in this analysis. They are; 6 or 50 % of data use coordination between formal and dynamic equivalence, and 6 or 50 % of data use the dynamic equivalence