Results 121 to 130 of about 30,579 (293)
YIPFα1A expression is regulated by multilayered molecular mechanisms
FEBS Open Bio, EarlyView.YIPFα1A, a five‐pass Golgi protein, is regulated at multiple layers. (1) Rare‐codon enrichment drives translation‐coupled mRNA decay. (2) A proximal 3′‐UTR element stabilizes mRNA. (3) A distal 3′‐UTR element included by alternate poly(A) site usage represses translation, which can be overridden by the proximal 3′‐UTR element.
Tokio Takaji +2 more
wiley +1 more source
Object code verification [PDF]
Object code is a program of a processor language and can be directly executed on a machine. Program verification constructs a formal proof that a program correctly implements its specification.
Wahab, Matthew
core
Test data generation based on a formal analysis of the project conguration
Моделирование и анализ информационных систем, 2010 This article discusses a problem of test data preparation for functional testing with a dened level of test coverage. Application of the method simplies the management of software project conguration, keeping requirements, code and tests in a consistent ...
A. V. Bataev +3 more
doaj
Diglossia in Translating Proverbs between Arabic and English: A Linguistic Perspective
مجلة العلوم التربوية والدراسات الإنسانية سلسلة الآداب والعلوم التربوية والإنسانية والتطبيقيةDiglossia is a common linguistic phenomenon in Arabic in all aspects of communication including proverbs. This paper examines how diglossia affects the translation of Arabic diglossic proverbs into English, taking Saudi vernacular as an example.
Nasser Al-Qahtani +2 more
doaj +1 more source
EURASIP Journal on Advances in Signal Processing, 2009 Joint source-channel turbo techniques have recently been explored a lot in literature as one promising possibility to lower the end-to-end distortion, with fixed length codes, variable length codes, and (quasi) arithmetic codes. Still, many issues remain
Luc Vandendorpe, Xavier Jaspar
doaj +1 more source
FEBS Open Bio, EarlyView.Evolutionary analysis across 32 placental mammals identified positive selection at residues H148 and W149 in the immune receptor FcγR1. Ancestral reconstruction combined with molecular dynamics simulations reveals how these mutations may influence receptor structure and dynamics, providing insight into the evolution of antibody recognition and immune ...
David A. Young +7 more
wiley +1 more source
Proving Termination via Measure Transfer in Equivalence Checking (Extended Version) [PDF]
Program verification can benefit from proofs with varied induction schemas. A natural class of induction schemas, functional induction, consists of those derived from definitions of functions.
Bucev, Mario +3 more
core
Simulation studies of combustion in a constant-mass variable-volume combustion chamber [PDF]
FME Transactions, 2018 A numerical simulation code was used to conduct a systematic study of the effects of fuel-air equivalence ratios in the range 0.7 ≤ φ ≤ 1.4 and compression ratio, rc = 8.0 on key operating parameters, such as pressure, rate of change of pressure, '/dt ...
Anetor Lucky, Osakue Edward E.
doaj
FEBS Open Bio, EarlyView.The dFoCC pipeline starts with observed DED and resting‐state coordinates, which are then used to generate a library of triggered states. Correlation analysis of the calculated DED features of each candidate vs observed DED permits quantitative evaluation of candidate structural quality.
Meng Iao Fong +3 more
wiley +1 more source
Code Equivalence, Point Set Equivalence, and Polynomial Isomorphism
CoRRminor corrections and clarifications; section 9 has been expanded slightly; 26 ...
openaire +2 more sources