Audio source separation aims to extract the signals of individual sound sources from a given recording. In this paper, we review three recent advances which improve the robustness of source separation in real-world challenging scenarios and enable its use for multisource content retrieval tasks, such as automatic speech recognition (ASR) or acoustic event detection (AED) in noisy environments. ...

We present the best known separation between tree-like and general resolution, improving on the recent exp(n) separation of BEGJ98]. This is done by constructing a natural family of contradictions, of size n, that have O(n)-size resolution refutations, but only exp(((n= log n))-size tree-like refutations. This result implies that the most commonly used automated theorem procedures, which produc...

A mathematically correct form of the linear storage element’s routing equation is specified requiring only a slight modification of the existing HEC-HMS routine. The new formulation, unlike the current version in use, is unconditionally stable as long as the time step and the storage coefficient values are trivially specified as positive numbers.

In this study, an Artificial Viscosity (AV) technique was developed for direct runoff calculation, instead of using the conventional Synthetic Unit Hydrograph (SUH) methods. We solved Shallow Water Equations (SWE) with second-order accurate Godunov finite volume model and fourth-order Runge-Kutta explicit scheme. The AV devised a Laplacian biharmonic operator, employed to solve convective terms...

Water becomes, every day, more scarce. Reliable information about volume and quality in each watershed is important to management and proper planning of their use. Data-intensive science is being increasingly needed in this context. Associated analysis processes require handling the drainage network that represents a watershed. This paper presents an ongoing work that explores geographic waters...