Eye blink detection for different driver states in conditionally automated driving and manual driving using EOG and a driver camera

In this article, we examine the performance of different eye blink detection algorithms under various constraints. The goal of the present study was to evaluate the performance of an electrooculogram- and camera-based blink detection process in both manually and conditionally automated driving phases. A further comparison between alert and drowsy drivers was performed in order to evaluate the impact of drowsiness on the performance of blink detection algorithms in both driving modes. Data snippets from 14 monotonous manually driven sessions (mean 2 h 46 min) and 16 monotonous conditionally automated driven sessions (mean 2 h 45 min) were used. In addition to comparing two data-sampling frequencies for the electrooculogram measures (50 vs. 25 Hz) and four different signal-processing algorithms for the camera videos, we compared the blink detection performance of 24 reference groups. The analysis of the videos was based on very detailed definitions of eyelid closure events. The correct detection rates for the alert and manual driving phases (maximum 94%) decreased significantly in the drowsy (minus 2% or more) and conditionally automated (minus 9% or more) phases. Blinking behavior is therefore significantly impacted by drowsiness as well as by automated driving, resulting in less accurate blink detection.     

Acceptability,Feasibility, and Effectiveness of Internet-Based Cognitive-Behavioral Therapy for Obsessive-Compulsive Disorder in New York

Cognitive-behavioral therapy (CBT), consisting of exposure and response prevention (EX/RP), is both efficacious and preferred by patients with obsessive–compulsive disorder (OCD), yet few receive this treatment in practice. This study describes the implementation of an Internet-based CBT program (ICBT) developed in Sweden in individuals seeking OCD treatment in New York. After translating and adapting the Swedish ICBT for OCD, we conducted an open trial with 40 adults with OCD. Using the RE-AIM implementation science framework, we assessed the acceptability, feasibility, and effectiveness of ICBT. The Yale–Brown Obsessive Compulsive Scale (Y-BOCS) was the primary outcome measure. Of 40 enrolled, 28 participants completed the 10-week ICBT. In the intent-to-treat sample (N = 40), Y-BOCS scores decreased significantly over time (F = 28.12, df = 2, 49, p < . 001). Depressive severity (F = 5.87, df = 2, 48, p < . 001), and quality of life (F = 12.34, df = 2, 48, p < . 001) also improved. Sensitivity analyses among treatment completers (N = 28) confirmed the intent-to-treat results, with a large effect size for Y-BOCS change (Cohen’s d = 1.38). ICBT took less time to implement than face-to face EX/RP and participants were very to mostly satisfied with ICBT. On a par with results in Sweden, the adapted ICBT program reduced OCD and depressive symptoms and improved quality of life among individuals with moderate to severe OCD. Given its acceptability and feasibility, ICBT deserves further study as a way to increase access to CBT for OCD in the United States.     

Interpolation in 16-Valued Trilattice Logics

In a recent paper we have defined an analytic tableau calculus \({{\mathbf {\mathsf{{PL}}}}}_{\mathbf {16}}\) for a functionally complete extension of Shramko and Wansing’s logic based on the trilattice \({SIXTEEN}_3\). This calculus makes it possible to define syntactic entailment relations that capture central semantic relations of the logic—such as the relations Open image in new window , Open image in new window , and Open image in new window that each correspond to a lattice order in \({SIXTEEN}_3\); and Open image in new window , the intersection of Open image in new window and Open image in new window . It turns out that our method of characterising these semantic relations—as intersections of auxiliary relations that can be captured with the help of a single calculus—lends itself well to proving interpolation. All entailment relations just mentioned have the interpolation property, not only when they are defined with respect to a functionally complete language, but also in a range of cases where less expressive languages are considered. For example, we will show that Open image in new window , when restricted to \(\mathcal {L}_{tf}\), the language originally considered by Shramko and Wansing, enjoys interpolation. This answers a question that was recently posed by M. Takano.     

Ernest Gellner's Words and Things: A Case Study of Empirical Philosophy

This article considers how Ernest Gellner used sociology and anthropology to attack ordinary language philosophy in Words and Things. It argues that this attack can be seen as a part of the movement to make philosophy more empirical or “naturalized,” something that has not been generally noted. It also discusses what general lessons to draw from Words and Things regarding how empirical knowledge should be used in philosophy. Among other things, the article argues that one important lesson is that empirical philosophers should make more use of “soft” social sciences, such as sociology and anthropology, and not focus exclusively on “harder” disciplines, such as physics and experimental psychology. Another upshot of the discussion is that philosophers should draw on empirical knowledge not only when they solve problems but also when they formulate them.     

The impact of concurrent visual feedback on coding of on-line and pre-planned movement sequences

The purpose of this study was to determine the extent to which participants could effectively switch from on-line (OL) to pre-planned (PP) control (or vice versa) depending on previous practice conditions and whether concurrent visual feedback was available during transfer testing. The task was to reproduce a 2000 ms spatial–temporal pattern of a sequence of elbow flexions and extensions. Participants were randomly assigned to one of two practice conditions termed OL or PP. In the OL condition the criterion waveform and the cursor were provided during movement production while this information was withheld during movement production for the PP condition. A retention test and two effector transfer tests were administered to half of the participants in each acquisition conditions under OL conditions and the other half under PP conditions. The mirror effector transfer test required the same pattern of muscle activation and limb joint angles as required during acquisition. The non-mirror transfer test required movements to the same visual–spatial locations as experienced during acquisition. The results indicated that when visual information was available during the transfer tests performers could switch from PP to OL. When visual information was withdrawn, they shifted from the OL to the PP-control mode. This finding suggests that performers adopt a mode of control consistent with the feedback conditions provided during testing.