Results 31 to 40 of about 69,902 (260)
Re-using Auxiliary Variables for MaxSAT Preprocessing [PDF]
2015 IEEE 27th International Conference on Tools with Artificial Intelligence (ICTAI), 2015 Solvers for the maximum satisfiability (MaxSAT) problem -- a well-known optimization variant of Boolean satisfiability (SAT) -- are finding an increasing number of applications. Preprocessing has proven an integral part of the SAT-based approach to efficiently solving various types of real-world problem instances.
Jeremias Berg +2 more
openaire +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
A note on transformations on auxiliary variable in survey sampling [PDF]
Model Assisted Statistics and Applications, 2011 In this note, we address the doubts of Singh [12] and Gupta and Shabbir [1] on the transformations of auxiliary variables by adding unit free constants. The original contribution by Sisodia and Dwivedi [15] is correct.
Rajesh K. Singh, Manoj Kumar Tiwari
openaire +2 more sources
Some Efficient Methods to Remove Bias in Ratio and Product Types Estimators in Ranked Set Sampling
International Journal of Bio-Resource and Stress Management, 2022 Ranked set sampling is one method to potentially increase precision and reduce costs by using quantitative or qualitative information to obtain a more representative sample.
Nitu Mehta, V. L. Mandowara
doaj
Imputation of missing data for domain mean estimation using simple random sampling
Kuwait Journal of ScienceThe estimate of domain mean is a significant issue in sample surveys. However, if the data is missing, it becomes very necessary. In the case of missing data, this paper proposes some direct and synthetic domain mean estimators using simple random ...
Anoop Kumar +5 more
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Introduction The use of herbal medical preparation (HMP) is rising among pediatric oncology patients, often to manage treatment‐related symptoms. Their effectiveness remains uncertain, and the risk of herb–drug interactions is underestimated.
Orianne Mahot +6 more
wiley +1 more source
Estimation of population mean using ranked set sampling in the presence of measurement errors
Kuwait Journal of ScienceRanked set sampling is widely acknowledged for its superior efficiency compared with simple random sampling. Only a small amount of work has been conducted using ranked set sampling when measurement errors are present.
Ahmadini A.A.H., Singh R., Raghav Y.S.
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Pediatric radiation therapy presents unique challenges compared to adult treatments, including those of immobilization, potential need for sedation, and the critical importance of accurate, reproducible positioning. Additionally, heightened attention to imaging doses is necessary to minimize long‐term toxicity in survivors.
Parham Alaei +17 more
wiley +1 more source
MathematicsWhen researchers conduct surveys seeking sensitive, socially stigmatized information, respondents, on average, modify their answers to represent themselves favorably. To overcome this issue, researchers may use Randomized Response Technique (RRT) models.
Sat Gupta, Michael Parker, Sadia Khalil
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Survival after relapse in pediatric acute myeloid leukemia (AML) remains poor, highlighting the critical importance of identifying prognostic factors to guide optimal relapse management. Methods We investigated the prognostic impact of multiparameter flow cytometry (MFC) measurable residual disease (MRD) in 188 patients with first ...
Camilla Poulsen +21 more
wiley +1 more source