Aim-To determine whether the fluorescent in situ hybridisation technique (FISH) using a total human DNA genomic probe can be used to enumerate semen leucocytes.Methods-Semen samples from five donors were subjected to a mild KC1 solution. These samples were then biotin labelled under FISH conditions using a total human DNA genomic probe and the leucocyte counts were determined. To check the accu...

Our previous paper [14] applied a general version of the Lovász Local Lemma that allows negative dependency graphs [11] to the space of random injections from an m-element set to an n-element set. Equivalently, the same story can be told about the space of random matchings in Kn,m. Now we show how the cited version of the Lovász Local Lemma applies to the space of random matchings in K2n. We al...

Test access mechanisms (TAMs) are an important component of a system-on-chip (SOC) test architecture. TAM optimization is necessary to minimize the SOC testing time. We present a fast, heuristic technique for TAM optimization and demonstrate its scalability for several industrial SOCs. Since the TAM optimization problem is -hard, recently proposed methods based on integer linear programming and...

This paper evaluates an inductive learning approach classification technique for vehicle detection and enumeration on very high resolution imagery. It tests pre-processing procedures applied to different images in with different atmospheric conditions and automatic detection algorithms for detection and enumeration. This work contributes to the longer term objective that is beyond the scope of ...

This paper is concerned with a memory-efficient representation of reachability graphs. We describe a technique that enables us to represent each reachable marking in a number of bits close to the theoretical minimum needed for explicit state enumeration. The technique maps each state vector onto a number between zero and the number of reachable states and uses the sweep-line method to delete th...

This paper evaluates an inductive learning approach classification technique for vehicle detection and enumeration on very high resolution imagery. It tests pre-processing procedures applied to different images with different atmospheric conditions and automatic detection algorithms for detection and enumeration. This work contributes to the longer term objective that is beyond the scope of thi...

A method for the analytical enumeration of circulant graphs with p2 vertices, p a prime, is proposed and described in detail. It is based on the use of S-rings and P olya's enumeration technique. Two di erent approaches, \structural" and \multiplier", are developed and compared. As a result we get counting formulae and generating functions (by valency) for non-isomorphic p2-vertex directed and ...