Results 71 to 80 of about 469,591 (281)
BMC Medical Research Methodology, 2003 Background The Anglia Menorrhagia Education Study (AMES) is a randomized controlled trial testing the effectiveness of an education package applied to general practices.
Duffy Stephen W +2 more
doaj +1 more source
Singularly Perturbed Control Systems with Noncompact Fast Variable
, 2015 We deal with a singularly perturbed optimal control problem with slow and fast variable depending on a parameter {\epsilon}. We study the asymptotic, as {\epsilon} goes to 0, of the corresponding value functions, and show convergence, in the sense of ...
Nguyen, Thuong, Siconolfi, Antonio
core +1 more source
Auxiliary variables and recursive procedures [PDF]
, 1997 Much research in axiomatic semantics suffers from a lack of formality. In particular, most proposed verification calculi for imperative programs dealing with recursive procedures are known to be unsound or incomplete. Focussing on total correctness, we present a new consequence rule which yields a sound and complete Hoare-style calculus in the presence
openaire +1 more source
FEBS Letters, EarlyView.Bone metastasis in prostate cancer (PCa) patients is a clinical hurdle due to the poor understanding of the supportive bone microenvironment. Here, we identify stearoyl‐CoA desaturase (SCD) as a tumor‐promoting enzyme and potential therapeutic target in bone metastatic PCa.
Alexis Wilson +7 more
wiley +1 more source
Use of Double Sampling Scheme in Estimating the Mean of Stratified Population under Non-response
Statistica, 2015 The present paper focuses on the use of double sampling scheme in stratified random sampling for estimating the population mean in the presence of non-response. Motivated by Khoshnevisan et al (2007), we have proposed a family of combined-type estimators
Manoj Kumar Chaudhary, Amit Kumar
doaj +1 more source
Auxiliary Variables in Temporal Specifications
ACM Transactions on Design Automation of Electronic Systems, 2016 Assertion-based verification (ABV) for IP blocks given as synchronous RTL (register transfer level) descriptions has now widely gained acceptance. The challenge addressed here is ABV for systems on chip (SoC) modeled at the system level in SystemC TLM (Transactional Level Modeling).
openaire +2 more sources
FEBS Letters, EarlyView.We reconstituted Synechocystis glycogen synthesis in vitro from purified enzymes and showed that two GlgA isoenzymes produce glycogen with different architectures: GlgA1 yields denser, highly branched glycogen, whereas GlgA2 synthesizes longer, less‐branched chains.
Kenric Lee +3 more
wiley +1 more source
Neutrosophic Ranked Set Sampling Scheme for Estimating Population Mean: An Application to Demographic Data [PDF]
Neutrosophic Sets and SystemsThe primary goal of this study is to address the limitations of classical statistics in handling ambiguous or indeterminate data. The best alternative to classical and fuzzy statistics for handling such data uncertainty is neutrosophic statistics, which ...
Rajesh Singh , Anamika Kumari
doaj +1 more source
A partial solution for lossless source coding with coded side information [PDF]
, 2006 This paper considers the problem, first introduced by Ahlswede and Körner in 1975, of lossless source coding with coded side information. Specifically, let X and Y be two random variables such that X is desired losslessly at the decoder while Y serves as
Effros, Michelle, Marco, Daniel
core
, 2014 Using an auxiliary random variable technique, we prove that binary differential phase-shift keying and binary phase-shift keying have the same asymptotic bit-error rate performance in lognormal fading channels.
Alouini, Mohamed-Slim +2 more
core +1 more source