Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 5 of 5 for “"formal equivalence"”.
-
Sufficiency-based Filtering of Invariants for Sequential Equivalence Checking
… One of the core areas of Verification is Equivalence Checking (EC), which is a special yet independent case of Model Checking (MC). Equivalence Checking aims to prove that two circuits, when fed with the same inputs, produce the exact same outputs. There are broadly two ways to conduct …
-
Bækurnar í fjósinu: Um fyrirmyndir Nýja testamentis Odds Gottskálkssonar
… að ræða hugmynd Nida um formlegt jafngildi (e. formal equivalence) og hins vegar áhrifajafngildi (e. dynamic equivalence), það er að segja hvenær og hvernig ákveðin atriði úr frumtextanum, til að mynda orðalag, orðaval, orðaröð, setningafræði og stílfræði, hafa merkjanleg áhrif á þýðinguna. …
-
The political rhetoric of Bishop Kleopas Dumeni in the pre-independence era in Namibia
… also found that Bishop Dumeni mostly used the formal equivalence type of translation with some elements of dynamic equivalence type of translation, and free translation, which affected the intelligibility of the speeches. Based on the findings of the study, the researcher made recommendations …
-
Neuromorphic control of dynamic systems
… pixels. At the core of our analysis lies a formal equivalence relation, defined as a means to track brightness, between our filter and a lower-resolution neuromorphic sensor with reduced noise levels. As a consequence of the principled analysis, we highlight important properties that any …
-
Jet groupoids, natural bundles and the Vessiot equivalence method
The present thesis deals with the equivalence of differential geometric objects. Based on a work of Vessiot published in 1903, an equivalence method is developed. It is intended to be an alternative to Cartan's well-known approach. In addition to theoretical aspects, an implementation of the …