Results 281 to 290 of about 421,329 (326)

Designing Dynamic Stacked Bar Charts for Alarm Semantic Levels: Hierarchical Color Cues and Orientation on Perceptual Order and Search Efficiency. [PDF]

Sensors (Basel)
Zhang J, Yan Q, Wu J, Ge W.
europepmc   +1 more source

Efficient Estimator for Population Variance Using Auxiliary Variable

, 2016
Subhash Kumar Yadav, Sheela Misra, S. S. Mishra   +2 more
openalex   +1 more source

The quark jet function for k T -like variables in NNLO QCD. [PDF]

Eur Phys J C Part Fields
Buonocore L, Grazzini M, Guadagni F, Haag J, Rottoli L.   +4 more
europepmc   +1 more source

Generally weighted moving average control chart in the presence of measurement error via auxiliary information utilization. [PDF]

PLoS One
Chen JH, Chatterjee K, Lu SL, Yang SF.
europepmc   +1 more source

New formulation and valid inequalities for a periodic capacitated vehicle routing problem with multiple depots, heterogeneous fleet, and hard time-windows. [PDF]

PLoS One
Arenas-Vasco A, Rivera JC, Baldoquín MG.   +2 more
europepmc   +1 more source

Penalization and data reduction of auxiliary variables in survey sampling

, 2012
Muhammad Ahmed Shehzad
openalex   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Hoare Logic and Auxiliary Variables

Formal Aspects of Computing, 1999
Abstract.Auxiliary variables are essential for specifying programs in Hoare Logic. They are required to relate the value of variables in different states. However, the axioms and rules of Hoare Logic turn a blind eye to the role of auxiliary variables. We stipulate a new structural rule for adjusting auxiliary variables when strengthening preconditions
openaire   +1 more source

Auxiliary Variables in Data Refinement

Information Processing Letters, 1988
A set of local variables in a program is auxiliary if its members occur only in assignments to members of the same set. Data refinement transforms a program, replacing one set of local variables by another set, in order to move towards a more efficient representation of data. Most techniques of data refinement give a direct transformation. But there is
openaire   +1 more source