In this paper we develop a new technique to model joint distributions of signals. Our technique is based on quantum mechanical conjugate variables. We show that the transition probability of quantum states leads to a distance function on the signals. This distance function obeys the triangle inequality on all quantum states and becomes a metric on pure quantum states. Treating signals as conjug...

We report the results of a study of electroweak parameters from observations of neutralcurrent νN deeply inelastic scattering in the CCFR detector at the FNAL Tevatron Quadrupole Triplet neutrino beam. An improved extraction of the weak mixing angle in the on-shell renormalization scheme, incorporating additional data and with an improved technique for constraining systematic errors, is present...

Abstract. The approach of Berezin to the quantization of so(n,2) via generalized coherent states is considered in detail. A family of n commuting observables is found in which the basis for an associated Fock-type representation space is expressed. An interesting feature is that computations can be done by explicit matrix calculations in a particular basis. The basic technical tool is the Leibn...

The convergence properties of a recently developed recursive subspace identification algorithm are investigated in this paper. The algorithm operates on the basis of an extended instrumental variable (EIV) version of the propagator method for signal subspace estimation. It is proved that, under weak conditions on the input signal and the identified system, the considered MOESP class of recursiv...

Proofs of progress properties often require fairness assumptions. Directly incorporating global fairness assumptions in a compositional method is difficult, given the local flavor of such reasoning. We present a fully automated local reasoning algorithm which handles fairness assumptions through a process of iterative refinement. Refinement strengthens local proofs by the addition of auxiliary ...

The Cone of Influence Reduction is a fundamental abstraction technique for reducing the size of models used in symbolic model checking. We develop coalgebraic representations of systems as composites of state transition maps and connectors. These representations include synchronous systems, asynchronous systems, asynchronous systems with synchronization by channels, and those with shared variab...

&bstract. The use of symmetry to alleviate state-explosion problems during model-checking has become a important research topic. This paper investigates several problems which are important to techniques exploiting symmetry. The most important of these problems is the orbit problem. We prove that the orbit problem is equivalent to an important problem in computational group theory which is at l...

Industrial systems are publicly the target of cyberattacks since Stuxnet. Nowadays they are increasingly communicating over insecure media such as Internet. Due to their interaction with the real world, it is crucial to ensure their security. In this paper, we propose a domain specific stateful filtering that keeps track of the value of predetermined variables. Such filter allows to express rul...

In this paper we describe a novel approach for the solution of inviscid ow problems for subsonic compressible ows. The approach is based on canonical forms of the equations, in which subsystems governed by hyperbolic operators are separated from those governed by elliptic ones. The discretizations used as well as the iterative techniques for the di erent subsystems, are inherently di erent. Hyp...