Essays about: "formal equivalence"

Showing result 1 - 5 of 10 essays containing the words formal equivalence.

  1. 1. 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

    University essay from Högskolan Dalarna/Institutionen för språk, litteratur och lärande

    Author : Anna-Klara Josefsson; [2023]
    Keywords : Japanese; Murakami Haruki; Kafka on the Shore; formality; translation; Nakata Satoru; Equivalence;

    Abstract : 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. READ MORE

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

    University essay from Uppsala universitet/Algebra, logik och representationsteori

    Author : Mika Norlén Jäderberg; [2023]
    Keywords : 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;

    Abstract : 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. READ MORE

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

    University essay from Blekinge Tekniska Högskola/Institutionen för datavetenskap

    Author : Jonas Mårtensson; [2022]
    Keywords : CBMC; change impact analysis; equivalence analysis; auto-generation; CBMC; konsekvensanalys; ekvivalensanalys; autogenerering;

    Abstract : 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. READ MORE

  5. 4. Composing Specifications Given in Different Formalisms

    University essay from KTH/Datavetenskap

    Author : Arvid Siberov; Gabriel Skoglund; [2022]
    Keywords : ;

    Abstract : 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. READ MORE

  6. 5. Energy efficient Ericsson Many-Core Architecture (EMCA) IP blocks for 5G ASIC

    University essay from Lunds universitet/Institutionen för elektro- och informationsteknik

    Author : Zilin Zhang; [2021]
    Keywords : Technology and Engineering;

    Abstract : Power consumption has become a leading concern for SoC aimed at 5G products that demand increased functionality, smaller form factors, and low energy footprint. For some EMCA IP blocks a hierarchical clock gating mechanism ensures coarse-grained power savings based on actual processing need but for many blocks this approach cannot be employed. READ MORE