Results 51 to 60 of about 1,456,568 (303)
A formalism for treating equivalence of recursive procedures [PDF]
RAIRO. Informatique théorique, 1985 We present a formal system for studying the equivalence of recursive procedures. The procedures are defined to include assignment statements and such constructs as branching and recursion. A fair amount of applications is provided to show how this approach can be used in proving equivalence of procedures.
openaire +3 more sources
FEBS Letters, EarlyView.Vacuolar H+‐ATPase (V‐ATPase) is a multisubunit rotary proton pump that acidifies intracellular compartments. Using elastic network models, we identified conserved hinge residues that govern its large‐scale functional motions. We show that intrinsically encoded ‘soft modes’ drive critical functional transitions, including rotary catalysis and ...
Diksha Parwana +3 more
wiley +1 more source
Formal & Dynamic Equivalence in Two English Translations of Nancy Ajram’s “Fi Hagat” Song
EloquenceBackground: Arabic songs have recently gained popularity among Indonesian audiences. Nancy Ajram, a Lebanese artist, is one of the most well-known singers whose songs are widely appreciated.
Rugayyah binti Alwi Muladawilah +1 more
doaj +1 more source
ILCEA, 2002 The translation of a legal text produced in a monolingual context implies a shift from one legal culture to another, since all countries have devised their own legal systems. The translator is thus faced with the problem of culture-bound notions.
Malcolm Harvey
doaj +1 more source
Equivalence of formal semantics definition methods [PDF]
Formal Aspects of Computing, 1997 Abstract There are numerous methods of formally defining the semantics of computer languages. Each method has been designed to fulfil a different purpose. For example, some have been designed to make reasoning about languages as easy as possible; others have been designed to be accessible to a large audience and some have been designed to ...
openaire +3 more sources
Molecular Oncology, EarlyView.Circulating microRNAs as biomarkers of cachexia and sex‐specific cancer in senior dogs. In 25 client‐owned dogs, four circulating miRNAs (miR‐15a, miR‐15b, miR‐16, miR‐140) were downregulated in cachexia, with miR‐16 the strongest individual biomarker (AUC = 0.899).
Soon‐Seok Park +6 more
wiley +1 more source
Marriage Parties, Rules, and Contract Expressions in Qur’an Translations: A Critical Analysis
Open Cultural StudiesMarriage is one of many important topics discussed in the Qur’an and is a vital component of the customs and traditions of every community. This study aims to qualitatively investigate the procedures employed by classical and recent translators in ...
AbuAlkheir Haneen +2 more
doaj +1 more source
Formal Analysis of Quantum Systems using Process Calculus [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 Quantum communication and cryptographic protocols are well on the way to becoming an important practical technology. Although a large amount of successful research has been done on proving their correctness, most of this work does not make use of ...
Timothy A.S. Davidson +2 more
doaj +1 more source
Molecular Oncology, EarlyView.Extracellular vesicle (EV) lipidomic profiling of plasma and ascites from patients with high‐grade serous ovarian cancer and of ovarian cancer cell lines reveals enrichment of triglycerides (TGs), diacylglycerols (DGs), phosphatidylcholine (PCs), sphingomyelins (SMs), reflecting tumor metabolic reprogramming.
Shikha Rani +9 more
wiley +1 more source
Toward Reliable Programmable Logic Controller Function Block Diagrams
IEEE Access, 2021 Programmable logic controllers (PLCs) are widely used in industrial electronic systems. With the augmenting complexity of system, the reliability poses a crucial challenge in safety critical applications.
Jianyong Zhao, Zhe Tao
doaj +1 more source