Results 21 to 30 of about 2,333,017 (293)

Auxiliary Variables in TLA+

open access: yesCoRR, 2017
Auxiliary variables are often needed for verifying that an implementation is correct with respect to a higher-level specification. They augment the formal description of the implementation without changing its semantics--that is, the set of behaviors that it describes.
Leslie Lamport, Stephan Merz
openaire   +5 more sources

A simulation study: new optimal estimators for population mean by using dual auxiliary information in stratified random sampling

open access: yesJournal of Taibah University for Science, 2020
Recently, Haq et al. [A new estimator of finite population mean based on the dual use of the auxiliary information. Commun Stat Theory Methods. 2017;46(9):4425–4436] utilized the dual auxiliary information under simple random sampling only.
Maria Javed, Muhammad Irfan
doaj   +1 more source

Auxiliary Variable Based Particle Filters [PDF]

open access: yes, 2001
We model a time series {y t , t = 1, ..., n} using a state-space framework with the {y t |α t } being independent and with the state {α t } assumed to be Markovian. The task will be to use simulation to estimate f(α t |F t ), t = 1, ..., n, where F t is contemporaneously available information.
Neil Shephard, Michael K. Pitt
openaire   +2 more sources

Estimation of Population Mean under logarithmic for the Poisson Distributed Study and Auxiliary Variates

open access: yes, 2020
: Use of suitable auxiliary information is always suggested in literature at the planning and estimation stage to make the estimators more powerful in terms of efficiency.
Khare, Supriya; Banaras Hindu University   +2 more
core   +1 more source

Auxiliary variables for deformable models [PDF]

open access: yesProceedings of IEEE International Conference on Computer Vision, 2002
We present a mathematical formulation for curve and surface reconstruction algorithms by introduction of auxiliary variables. For deformable models and templates, two step iterative algorithms have been often used where, at each iteration, the model is first locally deformed according to the potential data attraction and then globally smoothed. We show
openaire   +2 more sources

A geoadditive Bayesian latent variable model for Poisson indicators [PDF]

open access: yes, 2006
We introduce a new latent variable model with count variable indicators, where usual linear parametric effects of covariates, nonparametric effects of continuous covariates and spatial effects on the continuous latent variables are modelled through a ...
Fahrmeir, Ludwig, Steinert, Sven
core   +1 more source

Effective Auxiliary Variables via Structured Reencoding

open access: yesCoRR, 2023
Extended resolution shows that auxiliary variables are very powerful in theory. However, attempts to exploit this potential in practice have had limited success. One reasonably effective method in this regard is bounded variable addition (BVA), which automatically reencodes formulas by introducing new variables and eliminating clauses, often ...
Andrew Haberlandt   +2 more
openaire   +6 more sources

Multiple Auxiliary Variables in Nonresponse Adjustment

open access: yesSociological Methods & Research, 2011
Prior work has shown that effective survey nonresponse adjustment variables should be highly correlated with both the propensity to respond to a survey and the survey variables of interest. In practice, propensity models are often used for nonresponse adjustment with multiple auxiliary variables as predictors.
Kreuter, Frauke, Olson, Kristen
openaire   +2 more sources

Challenges with Dual Use of Auxiliary Variable: A Class of Estimators for Population Mean

open access: yesData Science in Science
The estimation of finite population mean is always of interest for different sampling techniques and it is the basic measure to find for sample to estimate one of the most applicable central tendency.
Zahoor Ahmad
doaj   +1 more source

A Class of Exponential Regression Type Estimators for Population Variance in Two-Phase Sampling [PDF]

open access: yesJournal of Statistical Theory and Applications (JSTA), 2017
This article deals with the problems of efficient estimation of population variance in two-phase (double) sampling. Using information on two auxiliary variables, a class of chain exponential to regression type estimators has been proposed and its ...
A. Chatterjee   +2 more
doaj   +1 more source

Home - About - Disclaimer - Privacy