This paper presents a logical system, CIULDS, as a labelled realization to our approach of Compromising Interfering Updates. The approach proposes a method for handling logically con icting inputs into knowledge bases, via restricting their consequences. The main idea is to update the database with as many consistent consequences of the inputs as possible, in the case that the inputs themselves...

Aims-To evaluate factors which ameliorate false positive artefacts with direct in situ PCR using labelled dNTPs; to investigate the use of labelled primers to overcome this artefact whilst maintaining sensitivity.Methods-Sections of measles (RNA virus) infected Vero cells with cytoplasmic signal or cytomegalovirus (DNA virus) infected fibroblasts with nuclear signal were collected. In situ PCR ...

A Leavitt labelled path algebra over a commutative unital ring is associated with space, generalizing algebras graphs and ultragraphs as well torsion-free generated by idempotents. We show that can be realized partial skew group rings, Steinberg algebras, Cuntz-Pimsner algebras. Via these realizations we obtain generalized uniqueness theorems, description of diagonal preserving isomorphisms cha...

The gas-phase recognition of native amino acids and the conformational properties of three glucosylthioureidocalix[4]arenes () were studied theoretically and experimentally using ab initio calculations, ESI-FTICR,(1)H and (13)C NMR MS. The conformational and complexation properties of the glucocalixarenes were dependent on the number of glucose units at the upper rim and the length of the alkyl...

Concurrent uncontrolled development of human immunodeficiency virus type 1 (HIV-1) and Leishmania spp. is regarded as an emerging pathogenic combination in countries where human beings are exposed to these two micro-organisms. The present study was aimed at exploring whether HIV-1 development within a culture of human monocyte-derived macrophages (MDMs) affected the further development of lucif...