In an earlier paper we introduced the classes of polynomial and rank structures, both of them preserved by applying a (shifted) QRstep on a matrix A. In the present paper we will further investigate the case of rank structures. We will show that even if A is a singular matrix, a new QR-iterate can be constructed having the same rank structure as the matrix A itself. To this end we will introduc...

Botulism is a rare but severe neuroparalytic disease caused by botulinum toxins. Because of its high potential impact on public health, botulism is a closely monitored communicable disease in Europe. In Italy, which has one of the highest incidence rates in Europe (0.03 cases per 100,000 population), botulism is monitored through a case-based passive surveillance system: the front-line physicia...

Data sanitization is a process that is used to promote the sharing of transactional databases among organizations and businesses, it alleviates concerns for individuals and organizations regarding the disclosure of sensitive patterns. It transforms the source database into a released database so that counterparts cannot discover the sensitive patterns and so data confidentiality is preserved ag...

It is shown, which zero patterns of symmetric matrices are preserved under the QR algorithm.

Image enhancement is an important tool for processing image. There exits many enhancement algorithms, in which Retinex algorithm enhance details of an image and is widely used. Retinex algorithm can remove illumination but cannot maintain the range of reflectance, hence it is not essential for non-uniform illumination images. So to preserve naturalness along with enhancing the details we propos...

Distributed supervisory control is a method to synthesize local controllers in discrete-eventsystems with a systematic observation of the plant. Some works were reported on extending this methodby which local controllers are constructed so that observation properties are preserved from monolithic todistributed supervisory control, in an up-down approach. In this paper, we find circumstances in ...

This paper contributes to the multi-core model checking of timed automata (TA) with respect to liveness properties, by investigating checking of TA Büchi emptiness under the very coarse inclusion abstraction or zone subsumption, an open problem in this field. We show that in general Büchi emptiness is not preserved under this abstraction, but some other structural properties are preserved. Base...

This paper contributes to the multi-core model checking of timed automata (TA) with respect to liveness properties, by investigating checking of TA Büchi emptiness under the very coarse inclusion abstraction or zone subsumption, an open problem in this field. We show that in general Büchi emptiness is not preserved under this abstraction, but some other structural properties are preserved. Base...