Results 111 to 120 of about 914,128 (308)
A Molecular Orbital Study of the Electrophilicity of Hydroxyl Radical in Hydrogen Abstraction Reaction [PDF]
Hiroyuki Shinohara+3 more
openalex +1 more source
Clinical Characteristics of Parkinsonism in HTLV‐1‐Associated Myelopathy
ABSTRACT Objective Human T‐lymphotropic virus type 1 (HTLV‐1)‐associated myelopathy/tropical spastic paraparesis (HAM/TSP) is the classic neurological manifestation of HTLV‐1 infection; however, this virus has also been associated with other neurological disorders. Concurrent parkinsonism is relatively rare and presents diagnostic challenges.
Mika Dozono+8 more
wiley +1 more source
ABSTRACT Background Sphingosine‐1‐phosphate receptor modulators (S1PRM) are used to treat relapsing multiple sclerosis (MS). Each drug has a different S1PR‐subtype selectivity. They target the G‐protein coupled S1P receptors and exert significant immunomodulatory effects, such as preventing the formation of new CNS lesions and the reactivation of pre ...
Faizan Shahzad+8 more
wiley +1 more source
Temporal logic with predicate abstraction
A predicate linear temporal logic LTL_{\lambda,=} without quantifiers but with predicate abstraction mechanism and equality is considered. The models of LTL_{\lambda,=} can be naturally seen as the systems of pebbles (flexible constants) moving over the ...
Lisitsa, Alexei, Potapov, Igor
core +2 more sources
An attribute frequency model for the abstraction of prototypes [PDF]
Paul G. Neumann
openalex +1 more source
Understanding Mechanisms of Whole Brain and Regional Grey Matter Atrophy in Children With MOGAD
ABSTRACT Objective To investigate the mechanisms driving whole brain and regional grey matter (GM) volume changes along with their clinical correlates in paediatric myelin oligodendrocyte glycoprotein antibody (MOG‐Ab)–associated disease (MOGAD). Methods One‐hundred‐nine paediatric MOGAD patients from two UK centres underwent MRI at attack nadir and ...
Ermelinda De Meo+14 more
wiley +1 more source
Probabilistic Program Abstractions
ion is a fundamental tool for reasoning about complex systems. Program abstraction has been utilized to great effect for analyzing deterministic programs.
Broeck, Guy Van den+2 more
core
The consistency of the axioms of abstraction and extensionality in a three-valued logic. [PDF]
Ross T. Brady
openalex +1 more source
Long‐Term Temporal Profile of Motor Recovery After Intracerebral Hemorrhage
ABSTRACT Objective Limited data is available to describe the temporal profile of long‐term recovery over 1 year after the stroke in patients with spontaneous intracerebral hemorrhage (ICH). Methods A registered multicentral cohort was conducted to consecutively include non‐herniated supratentorial ICH patients from November 2013 to January 2023 ...
Yan Zheng+24 more
wiley +1 more source