Results 91 to 100 of about 5,911 (260)
CoRR, 2019 Herbrand's theorem plays an important role both in proof theory and in computer science. Given a Herbrand skeleton, which is basically a number specifying the count of disjunctions of the matrix, we would like to get a computable bound on the size of terms which make the disjunction into a quasitautology.
Paul J. Voda, Ján Komara
openaire +2 more sources
Uncovering G Protein‐Coupled Receptors: Novel Targets and Biomarkers for Predicting Glioma Prognosis
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Background Low‐grade gliomas (LGG) exhibit significant heterogeneity and recurrence risk. G protein‐coupled receptors (GPCR) contribute to glioma malignant progression, but their prognostic value remains unclear. This work attempts to formulate a GPCR‐based outcome‐predicting model for LGG. Methods Based on TCGA LGG data, the enrichment scores
Jun Yang +4 more
wiley +1 more source
White Matter Microstructural Abnormalities in Neonatal Onset Genetic Epilepsy
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Recent evidence indicates that epilepsy is associated with abnormal white matter. If seizures alter white matter, then the impact upon network function, epileptogenesis, and cognition could be pronounced in neonates undergoing rapid developmental myelination. Neonates with epilepsy due to nonstructural genetic causes provide a unique
Amanda G. Sandoval Karamian +8 more
wiley +1 more source
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Amyotrophic lateral sclerosis (ALS) is a clinically heterogeneous neurodegenerative disease requiring reliable biomarkers to improve patient stratification and trial design. While serum neurofilament light chain (sNfL) reflects neuroaxonal stress and disease aggressiveness, troponin T (TnT) may capture complementary aspects of ...
Julia Sellin +8 more
wiley +1 more source
ChatGPT Translation of Program Code for Image Sketch Abstraction
Applied SciencesIn this comprehensive study, a novel MATLAB to Python (M-to-PY) conversion process is showcased, specifically tailored for an intricate image skeletonization project involving fifteen MATLAB files and a large dataset.
Yulia Kumar +6 more
doaj +1 more source
White Matter and Perivascular Imaging Changes in Alzheimer's Disease and Cerebral Amyloid Angiopathy
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Peak‐width of skeletonized mean diffusivity (PSMD) and diffusion tensor imaging–analysis along the perivascular space (DTI‐ALPS), reflecting white matter integrity and glymphatic function, are altered in Alzheimer's disease (AD).
Debina Laishram +3 more
wiley +1 more source
Immune Checkpoint Inhibitor–Related Myositis and Associated Triad Overlap Syndrome
Arthritis Care &Research, EarlyView.Objective Immune checkpoint inhibitor (ICI) myositis is a rare but a highly morbid condition, particularly with the ICI myositis triad syndrome of myositis, myocarditis, and myasthenia gravis. We report the clinical characteristics of ICI myositis and all‐cause mortality in these patients.
Selene Rubino +9 more
wiley +1 more source
Arthritis Care &Research, EarlyView.Objective To explore whether higher body fat and lower lean mass are associated with greater pain and worse patient‐reported physical function in individuals with hip osteoarthritis (OA). A secondary aim was to examine whether pain and patient‐reported physical function differ according to four body composition profiles: high body fat, low lean mass ...
Alexandra Ryan +10 more
wiley +1 more source
SensorsTo address systematic errors in prawn total length measurement caused by natural curvature and challenges in body mass prediction under random postures in aquaculture, this study proposes an automated phenotypic measurement and body mass prediction ...
Xuanyu Du, Junpeng Qu, Baoquan Yin
doaj +1 more source