Results 111 to 120 of about 1,494,052 (317)
Phenotyping Healthcare Use 2–3 Decades Before the First Multiple Sclerosis Demyelinating Event
ABSTRACT Objective Phenotype hospital, physician, and emergency department (ED) visits by diagnoses and specialty up to 29 years pre‐multiple sclerosis (MS) onset versus a matched population without MS. Methods We identified people with MS (PwMS) using population‐based administrative data from Ontario, Canada (1991–2020).
Helen Tremlett+8 more
wiley +1 more source
Detecting rs‐fMRI Networks in Disorders of Consciousness: Improving Clinical Interpretability
ABSTRACT Background Preserved resting‐state functional MRI (rs‐fMRI) networks are typically observed in Disorders of Consciousness (DOC). Despite the widespread use of rs‐fMRI in DOC, a systematic assessment of networks is needed to improve the interpretability of data in clinical practice.
Jean Paul Medina Carrion+15 more
wiley +1 more source
Formal methods for service composition
Current approaches to service composition range from industrial standards (like BPEL and OWL-S) to formal methods (like Petri nets and process algebras). In this paper, we survey a number of such approaches and compare them with respect to a carefully selected set of characteristics (like exception handling and quality of services).
Ter Beek M, Bucchiarone A, Gnesi S
openaire +5 more sources
A formal method for analyzing and integrating the rule-sets of multiple experts [PDF]
Ojelanki Ngwenyama, Noel Bryson
openalex +1 more source
ABSTRACT Objectives Cognitive disorders are common in older persons with seizures (PWS). Cognitive disorders are often associated with impaired Instrumental Activities of Daily Living (IADLs). However, the effects of seizures on IADLs remain unexplored.
Ifrah Zawar+5 more
wiley +1 more source
{"references": ["Peter B. Andrews. An introduction to mathematical logic and type theory: to truth through proof. Academic Press Professional, Inc., San Diego, CA, USA, 1986.", "Peter B. Andrews. Introduction to Mathematical Logic and Type Theory: To Truth through Proof. Kluwer Academic Publishers, Dordrecht, 2002.", "Clemens Ballarin.
Werner Stephan+10 more
openaire +3 more sources
The doctor–patient relationship has received widespread attention as a significant global issue affecting people’s livelihoods. In clinical practice within the medical field, applying existing artificial intelligence (AI) technology presents issues such ...
Yingtian Mei, Yucong Duan
doaj +1 more source
Correction to: Predicting risk of metastases and recurrence in soft-tissue sarcomas via Radiomics and Formal Methods. [PDF]
europepmc +1 more source
The Diagnostic Value of Visual Evoked Potentials in Chronic Disorders of Consciousness
ABSTRACT Objective In chronic disorders of consciousness (DOCs), the distinction between vegetative state/unresponsive wakefulness syndrome (VS/UWS) and minimally conscious state (MCS) is as crucial as it is challenging. Evoked potentials (EPs) and event‐related potentials (ERPs) are helpful, but some limitations prevent their consistent use in the ...
Letizia Clementi+14 more
wiley +1 more source