Results 261 to 270 of about 75,557 (304)

Loss of AMBRA1 activates MAPK and angiogenesis signaling pathways in melanoma cells

open access: yesFEBS Open Bio, EarlyView.
Loss of AMBRA1 in melanoma cells activates multiple oncogenic pathways associated with tumor progression. Transcriptomic and protein network analyses revealed that AMBRA1 depletion enhances MAPK/ERK signaling, angiogenesis, TGF‐β/EMT signaling, and Wnt/axon guidance pathways.
Milad Ibrahim   +4 more
wiley   +1 more source

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

On improvement in variance estimation using ranks of original auxiliary variable as an additional auxiliary variable

Journal of Statistics and Management Systems, 2020
In this article, we are concerned with the utilization of ranks of original auxiliary variable as an additional auxiliary variable and thus we propose an efficient estimator of population variance....
Lovleen Kumar Grover, Amanpreet Kaur
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

Symbolic traversals of data paths with auxiliary variables

Proceedings of 4th Great Lakes Symposium on VLSI, 2002
Symbolic state space traversal techniques are best on control-dominated circuits, not on data paths. This paper extends their applicability to regular structures commonly found in data paths by using auxiliary variables to decompose and to manipulate Boolean functions in decomposed form. Experimental results demonstrate the gain both in terms of binary
CABODI, Gianpiero   +2 more
openaire   +2 more sources

On the use of transformed auxiliary variables in estimating population mean by using two auxiliary variables

Journal of Statistical Planning and Inference, 2007
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Gupta, Sat, Shabbir, Javid
openaire   +2 more sources

Knowledge Distillation with Auxiliary Variable. [PDF]

open access: yes
Knowledge distillation (KD) provides an efficient framework for transferring knowledge from a teacher model to a student model by aligning their predictive distributions.
Bo Peng   +3 more
openaire   +2 more sources

A new estimator using two auxiliary variables

Applied Mathematics and Computation, 2005
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cem Kadilar, Hulya Cingi
openaire   +2 more sources

A Discussion of Auxiliary Variables in Graphing

The Mathematics Teacher, 1977
A useful transformation technique for ...
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

Home - About - Disclaimer - Privacy