Binary Decision Diagrams (BDDs) are a powerful tool and are frequently used in many applications in VLSI CAD, like synthesis and veriication. Unfortunately, BDDs are very sensitive to the variable ordering and their size often becomes infeasible. Recently, a new approach for BDD minimization based on linear transformations, i.e. a special type of spectral techniques, has been proposed. In this ...

Myrmicella verticospinosa gen. et sp. nov., is described, based on four specimens (two males and two females) collected in south-west Madagascar (Zombitse-Vohibasia National Park and Isalo National Park). Three specimens have been collected by sifting the leaf litter, one female was collected using yellow pan traps. Genitalia of both sexes are described and illustrated.

This paper presents the theory, design principles, implementation and performance results of a content-based image retrieval system based on multinomial relevance feedback. The system relies on an interactive search paradigm in which at each round a user is presented with a set of k images and is required to select one that is closest to their target. Performance is measured by the number of ro...

The triaging of individuals who present to general hospital emergency departments with suicidal thoughts and behaviours is especially challenging and fraught with uncertainty. Although the suicide literature is vast, and risk factor research has a long history, there is a dearth of articles that address the "point of care" factors that need to be considered in triaging a suicidal patient. In or...

This paper considers variable reordering for quantum multiplevalued decision diagrams (QMDDs) used to represent the matrices describing reversible/quantum gates and circuits. An efficient method for adjacent variable interchange is presented and this method is employed to implement a vertex reduction procedure for QMDDs using sifting. Experimental results are presented showing the effectiveness...

with fκ(s) as large as possible (resp. Fκ(s) as small as possible) given that the above inequality holds for all choices of A satisfying (1). Selberg [3] has shown (in a much more general context) that the functions fκ(s), Fκ(s) are continuous, monotone, and computable for s > 1, and that they tend to 1 exponentially as s goes to infinity. Let β = β(κ) be the infimum of s such that fκ(s) > 0. S...

Empirical Mode Decomposition (EMD) has been widely used to analyze non-stationary and nonlinear signal by decomposing data into a series of intrinsic mode functions (IMFs) and a trend function through sifting processes. For lack of a firm mathematical foundation, the implementation of EMD is still empirical and ad hoc. In this paper, we prove mathematically that EMD, as practiced now, only give...