Results 241 to 250 of about 468,328 (281)

Sparse Blind Deconvolution Using ADMM Methods Based on Asymmetric Structured Prior for UWB Fuze. [PDF]

Sensors (Basel)
Hao S, Pan X, Liang Y, Wu K, Yang B, Huang Z.   +5 more
europepmc   +1 more source

Existence, Stability, and Control of Glucose-Insulin Dynamics via Caputo-Fabrizio Fractal-Fractional Operators. [PDF]

MethodsX
Saber S, Alahmari AA.
europepmc   +1 more source

The need to consider auxiliary assumptions in preregistration practices. [PDF]

Front Psychol
St Quinton T, Trafimow D.
europepmc   +1 more source

Reply: Matters Arising: The importance of understanding AI's impact on physician behavior. [PDF]

Npj Ment Health Res
Ryan K, Yang HJ, Kim B, Kim JP.
europepmc   +1 more source

Factoring an integer with three oscillators and a qubit. [PDF]

Nat Commun
Brenner L, Caha L, Coiteux-Roy X, Koenig R.   +3 more
europepmc   +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

Use of multi-auxiliary variables as a condensed auxiliary variable in selecting a sample

Communications in Statistics - Theory and Methods, 1983
Information on several auxiliary variables correlated with the variable under study is available in most of the sample survey studies. This paper attempts an optimal use of several auxiliary variables in the form of a single auxiliary variable obtained as a linear function of these variables.
M. Singh, P. Kumar, R.R. Chandak
openaire   +1 more source

Scrambled Response Models Based on Auxiliary Variables

2013
We discuss the problem of obtaining reliable data on a sensitive quantitative variable without jeopardizing respondent privacy. The information is obtained by asking respondents to perturb the response through a scrambling mechanism. A general device allowing for the use of multi-auxiliary variables is illustrated as well as a class of estimators for ...
Diana G, PERRI, PIER FRANCESCO
openaire   +3 more sources