Validating and Animating Higher-Order Recursive Functions in B
ProB is an animation and model checking tool for the B Method, which can deal with many interesting specifications. Some specifications, however, contain complicated functions which cannot be represented explicitly by a tool.
Leuschel, Michael +2 more
core
Advancing Age Modulates Associations Between Cognitive Impairment and Brain Volumes in Early MS
ABSTRACT Introduction Cognitive impairment is common in multiple sclerosis (MS), but manifestations following the first demyelinating event are relatively unexplored. We investigated cross‐sectional associations between magnetic resonance imaging (MRI)–derived brain volumes and the presence of cognitive impairment outcomes five years after the first ...
Piriyankan Ananthavarathan +14 more
wiley +1 more source
Applications of the partial-order continual reassessment method in the early development of treatment combinations. [PDF]
Wages NA +4 more
europepmc +1 more source
ABSTRACT Background Cognitive impairment is a common non‐motor symptom in Multiple Sclerosis (MS), negatively affecting autonomy and Quality of Life (QoL). Innovative rehabilitation strategies, such as semi‐immersive virtual reality (VR) and computerized cognitive training (CCT), may offer advantages over traditional cognitive rehabilitation (TCR ...
Maria Grazia Maggio +8 more
wiley +1 more source
Joint time-to-event partial order continual reassessment method and Joint time-to-event Bayesian logistic regression model: Statistical designs for dual agent phase I/II dose finding studies with late-onset toxicity and activity outcomes. [PDF]
Barnett H, Boix O, Kontos D, Jaki T.
europepmc +1 more source
Extrapolation methods for first order ordinary differential equations
Given a system of fist order differential equations, whose coefficient matrix has constant elements, with initial conditions specified, a family of extrapolating algorithms based on Pade approximants to the exponential function is developped.
Twizell, E H
core
ABSTRACT Background and Purpose White matter hyperintensities (WMH) are a core neuroimaging marker of cerebral small vessel disease (CSVD). Sleep apnoea (SA) is a recognized vascular risk factor, but its associations with regional WMH burden, short‐interval WMH change and cognitive performance in population‐based cohorts remain incompletely defined. We
Peng Cheng +4 more
wiley +1 more source
Partial order relation-based gene ontology embedding improves protein function prediction. [PDF]
Li W +7 more
europepmc +1 more source
ABSTRACT Background Collaterals are crucial factors that influence the infarct growth rate (IGR). We aimed to determine whether a comprehensive multimodal collateral score (MCS), incorporating collateral assessment at the arterial, tissue, and venous levels, is associated with functional independence and provides incremental prognostic value over ...
Giorgio Busto +12 more
wiley +1 more source
Sertraline Treatment Can Mimic Niemann‐Pick Type C Biomarker Profile: A Diagnostic Pitfall
ABSTRACT Background Oxysterols (cholestane‐3β,5α,6β‐triol and 7‐ketocholesterol) and N‐palmitoyl‐O‐phosphocholineserine (PPCS) are sensitive biomarkers for Niemann‐Pick disease type C (NPC) screening. However, false‐positive results occur, with a biomarker profile suggestive of NPC despite the absence of pathogenic variants in genes involved in NPC or ...
Maria Makrygianni +19 more
wiley +1 more source

