Results 121 to 130 of about 850,119 (312)
Value of MRI Outcomes for Preventive and Early‐Stage Trials in Spinocerebellar Ataxias 1 and 3
ABSTRACT Objective To examine the value of MRI outcomes as endpoints for preventive and early‐stage trials of two polyglutamine spinocerebellar ataxias (SCAs). Methods A cohort of 100 participants (23 SCA1, 63 SCA3, median Scale for the Assessment and Rating of Ataxia (SARA) score = 5, 42% preataxic, and 14 gene‐negative controls) was scanned at 3T up ...
Thiago J. R. Rezende +26 more
wiley +1 more source
An Empirical Evaluation of Automated Theorem Provers in Software Certification
We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof obligations which are then processed by an automated first-order theorem prover (ATP)
Schumann, Johann +2 more
core
ABSTRACT Background Accessing brain magnetic resonance imaging (MRI) can be challenging, especially for underserved patients, which may lead to disparities in neurological diagnosis. Method This mixed‐methods study enrolled adults with one of four neurological disorders: mild cognitive impairment or dementia of the Alzheimer type, multiple sclerosis ...
Maya L. Mastick +19 more
wiley +1 more source
The paper deals with up-to-date questions concerning the effective introduction of the newest information technologies, system complexes and computer programs into management of general education establishment.
Zoya V. Savchenko
doaj
Intelligent Learning Support System
Modern educational processes require automation to improve learning efficiency. The use of artificial intelligence (AI) allows to optimize the management of the learning process, increase the personalization of learning, and automate assessment.
Eugene Karashevych +2 more
doaj +1 more source
ABSTRACT Purpose Air pollution has been linked to several neurological conditions, including stroke and neurodegenerative diseases. Evidence regarding its association with multiple sclerosis (MS) remains conflicting, limited by small sample sizes. Methods PubMed, Embase, Scopus, and Cochrane controlled register of trials (CENTRAL) were searched on ...
Ahmad A. Toubasi, Thuraya N. Al‐Sayegh
wiley +1 more source
An incremental approach to automated protein localisation
Tscherepanow M, Jensen N, Kummert F. An incremental approach to automated protein localisation. BMC Bioinformatics. 2008;9(1): 445.Background: The subcellular localisation of proteins in intact living cells is an important means for gaining information ...
Kummert Franz +5 more
core +1 more source
ABSTRACT Background and Objectives Multiple sclerosis (MS) exhibits racially disparate rates of disease progression. Black people with MS (B‐PwMS) experience a more severe disease course than non‐Hispanic White people with MS (NHW‐PwMS). Here we investigated structural and functional connectivity as well as structure–function decoupling in the ...
Emilio Cipriano +11 more
wiley +1 more source
Modern global crises have significantly impacted the agribusiness sector, particularly poultry farming, which has experienced issues with logistics, labor shortages, and disruptions in the supply of feed and veterinary drugs.
Svitlana Antoshchuk +2 more
doaj +1 more source
Epilepsy‐Associated Variants of a Single SCN1A Codon Exhibit Divergent Functional Properties
ABSTRACT Objective Pathogenic variants in SCN1A, which encodes the voltage‐gated sodium channel NaV1.1, are associated with multiple epilepsy syndromes exhibiting a range of clinical severity. SCN1A variants are reported in different syndromes, including Dravet syndrome, which is associated with loss‐of‐function, whereas neonatal/infantile‐onset ...
Lanie N. Liebovitz +3 more
wiley +1 more source

