Results 11 to 20 of about 658,465 (305)
Proving termination using abstract interpretation [PDF]
, 2010 PhDOne way to develop more robust software is to use formal program verification. Formal program verification requires the construction of a formal mathematical proof of the programs correctness. In the past ten years or so there has been much progress
Chawdhary, Aziem A.
core +4 more sources
Remote Sensing, 2022 Pakistan’s agriculture and food production account for 27% of its overall gross domestic product (GDP). Despite ongoing advances in technology and crop varieties, an imbalance between water availability and demand, combined with robust shifts in drought ...
Farhan Saleem +8 more
doaj +1 more source
eLife, 2020 Recognition and rapid degradation of mRNA harboring premature translation termination codons (PTCs) serves to protect cells from accumulating non-functional and potentially toxic truncated polypeptides. Targeting of PTC-containing transcripts is mediated
Lucas D Serdar +4 more
doaj +1 more source
Mobile call termination in the UK [PDF]
, 2007 We discuss policy towards mobile call termination, illustrated by the 2002 Competition Commission enquiry into the UK mobile market. We present a model of the mobile market which includes both fixed-to-mobile and mobile-to-mobile call termination.
Wright, J. +5 more
core +1 more source
Study of middle cerebral artery in human cadaveric brain
Annals of Indian Academy of Neurology, 2019 Background: Middle cerebral artery (MCA) is the larger terminal branch of the internal carotid artery. It travels through the Sylvian fissure on the insula. Objective: MCA supplies a large area of distribution than the other two cerebral arteries. Though
Sandhya Arvind Gunnal +2 more
doaj +1 more source
FSE2022benchmarks/termination: FSE2022benchmark-termination
, 2022 Benchmarks and result-files for paper "Large-Scale Analysis of Non-Termination Bugs in Real-World OSS Projects" (FSE ...
FSE2022benchmarks
core +1 more source
A Comparative Study of the Impact of Frustration of the Cause of Obligation on the Continuity of Successive Contracts in Iranian and French Law [PDF]
پژوهشنامه حقوق تطبیقیIn contract law, the purpose of concluding a contract is called cause, which may be legitimate or illegitimate. The article employs a descriptive and analytical method, utilizing a comparative approach to demonstrate that prior to the 2016 reforms of the
Aliakbar Fouladin +3 more
doaj +1 more source
Cover crops as green mulching for weed management in rice
Italian Journal of Agronomy, 2021 A field study was carried out in 2017 and 2018 in two Italian rice farms (at Livorno Ferraris and Rovasenda) to assess the effect of using cover crops as green mulching on weed control and rice yield.
Silvia Fogliatto +5 more
doaj +1 more source
Transcriptional termination enhances protein expression in human cells [PDF]
, 2009 Transcriptional termination of mammalian RNA polymerase II (Pol II) requires a poly(A) (pA) signal and, often, a downstream terminator sequence. Termination is triggered following recognition of the pA signal by Pol II and subsequent pre-mRNA cleavage ...
Proudfoot, Nicholas J, West, Steven
core +1 more source
Biomolecules, 2023 Premature termination codons (PTCs) account for ~12% of all human disease mutations. Translation readthrough-inducing drugs (TRIDs) are prominent among the several therapeutic approaches being used to overcome PTCs.
Mikel D. Ghelfi +3 more
doaj +1 more source