Results 111 to 120 of about 761,584 (320)
Abstraction of hydrogen from hydrogen sulfide by methyl radicals [PDF]
, 1969 Peter Gray, Alan A. Herod, L. J. Leyshon
openalex +1 more source
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective To identify metabolic patterns in the brain and musculoskeletal system of stiff person syndrome spectrum disorders (SPSD) patients over time using PET imaging and evaluate the impact of immune therapy on metabolic activity as a surrogate for treatment response.
Munther M. Queisi +4 more
wiley +1 more source
Full abstraction for probabilistic PCF [PDF]
, 2015 We present a probabilistic version of PCF, a well-known simply typed universal functional language. The type hierarchy is based on a single ground type of natural numbers. Even if the language is globally call-by-name, we allow a call-by-value evaluation
Ehrhard, Thomas +2 more
core +2 more sources
NOTCH2NLC Repeat Expansions in Parkinsonian Disorders: Clinical and Neuroimaging Characteristics
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Neuronal intranuclear inclusion disease (NIID) is a neurodegenerative disorder caused by NOTCH2NLC GGC repeat expansions, with heterogeneous clinical manifestations, including parkinsonism. Recent studies have identified NOTCH2NLC repeat expansions in patients with Parkinson's disease (PD) and atypical parkinsonism (aPM), suggesting ...
Han‐Lin Chiang +7 more
wiley +1 more source
Central Dysmyelination in SSADH‐Deficient Humans and Mice
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objectives Succinic semialdehyde dehydrogenase deficiency (SSADHD) is an inherited metabolic disorder characterized by an accumulation of γ‐aminobutyric (GABA). In addition to its synaptic role as an inhibitory neurotransmitter, GABA also plays an important role in myelination.
Itay Tokatly Latzer +11 more
wiley +1 more source
Mutual Contradiction of Two Self-Consistent Abstractions [PDF]
, 1966 Katuzi Ono
openalex +1 more source
Monotone Pieces Analysis for Qualitative Modeling [PDF]
, 2004 It is a crucial task to build qualitative models of industrial applications for model-based diagnosis. A Model Abstraction procedure is designed to automatically transform a quantitative model into qualitative model. If the data is monotone, the behavior
Brooks, Martin +2 more
core +1 more source
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Prognostication of disease course and prediction of treatment response in multiple sclerosis is an unmet need. We compared the performance of serum neurofilament light chain Z scores (age‐ and BMI‐adjusted) with absolute concentrations for the prediction of response to disease‐modifying therapy.
Maximilian Einsiedler +43 more
wiley +1 more source
Predicate Abstraction with Indexed Predicates [PDF]
, 2004 Predicate abstraction provides a powerful tool for verifying properties of infinite-state systems using a combination of a decision procedure for a subset of first-order logic and symbolic methods originally developed for finite-state model checking.
Bryant, Randal E., Lahiri, Shuvendu K.
core