In this paper we introduce a syntactic characterisation of finite domains in first-order temporal logics. In addition to showing that this characterisation is complete with respect to finite domains, we show that the formulae are still within a decidable fragment of first-order temporal logic. This allows us to automatically verify certain finite properties of temporal specifications simply by ...

Cooperative binding pervades Nature. This review discusses the use of isothermal titration calorimetry (ITC) in the identification and characterisation of cooperativity in biological interactions. ITC has broad scope in the analysis of cooperativity as it determines binding stiochiometries, affinities and thermodynamic parameters, including enthalpy and entropy in a single experiment. Examples ...

This paper presents an extensive electro-thermal characterisation of latest generation Silicon Carbide (SiC) power MOSFETs under Unclamped Inductive Switching (UIS) conditions. Tests are carried out to thoroughly understand the single pulse avalanche ruggedness limits of commercial SiC MOSFETs and assess their ageing under repetitive stress conditions. Both a functional and a structural charact...

Evaluation of aerial pictures is of key importance for environmental analysis given the large extensions of land to study. This paper focuses on texture based segmentation of aerial images and characterisation of landscapes. Characterisation is achieved by means of a histogram of microtexture LBP/C vectors. Segmentations is hierarchically performed in a top down way by comparing the textures of...

Background: Listeria is a Gram-positive, non-spore forming, facultative anaerobic intracellular bacterium. The most important pathogens in mammals include Listeria monocytogenes and Listeria ivanovii. The former generally causes disease and death in both humans and animals while the latter performs sporadically and primarily causes illness in ruminant...

the number of vegetable processing plants has been increased during recent years in iran as many other countries. on the other hand, fresh vegetable products are susceptible to microbial contamination after harvest, processing, handling, packing and distribution. the aim of this study was to determine and evaluate the level of microbial load of vegetables during different cleaning steps in a fr...

It is shown how to transform the General Routing Problem (GRP) into a variant of the Graphical Travelling Salesman Problem (GTSP). This transformation yields a projective characterisation of the GRP polyhedron. Using this characterisation, it is shown how to convert facets of the GTSP polyhedron into valid inequalities for the GRP polyhedron. The resulting classes of inequalities subsume severa...

Cardiovascular Magnetic Resonance (CMR) is recognised as a valuable clinical tool which in a single scan setting can assess ventricular volumes and function, myocardial fibrosis, iron loading, flow quantification, tissue characterisation and myocardial perfusion imaging. The advent of CMR using extrinsic and intrinsic contrast-enhanced protocols for tissue characterisation have dramatically cha...

This paper addresses the problem of atomic multicasting messages in asynchronous systems with unreliable failure detection. First, we give a characterisation of the notion of algorithms tolerating unreliable failure detection. Second, we give a characterisation of the notion of genuine atomic multicast. This characterisation leads to a better understanding of the diierence between atomic multic...

Dust fallout can have diverse impacts ranging from major health problems to environmental concerns. It harbour disease-causing microorganisms and toxic heavy metals, it is therefore critical establish the microbial mineral compositions of dust in a particular site elucidate possible related implications for humans entire environment. In this study, samples were collected Arandis, town Erongo re...