The denoising source separation framework is extended to nonlinear separation of image mixtures. MLP networks are used to model the nonlinear unmixing mapping. Learning is guided by a denoising function which uses prior knowledge about the sparsity of the edges in images. The main benefit of the method is that it is simple and computationally efficient. Separation results on a real-world image ...

This article may be used for research, teaching and private study purposes. Any substantial or systematic reproduction, redistribution , reselling , loan or sub-licensing, systematic supply or distribution in any form to anyone is expressly forbidden. The publisher does not give any warranty express or implied or make any representation that the contents will be complete or accurate or up to da...

This paper deals with a process of denoising based on a Blind Source Separation (BSS) method. This technique is inserted in an experimental device of nondestructive testing. Its excitation is a laser beam and its detectors are pyroelectric sensors. The latter are sensitive to the temperature. As they are also piezoelectric, they are particularly sensitive to the environmental noise. Therefore, ...

Making machines that can understand musical structure has long been one of the holy grails of audio processing, separating overlapping sounds has been another. Here we present a simple framework initialy used for the first task, which has come to make itself very useful for source separation. We show that the same type of reasoning that allows one to find the building elements of a musical audi...

We discuss approaches for blind source separation where we can use more sensors than sources to obtain a better performance. The discussion focuses mainly on reducing the dimensions of mixed signals before applying independent component analysis. We compare two previously proposed methods. The first is based on principal component analysis, where noise reduction is achieved. The second is based...

We are surrounded by sounds in our daily lives. To achieve a rich acoustic environment for the next generation, acoustical scene analysis and reproduction technologies are essential. The acoustic scene can be analyzed with cutting edge techniques such as source localization, source separation, dereverberation, noise reduction, and it can be reproduced by employing virtual acoustics via loudspea...

This work addresses the separation of the nonlinear real-life mixture of images that occurs when a page of a document is scanned or photographed and the back page shows through. This effect can be due to partial paper transparency (show-through) and/or to bleeding of the ink through the paper (bleed-through). These two causes usually lead to mixtures with different characteristics. We propose a...

This paper presents the recognition method of fractal images. The approach is considered based on using support subspaces. Support subspaces are constructed with vectors of source data using a conjunction index. The proposed new computing algorithm for the conjugation index reduces requirements for computing capacities and memory. It is shown that the proposed method of construction, supporting...

The paper presents an example of exploratory data analysis of climate measurements using a recently developed denoising source separation (DSS) framework. We analysed a combined dataset containing daily measurements of three variables: surface temperature, sea level pressure and precipitation around the globe. Components exhibiting slow temporal behaviour were extracted using DSS with linear de...

Software model checking problems generally contain two different types of non-determinism: 1) non-deterministically chosen values; 2) the choice of interleaving among threads. Most modern software model checkers can handle only one source of non-determinism efficiently, but not both. This paper describes a SAT-based model checker for asynchronous Boolean programs that handles both sources effec...