Motivated by the design of low-complexity distributed quantizers and iterative decoding algorithms that leverage the correlation in the data picked up by a large-scale sensor network, we address the problem of finding correlation preserving clusters. To construct a factor graph describing the statistical dependencies between sensor measurements, we develop a hierarchical clustering algorithm th...

This paper presents a novel implementation of memoing evaluation SSW94] by source-to-source transformation. The transformation proceeds in two steps: The rst step consists of magic sets rewriting BR91], a standard transformation in deductive databases, application to Prolog has not been considered yet. The second transformation rewrites bottom-up rules to Prolog clauses. This bottom-up to top-d...

Data-flow optimizations are usually implemented on low-level intermediate representations. This is not appropriate for source-to-source optimizations, which reconstruct a source level program after transformation. In this paper we show how constant propagation, a well known data-flow optimization problem, can be implemented on abstract syntax trees in Stratego, a rewriting system extended with ...

We consider the source extraction problem for stereo instantaneous musical mixtures with more than two sources. We prove that usual separation methods based only on spatial diversity have performance limitations when the sources overlap in the time-frequency plane. We propose a new separation scheme combining spatial diversity and structured source priors. We present possible priors based on no...

Background: Miniature neutron sources with high neutron flux have abundant applications in medicine, industry and researches. The most important general characteristic of miniature neutron sources is their diameter which is 3mm in average. In this research, we have surveyed and designed an Am-Be miniature neutron source fabrication. Materials and Methods: This investigation resulted in creation...