This paper shows how to compute, for probabilistic hybrid systems, the clock approximation and linear phase-portrait approximation that have been proposed for non probabilistic processes by Henzinger et al. The techniques permit to define a rectangular probabilistic process from a non rectangular one, hence allowing the model-checking of any class of systems. Clock approximation, which applies ...

We investigate an extension of the Perard and Bishop (PB) model. In the studied model we get a harmonic one dimensional lattice chain with an additional Morse potential on site. The rotation and vibration motion of each component of the lattice are considered and the coupling for these motions is introduced by a resonance condition. Thermodynamics and structural properties of the system are exp...

In a series of papers, Donoho and Johnstone develop a powerful theory based on wavelets for extracting nonsmooth signals from noisy data. Several nonlinear smoothing algorithms are presented which provide high performance for removing Gaussian noise from a wide range of spatially inhomogeneous signals. However, like other methods based on the linear wavelet transform, these algorithms are very ...

The application of microarray hybridization theory to Affymetrix GeneChip data has been a recent focus for data analysts. It has been shown that the hyperbolic Langmuir isotherm captures the shape of the signal response to concentration of Affymetrix GeneChips. We demonstrate that existing linear fit methods for extracting gene expression measures are not well adapted for the effect of saturati...

We propose a non-linear extension of the factor analysis with beta process priors. This non-linear Beta process factor analysis (nBPFA) model allows the data vector to be represented by processing an invertible non-linear transformation on standard factor decomposition. We develop a scalable variational inference framework for large scale datasets, which benefits from the idea of generalizing v...

BMPV black holes in flat transverse space and in Taub-NUT space have identical near horizon geometries but different microscopic degeneracies. It has been proposed that this difference can be accounted for by different contribution to the degeneracies of these black holes from hair modes, – degrees of freedom living outside the horizon. In this paper we explicitly construct the hair modes of th...

Herein, non-linear prediction methods are applied to oesophageal voice analysis. The research aims to investigate normal and pathological subjects, in order to improve knowledge of the oesophageal voice behaviour. Analysis is performed in the reconstructed phase space, using both non-linear prediction with local linear approximation and the S-Map method. Preliminary results seem to confirm that...

he concept of cable-stayed bridges dates back to the seventeenth century. Due to their aesthetic appearance, efficient utilization of material, and availability of new construction technologies, cable-stayed bridges have gained much popularity in the last few decades. After successful construction of the Sutong Bridge, a number of bridges of this type have been proposed and are under constructi...