ions for Shape Analysis Predicate abstraction is a method for constrained-based abstraction that has been successfully applied in many domains. Unfortunately, in the context of shape analysis it is in general not efficient enough. In [5], we describe a new approach to shape analysis based on predicate abstraction. We propose a class of state predicates that exploits existent abstractions for sh...

sensor independent features. Different physical quantities can provide the same abstract information about an activity. Thus, for example, on-body inertial sensors, clothing-integrated textile elongation sensors, and visual tracking, all give information about body parts trajectories. If the classifiers are trained on such trajectories rather than on raw sensor signals, then the classification ...

A 49-year-old man consulted our department 3 months after having several implantable cardioverter-defibrillator (ICD) shocks with subsequent syncope. A CRT-D device (Boston Scientific, Cognis 100-D) and a single-element subcutaneous array (Medtronic, model 6996 SQ) had been implanted 2 years previously for primary prevention of sudden cardiac death caused by symptomatic (New York Heart Associat...