This paper discusses model checking of real-time systems. A novel aspect of our approach is the unconventional approach to deal with representing symbolic state spaces. The representation does not use a canonical form for representing symbolic nodes. Instead it applies an alternative representation based on splitting trees. Unlike often used canonical representations, this representation is tai...

We present logspace algorithms for the canonical labeling problem and the representation problem of Helly circular-arc (HCA) graphs. The first step is a reduction to canonical labeling and representation of interval intersection matrices. In a second step, the Δ trees employed in McConnell’s linear time representation algorithm for interval matrices are adapted to the logspace setting and endow...

A canonical space–time characterization of mobile wireless channels is introduced in terms of a fixed basis that is independent of the true channel parameters. The basis captures the essential degrees of freedom in the received signal using discrete multipath delays, Doppler shifts, and directions of arrival (DOA). The canonical representation provides a robust representation of the propagation...

A canonical space-time characterization of mobile wireless channels is introduced in terms of a xed basis that is independent of the true channel parameters. The basis captures the essential degrees of freedom in the received signal using discrete multipath delays, Doppler shifts, and directions of arrival (DOA). The canonical representation provides a robust representation of the propagation d...

In [M. K. Vemuri, Realizations of the canonical representation, submitted], it was shown that the spectral synthesis problem for the Alpha transform is closely related to the problem of classifying realizations of the canonical representation (of the Heisenberg group). In this paper, we show that discrete sets are sets of spectral synthesis for the Alpha transform.

In canonical correlation analysis, canonical vectors are used in the interpretation of the canonical variables. We are interested in the asymptotic representation of the expectation, the variance and the distribution of the canonical vector. In this study, we derive the asymptotic distribution of the canonical vector under nonnormality. To obtain the asymptotic expansion of the canonical vector...

For X a curve over a field of positive characteristic, we investigate when the canonical representation of Aut(X) on H0(X , X) is irreducible. Any curve with an irreducible canonical representation must either be superspecial or ordinary. Having a small automorphism group is an obstruction to having irreducible canonical representation; with this motivation, the bulk of the paper is spent bound...