This paper uses a theory of composition based on existential and universal properties. Universal properties are useful to describe components interactions through shared variables. However, some universal properties do not appear directly in components specifications and they must be constructed to prove the composed system. Coming up with such universal properties often requires creativity. Th...

Using a strongly covariant formalism given by Carter for the deformations dynamics of p-branes in a curved background and a covariant and gauge invariant geometric structure constructed on the corresponding Witten’s phase space, we identify the canonical variables for Dirac-Nambu-Goto [DNG] and Gauss-Bonnet [GB] system in string theory. Future extensions of the present results are outlined.

The views expressed in this paper are those of the author and do not imply the expression of any opinion on the part of the United Nations Secretariat.

Measurement errors are often correlated, as in surveys where respondent’s biases or tendencies to err affect multiple reported variables. We extend Schennach (2007) to identify moments of the conditional distribution of a true Y given a true X when both are measured with error, the measurement errors in Y and X are correlated, and the true unknown model of Y given X has nonseparable model error...

In a nonparametric setup involving stochastic regressors. regression quantiles relate to the so called conditional quantile functions. Various asymptotic properties of such conditional quantile processes are studied with due emphasis on the underlying design aspects.

We examine local strong rationality (LSR) in multivariate models with both forward-looking expectations and predetermined variables. Given hypothetical common knowledge restrictions that the dynamics will be close to those of a specified minimal state variable solution, we obtain eductive stability conditions for the solution to be LSR. In the saddlepoint stable case the saddle-path solution is...

The purpose of this paper is to provide a construction to model shared-variable systems using higher-dimensional automata which is compositional in the sense that the parallel composition of completely independent systems is modeled by the standard tensor product of HDAs and nondeterministic choice is represented by the coproduct.