Sökning: "formal equivalence"

Visar resultat 1 - 5 av 15 uppsatser innehållade orden formal equivalence.

  1. 1. ’Fader vår’ och ’Vår fader’ En komparativ analys av Herrens bön i svenska översättningar

    Magister-uppsats, Göteborgs universitet/Institutionen för litteratur, idéhistoria och religion

    Författare :Vilhelm Karinsdotter Yngvesson; [2023-08-31]
    Nyckelord :översättningsteori; Herrens bön; Fader vår; Matteusevangeliet; ἐπιούσιος; πειρασμός; Lord’s prayer; bön; peirasmos; epiousios; Pater noster; Bergspredikan; Bibelöversättning;

    Sammanfattning : The Lord’s prayer (Mt. 9b–13) may be one of the most cited paragraphs of the New Testament, appearing as a common prayer since the earliest Christians. LÄS MER

  3. 2. Losing personality : Exploring with a focus on formal speech how the register of Nakata Satoru in Murakami Haruki’s Umibe no Kafuka is affected when translated into English and Swedish

    Kandidat-uppsats, Högskolan Dalarna/Institutionen för språk, litteratur och lärande

    Författare :Anna-Klara Josefsson; [2023]
    Nyckelord :Japanese; Murakami Haruki; Kafka on the Shore; formality; translation; Nakata Satoru; Equivalence;

    Sammanfattning : When reading a translated book or a dubbed movie, one might come to wonder if the translation conveys the characters’ personality traits identically to that of the original, and while ‘identical’ may not be achievable, ‘equivalent’ rather may be within the scope of a translator’s capability. Translation between languages as vastly different as Swedish and Japanese, or English and Japanese are bound to face greater difficulties than for example Swedish and English. LÄS MER

  4. 3. The Ext-Algebra of Standard Modules of Bound Twisted Double Incidence Algebras

    Master-uppsats, Uppsala universitet/Algebra, logik och representationsteori

    Författare :Mika Norlén Jäderberg; [2023]
    Nyckelord :Algebras; Finite-dimensional; Partially ordered sets; Modules; Quasi-hereditary; Ext-algebra; Schur algebra; Quiver; Path algebra; Categories; Morita equivalence; Yoneda product; Standard module; Homological algebra; Cohomology; Anick Chains;

    Sammanfattning : Quasi-hereditary algebras are an important class of algebras with many appli-cations in representation theory, most notably the representation theory of semi-simple complex Lie-algebras. Such algebras sometimes admit an exact Borel sub-algebra, that is a subalgebra satisfying similar formal properties to the Borel sub-algebras from Lie theory. LÄS MER

  5. 4. Filtering equivalent changes from dependency updates with CBMC

    Uppsats för yrkesexamina på avancerad nivå, Blekinge Tekniska Högskola/Institutionen för datavetenskap

    Författare :Jonas Mårtensson; [2022]
    Nyckelord :CBMC; change impact analysis; equivalence analysis; auto-generation; CBMC; konsekvensanalys; ekvivalensanalys; autogenerering;

    Sammanfattning : Background. Open source dependencies have become ubiquitous in software development and the risk of regressions during an update are a key concern facing developers. Change impact analysis (CIA) can be used to assess the effects of a dependency update and aid in addressing this challenge. LÄS MER

  7. 5. Composing Specifications Given in Different Formalisms

    Kandidat-uppsats, KTH/Datavetenskap

    Författare :Arvid Siberov; Gabriel Skoglund; [2022]
    Nyckelord :;

    Sammanfattning : The field of contract theory is concerned with formal proofs of how smaller components may be composed into larger systems. This thesis shows how one framework for constructing such proofs may be used to prove properties of compositions where some components are specified using the TLA+ formalism. LÄS MER