In this paper, we present an efficient real-time implementation of a broadband algorithm for blind source separation (BSS) of convolutive mixtures. A recently introduced generic BSS framework based on a matrix formulation allows simultaneous exploitation of nonwhiteness and nonstationarity of the source signals using second-order statistics. We demonstrate here that this general scheme leads to...

Separation anxiety disorder (SAD) is characterized by developmentally inappropriate and excessive anxiety concerning separation from home or those to whom the individual is attached. Literature suggests that child attachment and anxiety symptoms are related. The aim of this study is to discover which symptoms of separation anxiety were associated with avoidant and/or ambivalent attachment. A to...

We relate Context Logic reasoning about a high-level tree update language with Separation Logic reasoning about a low-level implementation.

Project EASI is the first implemented Complementary Experiment within the AlpArray program (http://www.alparray.ethz.ch) and stands for Eastern Alpine Seismic Investigation. The seismological field experiment ran with 55 broadband stations deployed in zigzag in a ca. 15 km-wide band along longitude 13.35◦E, spanning 540 km from the Czech-German border to the Adriatic Sea, for a duration of one ...

VeriFast is a symbolic-execution-based verifier, based on separation logic specifications. Chalice is a verifier based on verification condition generation, which employs specifications in implicit dynamic frames. Recently, theoretical work has shown how the cores of these two verification logics can be formally related. However, the mechanisms for abstraction in the two tools are not obviously...