able to map each input noncode word to an output noncode word, and thus, the SCD property of the whole checker is not lost. Examples illustrating the points a, b, and c have been given in another report [171. V. CONCLUSIONS The paper discusses some important aspects of self-checking checkers and highlights some problems concerning the necessity of the fault secure property for SCD checkers. Som...

Morphological classifications are reported for Hubble Space Telescope (HST) images of 241 galaxies in the Hubble Deep Field (HDF) and its Flanking Fields (FF) with measured redshifts in the interval 0.25 < z < 1.2, drawn from a magnitude-limited redshift survey to R = 24.0. The galaxies are divided into three groups with redshifts in the intervals [0.25,0.6], [0.6,0.8], [0.8,1.2]. R606 images f...

Decompositions of higher-order tensors are becoming more and more important in signal processing, data analysis, machine learning, scientific computing, optimization and many other fields. A new trend is the study of coupled matrix/tensor decompositions (i.e., decompositions of multiple matrices and/or tensors that are linked in one or several ways). Applications can be found in various fields ...

Using the IRAM 30m telescope, we have surveyed an unbiased sample of 47 nearby spiral galaxies of very late (Scd-Sm) Hubble-type for emission in the CO(1− 0) and (2− 1) lines. The sensitivity of our data (a few mK) allows detection of about 60% of our sample in at least one of the CO lines. The median detected H2 mass is 1.4×10 7 M⊙ within the central few kpc, assuming a standard conversion fac...

Longitudinal clustering provides a detailed yet comprehensible description of time profiles among subjects. With several approaches that are commonly used for this purpose, it remains unclear under which conditions method is preferred over another method. We investigated the performance five methods using Monte Carlo simulations on synthetic datasets, representing various scenarios involving po...

Aims. We study the magnetic field structure, strength, and energy density in the Scd galaxy M33. Methods. Using the linearly polarized intensity and polarization angle data at 3.6, 6.2 and 20 cm, we determine variations of Faraday rotation and depolarization across M33. We fit a 3-D model of the regular magnetic field to the observed azimuthal distribution of polarization angles. We also analyz...

We present near-infrared H-band (1.65 μm) surface brightness profile decomposition for 1157 galaxies in five nearby clusters of galaxies: Coma, A1367, Virgo, A262 and Cancer, and in the bridge between Coma and A1367 in the “Great Wall”. The optically selected (mpg ≤ 16.0) sample is representative of all Hubble types, from E to Irr+BCD, except dE and of significantly different environments, span...

The morphological relaxation of axisymmetric crystal surfaces with a single facet below the roughening transition temperature is studied analytically for diffusion-limited sDLd and attachment-detachment-limited sADLd kinetics with inclusion of the Ehrlich-Schwoebel barrier. The slope profile Fsr , td, where r is the polar distance and t is time, is described via a nonlinear, fourth-order partia...

Providing efficient access to XML documents is crucial, as XML has become the most important technique to exchange data in WWW. DOM is a popular object-oriented user interface to manipulate XML documents. Several concurrency control protocols have been proposed for DOM by analyzing the read/write behaviors of DOM operations. However, none of them exploit the semantics of DOM operations for enha...