Evaluation of Three State-of-the-Art Classifiers for Recognition of Activities of Daily Living from Smart Home Ambient Data

Smart homes for the aging population have recently started attracting the attention of the research community. The "health state" of smart homes is comprised of many different levels; starting with the physical health of citizens, it also includes longer-term health norms and outcomes, as well as the arena of positive behavior changes. One of the problems of interest is to monitor the activities of daily living (ADL) of the elderly, aiming at their protection and well-being. For this purpose, we installed passive infrared (PIR) sensors to detect motion in a specific area inside a smart apartment and used them to collect a set of ADL. In a novel approach, we describe a technology that allows the ground truth collected in one smart home to train activity recognition systems for other smart homes. We asked the users to label all instances of all ADL only once and subsequently applied data mining techniques to cluster in-home sensor firings. Each cluster would therefore represent the instances of the same activity. Once the clusters were associated to their corresponding activities, our system was able to recognize future activities. To improve the activity recognition accuracy, our system preprocessed raw sensor data by identifying overlapping activities. To evaluate the recognition performance from a 200-day dataset, we implemented three different active learning classification algorithms and compared their performance: naive Bayesian (NB), support vector machine (SVM) and random forest (RF). Based on our results, the RF classifier recognized activities with an average specificity of 96.53%, a sensitivity of 68.49%, a precision of 74.41% and an F-measure of 71.33%, outperforming both the NB and SVM classifiers. Further clustering markedly improved the results of the RF classifier. An activity recognition system based on PIR sensors in conjunction with a clustering classification approach was able to detect ADL from datasets collected from different homes. Thus, our PIR-based smart home technology could improve care and provide valuable information to better understand the functioning of our societies, as well as to inform both individual and collective action in a smart city scenario.

Unfolding Feasible Arithmetic and Weak Truth

In this paper we continue Feferman’s unfolding program initiated in (Feferman, vol. 6 of Lecture Notes in Logic, 1996) which uses the concept of the unfolding U(S) of a schematic system S in order to describe those operations, predicates and principles concerning them, which are implicit in the acceptance of S. The program has been carried through for a schematic system of non-finitist arithmetic NFA in Feferman and Strahm (Ann Pure Appl Log, 104(1–3):75–96, 2000) and for a system FA (with and without Bar rule) in Feferman and Strahm (Rev Symb Log, 3(4):665–689, 2010). The present contribution elucidates the concept of unfolding for a basic schematic system FEA of feasible arithmetic. Apart from the operational unfolding U0(FEA) of FEA, we study two full unfolding notions, namely the predicate unfolding U(FEA) and a more general truth unfolding UT(FEA) of FEA, the latter making use of a truth predicate added to the language of the operational unfolding. The main results obtained are that the provably convergent functions on binary words for all three unfolding systems are precisely those being computable in polynomial time. The upper bound computations make essential use of a specific theory of truth TPT over combinatory logic, which has recently been introduced in Eberhard and Strahm (Bull Symb Log, 18(3):474–475, 2012) and Eberhard (A feasible theory of truth over combinatory logic, 2014) and whose involved proof-theoretic analysis is due to Eberhard (A feasible theory of truth over combinatory logic, 2014). The results of this paper were first announced in (Eberhard and Strahm, Bull Symb Log 18(3):474–475, 2012).

Standard cystectomy fits all: truth or myth?

Radical cystectomy (RC) with pelvic lymph node dissection (PLND) followed by urinary diversion is the treatment of choice for muscle-invasive bladder cancer (BC) and non-invasive BC refractory to transurethral resection of the bladder (TUR-B) and/or intravesical instillation therapies. Since the morbidity and possible mortality of this surgery are relevant, care must be taken in the preoperative selection of patients for the various organ-sparing procedures (e.g., bladder-sparing, nerve sparing, seminal vesicle sparing) and various types of urinary diversion. The patient’s performance status and comorbidities, along with individual tumor characteristics, determine possible surgical steps during RC. This individualized approach to RC in each patient can maximize oncological safety and minimize avoidable side effects, rendering ‘standard’ cystectomy a surgery of the past.

The truth lies within: the reconstructive value of inner livores in a homicide case.

Through the widespread use of postmortem computed tomography, inner livores of the lungs have become a frequently observed phenomenon in the field of forensic medicine. Yet their time-dependent development, notably in comparison with the widely studied external livores, remains poorly understood. We present a unique homicide case where the victim was discovered in supine position with correspondent external livores fixed exclusively on the rear side. Yet upon postmortem computed tomography, the victim presented pronounced inner livores within the depending dorsal areas of both lungs but also vertical sedimentation levels solely within the right lung, suggesting an initial right-hand side position and a postmortem re-positioning of the body. Interestingly, this was consistent with tangible hints of postmortem manipulation on-site. It is likely that this repositioning occurred sometime during the early postmortem interval (<6 h) as the external livores have completely rearranged to the final supine position. The presented case suggests different development patterns of inner and outer livores, highlighting the necessity for controlled studies that explore the formation and fixation processes of livor mortis in internal organs. A better understanding of these issues can prove useful in forensic examinations.