We present a CLP(FD)-based constraint solver able to deal with unbounded domains. It is based on constraint propagation, resorting to enumeration if all other methods fail. An important aspect is detecting when enumeration was complete and if this has an impact on the soundness of the result. We present a technique which guarantees soundness in the following way: if the constraint solver finds ...

Our work studies the enumeration and random generation of unlabeled combinatorial classes of unrooted graphs. While the technique of vertex pointing provides a straightforward procedure for analyzing a labeled class of unrooted graphs by first studying its rooted counterpart, the existence of nontrivial symmetries in the unlabeled case causes this technique to break down. Instead, techniques su...

A new method for lossless coding of the classiication table in low bit rate subband image coders with block-wise classiication is proposed. The method is referred to as hierarchical enumeration and uses an algorithmic enumeration technique to associate a xed-length unique binary code-word with each possible combination of integers deening the classiication table. The resulting bit rate is less ...

In the present work, graphical enumeration technique is applied for structural synthesis of mechanically constrained planar parallel robot formed by single loop 6bar chain or two 3R chains. Two RR chains are added to the considered system to mechanically constraint the movement of its end-effector. Structural code has been proposed as a new systematic methodology to detect isomorphic graphs. Th...

The Incident Object Description Exchange Format (IODEF) is an XML data representation framework for sharing information about computer security incidents. In IODEF, the Reference class provides references to externally specified information such as a vulnerability, Intrusion Detection System (IDS) alert, malware sample, advisory, or attack technique. In practice, these references are based on e...

The Incident Object Description Exchange Format (IODEF) is an XML data representation framework for sharing information about computer security incidents. In IODEF, the Reference class provides references to externally specified information such as a vulnerability, Intrusion Detection System (IDS) alert, malware sample, advisory, or attack technique. In practice, these references are based on e...

This paper continues the investigation into the relationship between good approximations and jump inversion initiated by Griffith. Firstly it is shown that there is a Π2 set A whose enumeration degree a is bad—i.e. such that no set X ∈ a is good approximable—and whose complement A has lowest possible jump, in other words is low2. This also ensures that the degrees y ≤ a only contain ∆3 sets and...

In this paper we consider the enumeration of ordered set partitions avoiding a permutation pattern of length 2 or 3. We provide an exact enumeration for certain special cases, and a recursive technique to exactly enumerate the appropriate set partitions in general. We also give some asymptotic results for the growth rates of the number of ordered set partitions avoiding a single pattern; includ...

The effects of the addition of catalase (EC 1.11.1.6) or pyruvate on the enumeration of Staphylococcus aureus in Trypticase soy broth with 10% NaCl were examined using a most-probable-number technique. Addition of catalase or pyruvate to the broth increased enumeration of all heat-stressed S. aureus strains tested. Increases were also observed with nonstressed cells. Catalase and pyruvate were ...