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).

An die Hohe Verfassunggebende Versammlung der Freien Stadt Frankfurt: Gehorsamste dringliche Beschwerde und Bitte des Orientalisten L. H. Loewenstein aus Steinbach in Württemberg, derzeit in Rödelheim, seine, mit Umgehung jeder rechtlichen Formalität erfolgte polizeiliche Ausweisung und nachmalige Verhaftung betreffend: Hohe Verfassunggebende Versammlung! I. Die Ausweisung: Seit dem Jahre 1827 hatte ich mich (mit einer Unterbrechung von 3 1/2 Jahren) in Frankfurt aufgehalten ...

Boberach: Ein jüdischer Einwohner Frankfurts, dem nach einem Aufenthalt von 21 Jahren zunächst das Frankfurter Bürgerrecht in Aussicht gestellt worden war, beschwert sich darüber, daß er wegen seines Auftretens in Volksversammlungen verhaftet und ausgewiesen wurde und verlangt ein Gerichtsverfahren oder Genugtuung, nachdem er sich um Schutz durch seine württembergische Heimatbehörde bemüht hat

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.

An meine Wahlmänner in den nassauischen Aemtern Hadamar, Montabauer, Selters und Wallmerod: Liebe Mitbürger! Ihr habt mich zu Eurem Volksvertreter für die nahe große Nationalversammlung zu Frankfurt gewählt ...

Welsch (Projektbearbeiter): Biographische Selbstdarstellung Max von Gagerns nach seiner Wahl zum Volksvertreter der Frankfurter Nationalversammlung

An das deutsche Volk: Deutsche! Eure in Frankfurt versammelten Vertreter haben mich zum deutschen Reichsverweser erwählt ...

Welsch (Projektbearbeiter): Proklamation der Wahl Erzherzog Johanns zum deutschen Reichsverweser (Leitung der provisorischen Zentralgewalt) durch die Deutsche Nationalversammlung

An die Bürgerwehrmänner Berlins! Kameraden! Zunächst wende ich mich an Euch, um mir die Frage beantworten zu lassen ...

Welsch (Projektbearbeiter): Protest gegen die Verabschiedung des Bürgerwehrgesetzes durch die Nationalversammlung (13. Oktober 1848), die die Bürgerwehr zu einer de-facto-Hilfstruppe der Polizei macht

An die verehrlichen Herren Wahlmänner des Breslauer Landkreises: Meine Herren Wahlmänner! Wenn ich es wage, mich Ihnen als Abgeordneten für die zweite Kammer vorzuschlagen ...

Welsch (Projektbearbeiter): Programm des Abgeordneten-Kandidaten Koester aus Sillmenau bei Breslau: Bekenntnis zur oktroyierten Verfassung, Ablösung der grundherrlichen Lasten und Abgaben, Wahl der Pfarrer und Lehrer durch die Gemeinden, keine Trennung von Schule und Kirche, Erschwerung des Zuzugs und der Gründung von Familien für Landfremde, Regulierung der Oder, solide Haushaltspolitik

Proclamation: Die deutsche National-Versammlung in Frankfurt hat mich zum Reichsverweser erwählt ...

Welsch (Projektbearbeiter): Erzherzog Johanns Erklärung an die österreichische Bevölkerung, das ihm übertragene Amt des Reichsverwesers anzunehmen und mit der nach Wien entsandten Deputation der Nationalversammlung nach Frankfurt/Main zu gehen. Bekenntnis zur Einheit Deutschlands

Antwort des lieben Fritz auf die Geisterstimme im Mausoleum: Verklärter Geist! Du blickst mich finster an. So streng darfst Du Gericht mit mir nicht halten ...

Welsch (Projektbearbeiter): Gedicht eines unbekannten Verfassers, in dem 'der liebe Fritz' (König Friedrich Wilhelm IV. von Preußen) dem Despotismus abschwört: "Erkannt hab' ich, daß nur des Volkes Liebe, Die wahre Stütze sei, für meinen Thron!". (Man vgl. damit das kurz zuvor erschienene Flugblatt: 'An meinen lieben Fritz am 7. Juni 1848: Eine Geisterstimme' (Sf 16/109, Nr. 7))

Bürjerwehr, Du bist bejlückt! Dein Jesetz ist ausjeflickt! Hat nen neuen Schwanz un Kragen! Will nich Ener Bravo sagen? Eine Rede, jehalten von den Bürjerwehr-Esel: Meine Herren! "Ick wollte mich man erlauben zu bemerken", pflegte der vereinigte Landtag zu sagen ...

Welsch (Projektbearbeiter): Satirische Kommentierung der Verabschiedung des Bürgerwehrgesetzes durch die Preußische Nationalversammlung. Hintergrund: Der Linken war es nicht gelungen, "Landwehr und stehendes Heer in einer allgemeinen Volksbewaffnung aufgehen zu lassen", außerdem "verlor sie durch Auflösung der fliegenden Korps der Studenten, Künstler, Arbeiter und Handwerksgesellen eine ihrer wichtigsten Stützen". [Nitschke 1995, 131]