Sökning: "equivalence"

Visar resultat 21 - 25 av 245 avhandlingar innehållade ordet equivalence.

  1. 21. La Bible traduite en français contemporain : étude des équivalents du participe grec dans sept traductions du récit de la passion dans les quatre évangiles : forme, signification et sens

    Författare :Elisabeth Bladh; Göteborgs universitet; []
    Nyckelord :HUMANIORA; HUMANITIES; HUMANIORA; HUMANITIES; HUMANIORA; HUMANITIES; Bible translation; Koine Greek; French; verbal aspect; aspectual; textual; anaphoric approach; Passion story; New Testament; participle; translation equivalence;

    Sammanfattning : This dissertation analyses seven modern Bible translations in French with respect to their renderings of Koine Greek participles. The sample consists of the Passion Story from the four Gospels (Matt 26-28, Mark 14-16, Luke 22-24 and John 18-21), and is comprised of 603 Hellenistic participles in all. LÄS MER

  3. 22. Graph dominators in logic synthesis and verification

    Författare :René Krenz; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; formal verification; logic synthesis; dominators; equivalence checking; decomposition; Computer science; Datavetenskap;

    Sammanfattning : This work focuses on the usage of dominators in circuit graphs in order to reduce the complexity of synthesis and verification tasks. One of the contributions of this thesis is a new algorithm for computing multiple-vertex dominators in circuit graphs. LÄS MER

  4. 23. Logics of Knowledge and Cryptography : Completeness and Expressiveness

    Författare :Mika Cohen; Mads Dam; Alessio Lomuscio; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; epistemic logic; first-order logic; formal cryptography; static equivalence; security protocols; BAN logic; multi-agent system; completeness; logical omniscience problem; Computer science; Datavetenskap;

    Sammanfattning : An understanding of cryptographic protocols requires that we examine the knowledge of protocol participants and adversaries: When a participant receives a message, does she know who sent it? Does she know that the message is fresh, and not merely a replay of some old message? Does a network spy know who is talking to whom? This thesis studies logics of knowledge and cryptography. Specifically, the thesis addresses the problem of how to make the concept of knowledge reflect feasible computability within a Kripke-style semantics. LÄS MER

  5. 24. Control Rod Homogenization in Heterogeneous Sodium-Cooled Fast Reactors

    Författare :Mikael Andersson; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Homogenization; Monte Carlo; Fast Reactors; Reactivity Equivalence; Control rod;

    Sammanfattning : The sodium-cooled fast reactor is one of the candidates for a sustainable nuclearreactor system. In particular, the French ASTRID project employs an axiallyheterogeneous design, proposed in the so-called CFV (low sodium effect) core, toenhance the inherent safety features of the reactor. LÄS MER

  7. 25. Essays on Growth Econometrics and Endogenous Information

    Författare :Tobias Heinrich; John Hassler; José Vicente Rodríguez Mora; Stockholms universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Distinguishability; Observational equivalence; Cointegration; Similarity-Based Expectation Formation; Case-Based Decision Theory; Information Gathering; Discrimination; Economics; Nationalekonomi; Economics; nationalekonomi;

    Sammanfattning : On Testing the Relationship between Human Capital and Economic Growth This paper investigates existing methodologies for testing the so-called Nelson-Phelps approach versus the Lucas approach. The paper shows that one cannot distinguish between these approaches using the existing methodologies. LÄS MER