Results 31 to 40 of about 1,456,568 (303)
Verifying privacy by little interaction and no process equivalence [PDF]
, 2012 While machine-assisted verification of classical security goals such as confidentiality and authentication is well-established, it is less mature for recent ones. Electronic voting protocols claim properties such as voter privacy.
Butlin, D. +3 more
core +3 more sources
Towards Equivalence Checking Between TLM and RTL Models
, 2007 The always increasing complexity of digital system is overcome in design flows based on transaction level modeling (TLM) by designing and verifying the system at different abstraction levels.
Nicola Bombieri +8 more
core +1 more source
Grammatical Equivalence between the Egyptian Novel A¼Gram and its English Translation
Al-Mağallah Al-ʿilmiyyaẗ Li Kulliyyaẗ Al-Adāb - Ǧāmiʿaẗ AsyūṭGrammatical equivalence refers to the degree to which a target text [TT] maintains the grammatical structure of the source text [ST] while maintaining meaning.
Hagar Muhammad Ashraf +2 more
doaj +1 more source
Formalization of the Equivalent Transformation Computation Model
Journal of Advanced Computational Intelligence and Intelligent Informatics, 2006 In the equivalent transformation (ET) computation model, a specification provides background knowledge in a problem domain and defines a set of queries of interest. A program is a set of prioritized transformation rules, and computation consists in successive reduction of queries using meaning-preserving transformation with respect to given background ...
Kiyoshi Akama, Ekawit Nantajeewarawat
openaire +2 more sources
Getsempena English Education Journal, 2021 There are many ways that could be done to introduce culture of a country to the international world, one of them is through translation works. This research is conducted by using qualitative approach and content analysis method.
Melliana, Nurul Fitriani, Yoga Pratama
doaj +1 more source
Combinational Equivalence Checking Using Satisfiability and Recursive Learning
, 1999 The problem of checking the equivalence of combinational circuits is of key significance in the verification of digital circuits. In recent years, several approaches have been proposed for solving this problem.
Thomas Glass +3 more
core +1 more source
Effect of problem-based learning tutor seniority on medical students’ emotions: an equivalence study
BMC Medical Education, 2023 Background The effectiveness of peer learning has been recognized and discussed by many scholars, and implemented in the formal curriculums of medical schools internationally.
Osamu Nomura +4 more
doaj +1 more source
A simple formalization of alpha-equivalence
CoRRWhile teaching untyped $λ$-calculus to undergraduate students, we were wondering why $α$-equivalence is not directly inductively defined. In this paper, we demonstrate that this is indeed feasible. Specifically, we provide a grounded, inductive definition for $α$-equivalence and show that it conforms to the specification provided in the literature. The
Kalmer Apinis, Danel Ahman
openaire +3 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Outcomes in relapsed or refractory pediatric and AYA bone sarcomas remain poor, and the impact of early referral to specialized sarcoma centers on survival is unclear. Early centralization of care may improve local and systemic treatment quality, but evidence in this population is limited.
Justyna Antoniuk‐Majchrzak +9 more
wiley +1 more source
The Two Trends in the Sea of Bible Translation: Nowadays English Translations of the Bible [PDF]
Вестник Свято-Филаретовского института, 2011 The article analyses the nowadays situation in the English Bible translation: the enormous number of translations and the two main trends – formal equivalence (literal translation) and functional equivalence (idiomatical translation).
Olga Sushkova
doaj