We present a translation of sequential ASMs to Event-B specifications. The translation also addresses the partial update problem, and allows a variable to be updated (consistently) in parallel. On the theoretical side, the translation highlights the intricacies of ASM rule execution in terms of Event-B semantics. On the practical side, we show on a series of examples that the Event-B encoding r...

BACKGROUND We investigated levels of the β-amyloid 1-42 (Aβ42), total tau protein (T-tau) and tau phosphorylated at position threonine 181 (P-tau) in cerebrospinal fluid (CSF) of idiopathic normal pressure hydrocephalus (iNPH) patients and tried to find their clinical implications in the evaluation and treatment of iNPH. METHOD Twenty-five possible iNPH patients were prospectively enrolled an...

Using measured radial velocity data of five double-lined spectroscopic binary systems EQ Tau, V376 And, V776 Cas, V2377 Oph and V380 Cygni, we find corresponding orbital and spectroscopic elements via the method introduced by Karami & Teimoorinia and Karami & Mohebi. Our numerical results are in good agreement with those obtained by others using more traditional methods.

OBJECTIVE The neuropathogenesis of postoperative delirium remains unknown. Low cerebrospinal fluid (CSF) βamyloid protein (Aβ) and high CSF Tau levels are associated with Alzheimer's disease. We therefore assessed whether lower preoperative CSF Aβ/Tau ratio was associated with higher incidence and greater severity of postoperative delirium. METHODS One hundred and fifty three participants (71...

AIMS In this study, we aimed to compare cerebrospinal fluid (CSF) levels of total tau (t-tau), phosphorylated tau (p-tau(181)) and positron emission tomography with (18)F-fluorodeoxyglucose (FDG-PET) in the differential diagnosis of Alzheimer's disease (AD) under clinical conditions. METHOD In a cross-sectional, blinded, single-center study, we examined a sample of 75 unselected memory clinic...

We show how stiffness manifests itself in the simulation of chemical reactions at both the continuous-deterministic level and the discrete-stochastic level. Existing discrete stochastic simulation methods, such as the stochastic simulation algorithm and the ~explicit! tau-leaping method, are both exceedingly slow for such systems. We propose an implicit tau-leaping method that can take much lar...

INTRODUCTION To prospectively determine the diagnostic value of cerebrospinal fluid (CSF) levels total-tau (tau) to amyloid-β1-42 ratio (Aβ1-42) ratio (tau/Aβ1-42 ratio), phosphorylated-tau (p-tau) to tau ratio (p-tau/tau ratio), neurofilament light chain (NfL) and YKL40 in the late-onset frontal lobe syndrome, in particular for the differential diagnosis of behavioral variant frontotemporal de...

We study unconventional decays of the top-quark and the top-squark in the framework of SUSY models with broken R-parity. The model under study is the MSSM with an additional bilinear term that breaks R-parity. In this model the top-squark behaves similar to a third generation leptoquark. We demonstrate that existing Tevatron data on the top give rise to restrictions on the SUSY parameter space....