Results 51 to 60 of about 106,571 (319)

An Out‐of‐Place Etiology: Recognizing FMR1 Premutation in the Memory Clinic

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT The FMR1 gene premutation (55–200 CGG repeats) is usually associated with a wide range of symptoms and phenotypes within the Fragile X‐tremor/ataxia syndrome (FXTAS), but may also manifest as predominant or isolated cognitive decline. We describe three male patients referred for progressive cognitive impairment and behavioral changes. Standard
Guido Greco, Caterina Motta, Enrica Marchionni, Maria Rosaria D'Apice, Carlangelo Carrese, Giuseppe Novelli, Alessandro Martorana, Chiara Giuseppina Bonomi   +7 more
wiley   +1 more source

Adult‐Onset Subacute Sclerosing Panencephalitis Presenting With Subacute Cognitive Deficits

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT We describe the case of a 41‐year‐old man diagnosed with adult‐onset subacute sclerosing panencephalitis (SSPE). The patient presented with subacute progressive cognitive deficits and a neuropsychological profile indicating predominant frontoparietal dysfunction. MRI showed only mild parietal‐predominant cerebral atrophy.
Dennis Yeow, Nicola McKern, Vincent Oxenham, Kate Ahmad, Omar Ahmad   +4 more
wiley   +1 more source

Correctness of an STM Haskell implementation [PDF]

, 2012
A concurrent implementation of software transactional memory in Concurrent Haskell using a call-by-need functional language with processes and futures is given.
Bieniusa A., David Sabel, Hu L., Manfred Schmidt-Schauß, Schmidt-Schauß M., Schmidt-Schauß M., Shavit N., van Eekelen M. C. J. D.   +7 more
core   +3 more sources

Operational Semantics of Security Protocols [PDF]

, 2005
Based on a concise domain analysis we develop a formal semantics of security protocols. Its main virtue is that it is a generic model, in the sense that it is parameterized over e.g. the intruder model. Further characteristics of the model are a straightforward handling of parallel execution of multiple protocols, locality of security claims, the ...
Cremers, C.J.F., Mauw, S.
openaire   +2 more sources

Operational Semantics for Secure Interoperation [PDF]

Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security, 2014
Modern software systems are commonly programmed in multiple languages. Research into the security and correctness of such multi-language programs has generally relied on static methods that check both the individual components as well as the interoperation between them.
Larmuseau A., Patrignani M., Clarke D.
openaire   +3 more sources

Clustering Algorithm Reveals Dopamine‐Motor Mismatch in Cognitively Preserved Parkinson's Disease

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective To explore the relationship between dopaminergic denervation and motor impairment in two de novo Parkinson's disease (PD) cohorts. Methods n = 249 PD patients from Parkinson's Progression Markers Initiative (PPMI) and n = 84 from an external clinical cohort.
Rachele Malito, Chiara Meneghini, Alice Galli, Luca Gallo, Pierfrancesco Mitrotti, Paola Dimartino, Marianna Inglese, Cinzia Zatti, Alessandro Lupini, Andrea Pilotto, Alessandro Padovani, Micol Avenali, Enza Maria Valente, Cristina Tassorelli, Silvia P. Caminiti   +14 more
wiley   +1 more source

A Formal Framework for Integrated Environment Modeling Systems

ISPRS International Journal of Geo-Information, 2017
Integrated Environment Modeling (IEM) has become more and more important for environmental studies and applications. IEM systems have also been extended from scientific studies to much wider practical application situations.
Gaofeng Zhang, Yan Li, Chong Chen, Rui Zhou, Dan Chen, Qingguo Zhou   +5 more
doaj   +1 more source

The Sigma-Semantics: A Comprehensive Semantics for Functional Programs [PDF]

, 1996
A comprehensive semantics for functional programs is presented, which generalizes the well-known call-by-value and call-by-name semantics. By permitting a separate choice between call-by value and call-by-name for every argument position of every ...
Chitil, Olaf
core   +4 more sources

Modular Structural Operational Semantics

BRICS Report Series, 2004
Modular SOS (MSOS) is a variant of conventional Structural Operational Semantics (SOS). Using MSOS, the transition rules for each construct of a programming language can be given incrementally, once and for all, and do not need reformulation when further constructs are added to the language. MSOS thus provides an exceptionally high degree of modularity
openaire   +5 more sources

Fluid Biomarkers of Disease Burden and Cognitive Dysfunction in Progressive Supranuclear Palsy

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Identifying objective biomarkers for progressive supranuclear palsy (PSP) is crucial to improving diagnosis and establishing clinical trial and treatment endpoints. This study evaluated fluid biomarkers in PSP versus controls and their associations with regional 18F‐PI‐2620 tau‐PET, clinical, and cognitive outcomes.
Roxane Dilcher, Charles B. Malpas, Stuart J. McDonald, William T. O’Brien, Craig Despott, Kelly L. Bertram, Matthew P. Pase, Lukas Frontzkowski, Meng Law, Terence J. O’Brien, Lucy Vivash   +10 more
wiley   +1 more source