The extent to which the intense light generated by an unseeded, high-gain optical parametric ampli®er retains the desired quantum statistical properties of the individual photon pairs generated by spontaneous parametric downconversion is analysed. It is shown that certain but not all of these properties are retained, with important implications for applications of quantum optics.

We present a certain extension of temporal-epistemic logic CTLK, allowing for specification of parametric group knowledge properties. These properties allow for free variables, and we introduce a technique for synthesizing all the possible variable substitutions which make the given formula hold in a model. We present the relevant theory, and demonstrate the efficiency and practical usefulness ...

Bounded Model Checking (BMC) is an efficient technique applicable to verification of temporal properties of (timed) distributed systems. In this paper we show for the first time how to apply BMC to parametric verification of time Petri nets with discrete-time semantics. The properties are expressed by formulas of the logic PRTECTL a parametric extension of the existential fragment of Computatio...

Consider linear systems whose input data are linear functions of uncertain parameters varying within given intervals. We are interested in an explicit description of the so-called AE parametric solution sets (where all universally quantified parameters precede all existentially quantified ones) by a set of inequalities not involving the parameters. This work presents how to obtain explicit desc...

We generalize the definition of quantum Anosov properties and the related Lyapunov exponents to the case of quantum systems driven by a classical flow, i.e. skew-product systems. We show that the skew Anosov properties can be interpreted as regular Anosov properties in an enlarged Hilbert space, in the framework of a generalized Floquet theory. This extension allows us to describe the hyperboli...

We generalize the definition of quantum Anosov properties and the related Lyapunov exponents to the case of quantum systems driven by a classical flow, i.e. skew-product systems. We show that the skew Anosov properties can be interpreted as regular Anosov properties in an enlarged Hilbert space, in the framework of a generalized Floquet theory. This extension allows us to describe the hyperboli...

Based on the original geometrical definition of the planar parametric convex curve, the local convexity and the global convexity on parametric curve are discussed, a few properties are obtained, and a necessary and sufficient condition is presented for the local convexity of a general planar parametric curve.

A semi-parametric algorithm for identification of Hammerstein systems in the presence of correlated noise is proposed. The procedure is based on the non-parametric kernel regression estimator and the standard least squares. The advantages of the method in comparison with the standard non-parametric approach are discussed. Limit properties of the proposed estimator are studied, and the simulatio...

This report reviews several bootstrap methods with special emphasis on small sample properties. Only those bootstrap methods are covered which promise wide applicability. The small sample properties can be investigated analytically only in parametric bootstrap applications. Thus there is a strong emphasis on the latter although the bootstrap methods can be applied nonparametrically as well. The...