Related papers: A weight system derived from the multivariable Con…
Covariate balance is crucial for unconfounded descriptive or causal comparisons. However, lack of balance is common in observational studies. This article considers weighting strategies for balancing covariates. We define a general class of…
We derive combinatorial identities for variables satisfying specific systems of commutation relations, in particular elliptic commutation relations. The identities thus obtained extend corresponding ones for $q$-commuting variables $x$ and…
We introduce the concept of quantum weight as a fundamental property of insulating states of matter that is encoded in the ground-state static structure and measures quantum fluctuation in electrons' center of mass. We find a sum rule that…
Based on a generic construction, two classes of ternary three-weight linear codes are obtained from a family of power functions, including some APN power functions. The weight distributions of these linear codes are determined through…
We present a simple way to produce good weights for several types of ergodic theorem including the Wiener-Wintner type multiple return time theorem and the multiple polynomial ergodic theorem. These weights are deterministic and come from…
Admissable weight is an important tool for studying spectral invariance in operator algebra. Common admissable weights include polynomial weights and sub exponential weights. This article mainly provides a proof that polynomial weights are…
A codeword is associated to a linearized polynomial. The weight distribution of the codewords is determined as the linearized polynomial varies in a family of fixed degree. There is a corresponding result on Wenger graphs from linearized…
Weighted model counting computes the sum of the rational-valued weights associated with the satisfying assignments for a Boolean formula, where the weight of an assignment is given by the product of the weights assigned to the positive and…
We define weighted renormalized volume coefficients and prove that they are variational. We also prove that they can be written as polynomials of weighted extended obstruction tensors, the weighted Schouten tensor, and the weighted Schouten…
Take a random variable X with some finite exponential moments. Define an exponentially weighted expectation by E^t(f) = E(e^{tX}f)/E(e^{tX}) for admissible values of the parameter t. Denote the weighted expectation of X itself by r(t) =…
We develop a general framework for reasoning about distances between transition systems with quantitative information. Taking as starting point an arbitrary distance on system traces, we show how this leads to natural definitions of a…
A key ingredient in quantum resource theories is a notion of measure. Such as a measure should have a number of fundamental properties, and desirably also a clear operational meaning. Here we show that a natural measure known as the convex…
Pairwise comparison matrices are frequently applied in multi-criteria decision making. A weight vector is called efficient if no other weight vector is at least as good in approximating the elements of the pairwise comparison matrix, and…
We show experimentally that the accuracy of a trained neural network can be predicted surprisingly well by looking only at its weights, without evaluating it on input data. We motivate this task and introduce a formal setting for it. Even…
The relationship between various methods to calculate the physical degrees of freedom for gauge invariant systems of a general form is established. The set of hidden parameters caused for the superfluous degrees of freedom is revealed.
Weighted automata is a basic tool for specification in quantitative verification, which allows to express quantitative features of analysed systems such as resource consumption. Quantitative specification can be assisted by automata…
Proof systems for the Relativized Propositional Calculus are defined and compared.
Multimodal normal incestual systems are investigated in terms of multiple categories. The different sorted composition of operators are exhibited as 2-cells in multiple categories built up from 2-categories giving rise to different axioms.…
A weight function which $q$-generalizes the ground state wave function of the multi-component Calogero-Sutherland quantum many body system is introduced. Conjectures, and some proofs in special cases, are given for a constant term identity…
Many data sources are naturally modeled by multiple weight assignments over a set of keys: snapshots of an evolving database at multiple points in time, measurements collected over multiple time periods, requests for resources served at…