Results 11 to 20 of about 458,815 (165)
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
Attitudes toward prenatal diagnosis and termination of pregnancy in Saudi Arabia [PDF]
, 2004 INTRODUCTION: Advances in molecular biology will soon make it possible to offer parents prenatal testing for a large number of different genetic disorders.
Alsulaiman, Ayman
core +7 more sources
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
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
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 +4 more
core +1 more source
Women’s experiences of coping with pregnancy\ud termination for fetal abnormality [PDF]
, 2013 Pregnancy termination for fetal abnormality (TFA) can have significant psychological consequences. Most research focus on measuring the psychological outcome of TFA,\ud and little is known about the coping strategies involved.
Lafarge, Caroline +2 more
core +1 more source
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Introduction This final analysis of a multicenter, prospective postmarketing surveillance study evaluated the safety of daprodustat in patients with chronic kidney disease anemia in routine clinical practice in Japan. Methods Patients who initiated daprodustat between September 2020 and July 2022 were registered.
Tadao Akizawa +7 more
wiley +1 more source
Mobile Termination and Mobile Penetration [PDF]
In this paper, we study how access pricing affects network competition when subscription demand is elastic and each network uses non-linear prices and can apply termination-based price discrimination. In the case of a fixed per minute termination charge,
Hurkens, Sjaak, Jeon, Doh-Shin
core +4 more sources
An isoform of 14‐3‐3 protein regulates transbilayer lipid movement at the plasma membrane
FEBS Letters, EarlyView.Loss of 14‐3‐3ζ in CHO cells confers resistance to exogenous phosphatidylserine (PS) and impairs endocytosis‐independent inward flip‐flop of fluorescent PS at the plasma membrane. RNAi‐mediated knockdown reproduces this defect, while no additive effect is seen in ATP11C‐deficient cells.
Akiko Yamaji‐Hasegawa +3 more
wiley +1 more source
The small genome segment of Bunyamwera orthobunyavirus harbours a single transcription-termination signal [PDF]
, 2012 Transcription termination of the mRNA produced from the small (S) genome segment of Bunyamwera orthobunyavirus (BUNV) has previously been mapped to two cis-acting sequences located within the 5′ UTR using a virus-free replication assay.
Elliott, Richard Michael +5 more
core +1 more source