Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT C‐truncating variants in the charged multivesicular body protein 2B (CHMP2B) gene are a rare cause of frontotemporal lobar degeneration (FTLD), previously identified only in Denmark, Belgium, and China. We report a novel CHMP2B splice‐site variant (c.35‐1G>A) associated with familial FTLD in Spain. The cases were two monozygotic male twins who
Sara Rubio‐Guerra +17 more
wiley +1 more source
A Formal Verification of a Reputation Multi-Factor Authentication Mechanism for Constrained Devices and Low-Power Wide-Area Network Using Temporal Logic. [PDF]
Sensors (Basel), 2023 Bezerra WR, Martina JE, Westphall CB.
europepmc +1 more source
Timing verification by formal signal interaction modeling in a multi-level timing simulator [PDF]
, 1989 J. Benkoski, Andrzej J. Strojwas
openalex +1 more source
CSF Biomarker‐Based Cognitive Trajectories in Parkinson's Disease‐Subjective Cognitive Decline
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Cognitive complaints without objective cognitive impairment in Parkinson's Disease, termed Parkinson's Disease‐Subjective Cognitive Decline (PD‐SCD), have been associated with cognitive decline. However, its progression is heterogeneous, highlighting the need for improved identification of patients at greater risk for deterioration ...
Jon Rodriguez‐Antiguedad +7 more
wiley +1 more source
Formal Verification of Real-Time Autonomous Robots: An Interdisciplinary Approach. [PDF]
Front Robot AI, 2022 Foughali M, Zuepke A.
europepmc +1 more source
Verification of proofs for the B formal development process [PDF]
, 1993 Babak Dehbonei, Fernando Mejia
openalex +1 more source
Detecting rs‐fMRI Networks in Disorders of Consciousness: Improving Clinical Interpretability
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Background Preserved resting‐state functional MRI (rs‐fMRI) networks are typically observed in Disorders of Consciousness (DOC). Despite the widespread use of rs‐fMRI in DOC, a systematic assessment of networks is needed to improve the interpretability of data in clinical practice.
Jean Paul Medina Carrion +15 more
wiley +1 more source
Transport Layer Security 1.0 handshake protocol formal verification case study: How to use a proof script generator for existing large proof scores. [PDF]
PeerJ Comput Sci, 2023 Tran DD, Wai Mon T, Ogata K.
europepmc +1 more source
Integrating Formal Verification and Assurance: An Inspection Rover Case Study
NASA Formal Methods, 2021 Hamza Bourbouh +6 more
semanticscholar +1 more source
Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study
IEEE Transactions on Human-Machine Systems, 2016 It is essential for robots working in close proximity to people to be both safe and trustworthy. We present a case study on formal verification for a high-level planner/scheduler for the Care-O-bot, an autonomous personal robotic assistant.
M. Webster +7 more
semanticscholar +1 more source