Results 81 to 90 of about 6,656 (189)

Formal Verification of Transcompiled Mobile Applications Using First-Order Logic

Technologies
The increasing interest in automated code conversion and transcompilation—driven by the need to support multiple platforms efficiently—has raised new challenges in verifying that translated codes preserve the intended behaviors of the originals. Although
Ahmad Ahmad Muhammad, Mahitap Ayman, Samer A. Elhossany, Walaa Medhat, Sahar Selim, Hala Zayed, Ahmed H. Yousef, Axel Jantsch, Nahla Elaraby   +8 more
doaj   +1 more source

Using algebraic models of programs for detecting metamorphic malwares

Труды Института системного программирования РАН, 2007
Polymorphic and metamorphic viruses are the most sophisticated malicious programs that give a lot of trouble to virus scanners. Each time when these viruses infect new executables or replicate themselves they completely modify (obfuscate) their signature
N.N. Kuzjurin, R.I. Podlovchenko, V.S. Scherbina, V.A. Zakharov   +3 more
doaj  

Publisher Correction: Equivalence checking of quantum circuits by nonlocality

npj Quantum Information, 2022
Weixiao Sun, Zhaohui Wei
doaj   +1 more source

Opting for predicating a theme in translation – a dilemma

Bucharest Working Papers in Linguistics, 2009
Predicating the theme in a sentence/text regards the organization of information structure (balance between given and new information units) according to the author’s intention and textual (writing) skills; to transpose this balance in translation is the
Daniela Corina Ionescu
doaj  

Computing the bridge length: the key ingredient in a continuous isometry classification of periodic point sets. [PDF]

Acta Crystallogr A Found Adv
McManus J, Kurlin V.
europepmc   +1 more source

Translation, cultural adaptation, and psychometric validation of the Arabic version of the Digital Life Balance Scale in an Arabic-speaking university student sample. [PDF]

Front Psychol
Aldbyani A, Alhimaidi A.
europepmc   +1 more source

Key challenges in nurse-led foot care education for persons with diabetes: an international survey across six countries. [PDF]

BMC Nurs
Liu Y, Riklikiene O, Ezenwaka C, Nwankwo CU, Zhu S, Makhanbetkulova D, Analike RA, Bulikaite V, Dabyl A, Fan X, Victor V, Zhang Q, Takeno Y.   +12 more
europepmc   +1 more source

Translation, cross-cultural adaptation, and measurement properties of the self-efficacy for home exercise programs scale to Brazilian Portuguese. [PDF]

Braz J Phys Ther
Gava V, Kamonseki DH, Ferreira JK, Camargo PR.   +3 more
europepmc   +1 more source

Advances in Quantum Computation in NISQ Era. [PDF]

Entropy (Basel)
Xie XD, Zhang X, Koczor B, Yuan X.
europepmc   +1 more source

Witnessed overdose history and response among overdose survivors who use non-prescribed opioids in an overdose prevention trial. [PDF]

Addict Behav
McCann NC, Yan S, McMahan VM, Rich ZC, Pope E, Rolles A, Brennan S, Marti XL, Kosakowski S, Matheson T, Coffin PO, Walley AY.   +11 more
europepmc   +1 more source