We use a syntactic interpretation of MALL in BCI with ∧, defined in [5], to prove the undecidability of the consequence relations for BCI with ∧ and BCI with ∨, and the NP-completeness of BCI. Similar results are obtained for a variant of the Lambek calculus.

In the quest to make Brain Computer Interfacing (BCI) more usable, dry electrodes have emerged that get rid of the initial 30 minutes required for placing an electrode cap. Another time consuming step is the required individualized adaptation to the BCI user, which involves another 30 minutes calibration for assessing a subject’s brain signature. In this paper we aim to also remove this calibra...

A brain-computer interface (BCI) directly uses brain-activity signals to allow users to operate the environment without any muscular activation. Thanks to this feature, BCI systems can be employed not only as assistive devices, but also as neurorehabilitation tools in clinical settings. However, several critical issues need to be addressed before using BCI in neurorehabilitation, issues ranging...

The notion of semi-BCI algebras is introduced and some of its properties are investigated. This algebra is another generalization for BCI-algebras. It arises from the “intervalization” of BCI algebras. Semi-BCI have a similar structure to Pseudo-BCI algebras however they are not the same. In this paper we also provide an investigation on the similarity between these classes of algebras by showi...

In summary, the incidence of BCI following blunt thoracic trauma patients has been reported between 20% and 76%, and no gold standard exists to diagnose BCI. Diagnostic tests should be limited to identify those patients who are at risk of developing cardiac complications as a result of BCI. Therapeutic interventions should be directed to treat the complications of BCI. Finally, the prognosis an...

OBJECTIVES We study the applicability of a visual P3-based and a Steady State Visually Evoked Potentials (SSVEP)-based Brain-Computer Interfaces (BCIs) for mental text spelling on a cohort of patients with incomplete Locked-In Syndrome (LIS). METHODS Seven patients performed repeated sessions with each BCI. We assessed BCI performance, mental workload and overall satisfaction for both systems...

Purpose: Previous results from the TransATAC study demonstrated that both the Breast Cancer Index (BCI) and the OncotypeDX Recurrence Score (RS) added significant prognostic information to clinicopathologic factors over a 10-year period. Here, we examined cross-stratification between BCI and RS to directly compare their prognostic accuracy at the individual patient level. Experimental Design: A...

While recent research on Brain-Computer Interfaces (BCI) has highlighted their potential for many applications, they remain barely used outside laboratories. The main reason is their lack of robustness. Indeed, with current BCI, mental state recognition is usually slow and often incorrect. Spontaneous BCI (i.e., mental imagery-based BCI) often rely on mutual learning efforts by the user and the...