ABSTRACT: The study adapts several machine-learning and deep-learning architectures to recognize 63 traditional instruments in weakly labelled, polyphonic audio synthesized from the proprietary Sound ...

Currently, the demo/ directory has limited examples demonstrating the use of the algorithms. Adding more Python examples will help new users understand how to work with the different algorithms ...

Algorithms, examples and tests for denoising, deblurring, zooming, dequantization and compressive imaging with total variation (TV) and second-order total generalized variation (TGV) regularization.

Abstract: In mathematics, the unification problem is that of computing the parameters of two models (formulas, automata, programs, etc.) in such a way that these models have the same behavior. We ...

ABSTRACT: The paper continues the research on algorithms for generating nondeterministic finite automata possessing the following property (the so-called walibad property): among their covering ...