Multiple-valued decision diagrams (MDDs) give a way of approaching problems by using symbolic variables which are often more naturally associated with the problem statement than the variables obtained by a binary encoding. We present a more general class of MDDs, containing not only branching nodes but also functional nodes, labeled by addition modulo p operation, p prime, and give algorithms f...

In this paperwe present the StrategyGeneric ExtensibleModelchecker (StrataGEM), a tool aimed at the analysis of Petri nets and other models of concurrency by means of symbolic model-checking techniques. StrataGEMmarries the well know concepts of TermRewriting (TR) to the efficiency of Decision Diagrams (DDs). TR systems are a great way to describe the semantics of a system, being readable and c...

To cope with the complexity of today’s digital systems in diagnostic modelling, hierarchical approaches should be used. In this paper, the possibilities of using Decision Diagrams (DD) for diagnostic modelling of digital systems are discussed. DDs can be used for modelling systems at different levels of representation like logic level, register transfer level, instruction set level. The nodes i...

In decision diagrams (DDs) methods for circuit synthesis, it is possible to directly transfer a DD for a given function f into a network realizing f by the replacement of non-terminal nodes in the DD with the corresponding circuit modules. The chief bottleneck of mapping a DD into a network is the inherent feature that the depth of the network produced, is equal to the number of variables in f....

In Web classification, web pages are assigned to pre-defined categories mainly according to their content (content mining). However, the structure of the web site might provide extra information about their category (structure mining). Traditionally, both approaches have been applied separately, or are dealt with techniques that do not generate a model, such as Bayesian techniques. Unfortunatel...

The purpose of the present study was twofold: 1) to determine if antibodies raised against ubiquitin would recognize antigens associated with the porcine cytoplasmic droplet (CD), and 2) to determine if the same antibody would identify ubiquitinated substrates on the surface of morphologically abnormal boar spermatozoa. Permeabilization with the detergent Triton X-100 (0.05%) showed virtually a...

Efficient methods for the representation and simulation of quantum states operations are crucial optimization circuits. Decision diagrams (DDs), a well-studied data structure originally used to represent Boolean functions, have proven capable capturing relevant aspects systems, but their limits not well understood. In this work, we investigate bridge gap between existing DD-based structures sta...

UNLABELLED The objective of this study was to determine the appropriate dose of artesunate for use in a fixed dose combination therapy with chlorproguanil-dapsone (CPG-DDS) for the treatment of uncomplicated falciparum malaria. METHODS Open-label clinical trial comparing CPG-DDS alone or with artesunate 4, 2, or 1 mg/kg at medical centers in Blantyre, Malawi and Farafenni, The Gambia. The tri...

The paper presents selected issues related to design and implementation of model based Decision Support Systems (DSS). For over ten years the SDS Program has been involved in cooperation with various projects at IIASA and in collaborating research institutes. This cooperation has resulted in the development of many DSS, which in turn stimulated research on the theory and methodology of decision...