Atrial fibrillation (AF) is associated with an increased risk of acute ischemic stroke (AIS). Accurately predicting AIS and planning effective treatment pathways for AIS prevention are crucial for AF patients. Because of the temporality of patients' disease progressions, sequential disease and treatment patterns have the potential to improve risk prediction performance and contribute to effecti...

Formal verification approaches that check software correctness against formal specifications have been shown to improve program dependability. Tools such as Specification Pattern System (SPS) and Property Specification (Prospec) support the generation of formal specifications. SPS has defined a set of patterns (common recurring properties) and scopes (system states over which a pattern must hol...

We consider the problem of characterisation of sequences of heterogeneous symbolic data that arise from a common underlying temporal pattern. The data, which are subject to imprecision and uncertainty, are heterogeneous with respect to classification schemes, where the class values differ between sequences. However, because the sequences relate to the same underlying concept, the mappings betwe...

OBJECTIVE The objective of this retrospective study is to analyze ictal patterns observed during continuous Video-EEG monitoring in patients with temporal lobe epilepsy (TLE) due to unilateral hippocampal sclerosis (HS), and to correlate these EEG patterns to temporal pole abnormalities observed on magnetic resonance imaging exams. METHODS We analyzed 147 seizures from 35 patients with TLE an...

Abstract In this study, we assessed the relationship between exposure duration and VR sickness severity during 7.5-h virtual immersion. First, showed that was positively correlated to duration: longer participants were exposed environment, more severe symptoms they had. Second, a dynamic adaptation process long time of exposure: adaption effect had already been established could be broken as co...