Results 111 to 120 of about 734,560 (306)
Formal Computational Unlinkability Proofs of RFID Protocols
, 2017 We set up a framework for the formal proofs of RFID protocols in the computational model. We rely on the so-called computationally complete symbolic attacker model. Our contributions are: i) To design (and prove sound) axioms reflecting the properties of
Comon, Hubert, Koutsos, Adrien
core +1 more source
FDG‐PET Associations With Disease Severity and Outcomes in NMDA‐Receptor IgG Autoimmune Encephalitis
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Background Patients with N‐methyl‐D‐aspartate (NMDA) receptor‐immunoglobulin G (IgG) autoimmune encephalitis (NMDAR‐IgG AE) demonstrate occipital lobe hypometabolism on baseline brain fluorodeoxyglucose‐positron emission tomography (bFDG‐PET).
Jonathan K. Lee +7 more
wiley +1 more source
Lipid peroxidation biomarkers for evaluating oxidative stress in equine neuroaxonal dystrophy. [PDF]
, 2018 BackgroundEquine neuroaxonal dystrophy/equine degenerative myeloencephalopathy (eNAD/EDM) is a neurodegenerative disorder affecting genetically predisposed foals maintained on an α-tocopherol (α-TOH) deficient diet.
Bordbari, Matthew H +9 more
core
Epilepsy‐Associated Variants of a Single SCN1A Codon Exhibit Divergent Functional Properties
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Pathogenic variants in SCN1A, which encodes the voltage‐gated sodium channel NaV1.1, are associated with multiple epilepsy syndromes exhibiting a range of clinical severity. SCN1A variants are reported in different syndromes, including Dravet syndrome, which is associated with loss‐of‐function, whereas neonatal/infantile‐onset ...
Lanie N. Liebovitz +3 more
wiley +1 more source
, 2017 We propose a natural relaxation of differential privacy based on the Renyi divergence. Closely related notions have appeared in several recent papers that analyzed composition of differentially private mechanisms. We argue that the useful analytical tool
Mironov, Ilya
core +1 more source
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective To explore how cerebral hypoxia and Normal‐Appearing White Matter (NAWM) integrity affect MS lesion burden and clinical course. Methods Seventy‐nine MS patients, including 13 clinically isolated syndrome (CIS) patients and 66 relapsing–remitting multiple sclerosis (RRMS) patients, and 44 healthy controls (HCs) were recruited from ...
Xinli Wang +8 more
wiley +1 more source
Access Control Synthesis for Physical Spaces
, 2016 Access-control requirements for physical spaces, like office buildings and airports, are best formulated from a global viewpoint in terms of system-wide requirements.
Basin, David +2 more
core +1 more source
Quantifying the Impact of Ocrelizumab on Paramagnetic Rim Lesions in Multiple Sclerosis
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Paramagnetic rim lesions (PRLs) are a subset of chronic active multiple sclerosis (MS) lesions marked by iron‐laden microglia and macrophages. Ocrelizumab, a monoclonal antibody targeting CD20+ B cells, suppresses acute MS activity, but its effect on PRLs remains unclear. In a longitudinal study of 29 ocrelizumab‐treated patients with at least
Kimberly H. Markowitz +9 more
wiley +1 more source
Clinical Validation of Plasma p‐217tau in Neurological Diseases
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Plasma p‐217tau is a minimally invasive but specific biomarker for diagnosing Alzheimer's disease (AD). However, its disease specificity remains to be clinically evaluated. We validated the reliability of the p‐217tau biomarker in 12 other neurological diseases.
Takeshi Kawarabayashi +13 more
wiley +1 more source
The Anatomy and Facets of Dynamic Policies
, 2015 Information flow policies are often dynamic; the security concerns of a program will typically change during execution to reflect security-relevant events. A key challenge is how to best specify, and give proper meaning to, such dynamic policies. A large
Broberg, Niklas +2 more
core +1 more source