Results 51 to 60 of about 759,615 (239)
SNUPN‐Related Muscular Dystrophy: Novel Phenotypic, Pathological and Functional Protein Insights
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective SNUPN‐related muscular dystrophy or LGMDR29 is a new entity that covers from a congenital or childhood onset pure muscular dystrophy to more complex phenotypes combining neurodevelopmental features, cataracts, or spinocerebellar ataxia. So far, 12 different variants have been described.
Nuria Muelas +18 more
wiley +1 more source
Domain Representable Spaces Defined by Strictly Positive Induction [PDF]
Logical Methods in Computer Science, 2010 Recursive domain equations have natural solutions. In particular there are domains defined by strictly positive induction. The class of countably based domains gives a computability theory for possibly non-countably based topological spaces. A $ qcb_{0} $
Petter Kristian Køber
doaj +1 more source
Accelerated Progression of Gait Impairment in Parkinson's Disease and REM Sleep Without Atonia
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective People with Parkinson's disease (PD) and rapid eye movement (REM) sleep without atonia (RSWA) often have more severe gait disturbances compared to PD without RSWA. The association between the presence and expression of RSWA and the rate of progression of gait impairment in PD is unknown.
Sommer L. Amundsen‐Huffmaster +11 more
wiley +1 more source
On Second-Order Monadic Monoidal and Groupoidal Quantifiers [PDF]
Logical Methods in Computer Science, 2010 We study logics defined in terms of second-order monadic monoidal and groupoidal quantifiers. These are generalized quantifiers defined by monoid and groupoid word-problems, equivalently, by regular and context-free languages.
Juha Kontinen, Heribert Vollmer
doaj +1 more source
Domain Specific Placebo Response in the Modified Friedreich's Ataxia Rating Scale
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT The placebo response in clinical trials in ataxias complicates outcome interpretation and potentially obscures genuine treatment effects. We analyzed placebo group data from past trials in Friedreich Ataxia and observed notable responses in appendicular items, in contrast to minimal changes in axial function, as measured by respective ...
Christian Rummey +2 more
wiley +1 more source
Coalgebraic trace semantics via forgetful logics [PDF]
Logical Methods in Computer Science, 2017 We use modal logic as a framework for coalgebraic trace semantics, and show the flexibility of the approach with concrete examples such as the language semantics of weighted, alternating and tree automata, and the trace semantics of generative ...
Bartek Klin, Jurriaan Rot
doaj +1 more source
Real‐World Investigation of Satralizumab in Patients With Neuromyelitis Optica Spectrum Disease
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Satralizumab, a monoclonal antibody targeting the interleukin‐6 receptor, has demonstrated efficacy in clinical trials for neuromyelitis optica spectrum disorder (NMOSD). However, its real‐world effectiveness and safety compared to conventional immunosuppressive therapies remain uncertain.
Li‐Tsung Lin +2 more
wiley +1 more source
A note on first-order spectra with binary relations [PDF]
Logical Methods in Computer Science, 2018 The spectrum of a first-order sentence is the set of the cardinalities of its finite models. In this paper, we consider the spectra of sentences over binary relations that use at least three variables.
Eryk Kopczynski, Tony Tan
doaj +1 more source
Changes in Immune‐Inflammation Status and Acute Ischemic Stroke Prognosis in Prospective Cohort
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Background Inflammation is a critical risk factor for poor outcomes in cerebral infarction. Prior studies focused primarily on baseline inflammation status, neglecting dynamic longitudinal changes. We try to investigate the association between immune‐inflammation status alterations and stroke prognosis, and evaluated three systemic biomarkers'
Songfang Chen +11 more
wiley +1 more source
A Complete Axiom System for Propositional Interval Temporal Logic with Infinite Time [PDF]
Logical Methods in Computer Science, 2012 Interval Temporal Logic (ITL) is an established temporal formalism for reasoning about time periods. For over 25 years, it has been applied in a number of ways and several ITL variants, axiom systems and tools have been investigated.
Ben Moszkowski
doaj +1 more source