Within this manuscript we generalize the two recently obtained results of O. Popescu and G. Stan, regarding F-contractions in complete, ordinary metric space to 0-complete partial metric-like space. As Stan use less conditions than D. Wardovski did his paper from 2012, introduce, with help one our lemmas, a new method proving fixed point theory. Requiring that function F only be strictly increa...

This paper describes a new technique to implement operations on compressed digital video images that allows many image manipulation operations to be performed 50 to 100 times faster than the corresponding algorithms operating on uncompressed images. This is accomplished by performing the operations directly on the compressed data in the DCT domain. In this paper, we show how to transform image ...

This paper presents a method for the evolution of SHI ABoxes which is based on a compilation technique of the knowledge base. For this the ABox is regarded as an interpretation of the TBox which is close to a model. It is shown, that the ABox can be used for a semantically guided transformation resulting in an equisatisfiable knowledge base. We use the result of this transformation to efficient...