Results 71 to 80 of about 842,701 (337)

CSF Monoamine Metabolites and Cognitive Trajectory in Early Parkinson's Disease

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background Imaging and postmortem studies indicate that abnormalities in monoaminergic neurotransmission contribute to cognitive impairment in Parkinson's disease (PD). However, it remains uncertain if cerebrospinal fluid (CSF) monoamine metabolites can serve as biomarkers of cognitive decline in early PD.
Jing‐Yu Shao, Rong Li, Yu‐Xiang Jiao, Kai Ma, Hong‐Qi Yang, Zheng‐Yu Sun, Jie‐Wen Zhang, Shuai Chen   +7 more
wiley   +1 more source

Binsec/Rel: Efficient Relational Symbolic Execution for Constant-Time at Binary-Level [PDF]

IEEE Symposium on Security and Privacy, 2019
The constant-time programming discipline (CT) is an efficient countermeasure against timing side-channel attacks, requiring the control flow and the memory accesses to be independent from the secrets.
Lesly-Ann Daniel, Sébastien Bardin, Tamara Rezk   +2 more
semanticscholar   +1 more source

SPG4 and Dementia: Expanding the Clinical Spectrum

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Hereditary spastic paraplegia (HSP) is a group of disorders characterized by progressive spasticity and lower limb weakness, with mutations in SPG4/SPAST being the most common cause. Detailed studies and clinical and molecular comparisons across different populations are missing.
Emanuele Panza, Arun Meyyazhagan, Eliseo Picchi, Gustavo Ribas, Ingrid Faber, Ryosuke Miyamoto, Preethi Basavaraju, Paolo Eusebi, Haripriya Kuchi Bhotla, Mario Stasi, Fabrizio Gaudiello, Francesco Patti, Filippo Maria Santorelli, Marcondes Cavalcante França Jr, José Luiz Pedroso, Orlando Graziani Povoas Barsottini, Hélio Afonso Ghizoni Teive, Peter Henry St George‐Hyslop, Toshitaka Kawarai, Antonio Orlacchio   +19 more
wiley   +1 more source

Smart Contract Reentrancy Vulnerability Detection Based on Symbolic Execution [PDF]

Jisuanji gongcheng
The exploitation of reentrancy vulnerabilities represents one of the most destructive attacks among the security issues related to smart contracts. Existing methods often suffer from high false negative rates. To address these issues, this paper proposes
GAO Shan, WANG Chengyu, BI Chengming, ZHU Tieying
doaj   +1 more source

Neuro-Symbolic Execution: The Feasibility of an Inductive Approach to Symbolic Execution

CoRR, 2018
Symbolic execution is a powerful technique for program analysis. However, it has many limitations in practical applicability: the path explosion problem encumbers scalability, the need for language-specific implementation, the inability to handle complex dependencies, and the limited expressiveness of theories supported by underlying satisfiability ...
Shiqi Shen, Soundarya Ramesh, Shweta Shinde, Abhik Roychoudhury, Prateek Saxena   +4 more
openaire   +2 more sources

A symbolic execution semantics for TopHat [PDF]

Proceedings of the 31st Symposium on Implementation and Application of Functional Languages, 2019
Task-Oriented Programming (TOP) is a programming paradigm that allows declarative specification of workflows. TOP is typically used in domains where functional correctness is essential, and where failure can have financial or strategical consequences. In this paper we aim to make formal verification of software written in TOP easier.
Nico Naus, Tim Steenvoorden, Markus Klinik   +2 more
openaire   +1 more source

Repeating history : execution replay for Parallel Haskell programs

, 2013
Parallel profiling tools, such as ThreadScope for Parallel Haskell, allow programmers to obtain information about the performance of their parallel programs.
Castro, Laura M., Janjic, Vladimir; id_orcid, Janjic, Vladimir, Vladimir Janjic, Laura Castro, Kevin Hammond, Ferreiro, Henrique, Ferrerio, Henrique, Castro, Laura, Hammond, Kevin, Henrique Ferreiro, Laura M. Castro   +11 more
core   +1 more source

Advancing Age Modulates Associations Between Cognitive Impairment and Brain Volumes in Early MS

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Introduction Cognitive impairment is common in multiple sclerosis (MS), but manifestations following the first demyelinating event are relatively unexplored. We investigated cross‐sectional associations between magnetic resonance imaging (MRI)–derived brain volumes and the presence of cognitive impairment outcomes five years after the first ...
Piriyankan Ananthavarathan, Marco Pitteri, Michael Foster, Sara Collorone, Sara Salama, Elisa Colato, Ferran Prados, Baris Kanber, Marios Yiannakas, Claudia A. M. Gandini Wheeler‐Kingshott, Indran Davagnanam, Frederik Barkhof, Declan Chard, Olga Ciccarelli, Ahmed Toosy   +14 more
wiley   +1 more source

Combining dynamic symbolic execution, code static analysis and fuzzing

Труды Института системного программирования РАН, 2019
This paper describes a new approach for dynamic code analysis. It combines dynamic symbolic execution and static code analysis with fuzzing to increase efficiency of each component.
A. Yu. Gerasimov, S. S. Sargsyan, S. F. Kurmangaleev, J. A. Hakobyan, S. A. Asryan, M. K. Ermakov   +5 more
doaj   +1 more source

Comparing the Effect of Semi‐Immersive Virtual Reality, Computerized Cognitive Training, and Traditional Rehabilitation on Cognitive Function in Multiple Sclerosis: A Randomized Clinical Trial

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background Cognitive impairment is a common non‐motor symptom in Multiple Sclerosis (MS), negatively affecting autonomy and Quality of Life (QoL). Innovative rehabilitation strategies, such as semi‐immersive virtual reality (VR) and computerized cognitive training (CCT), may offer advantages over traditional cognitive rehabilitation (TCR ...
Maria Grazia Maggio, Desiree Latella, Lilla Bonanno, Paulo Cezar Rocha dos Santos, Marcos Maldonado‐Díaz, Meir Plotnik, Rosaria De Luca, Angelo Quartarone, Rocco Salvatore Calabrò   +8 more
wiley   +1 more source