Results 101 to 110 of about 1,494,052 (317)
A formal comparison of methods proposed for the numerical solution of first kind integral equations [PDF]
, 1981 Robert Anderssen, P. M. Prenter
openalex +1 more source
Beyond p‐values: Assessing clinical significance in acupuncture research
Advanced Chinese Medicine, EarlyView.Abstract In acupuncture randomized controlled trials (RCTs), the proper interpretation of results requires a thorough understanding of key statistical concepts such as p‐value, effect size, and the minimal clinically important difference (MCID). This paper explores the relationships among these metrics and their implications for assessing the clinical ...
Changzhen Gong
wiley +1 more source
A formal adaption method for process descriptions [PDF]
, 1989 Katsuro Inoue +3 more
openalex +1 more source
CSF Biomarker‐Based Cognitive Trajectories in Parkinson's Disease‐Subjective Cognitive Decline
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Cognitive complaints without objective cognitive impairment in Parkinson's Disease, termed Parkinson's Disease‐Subjective Cognitive Decline (PD‐SCD), have been associated with cognitive decline. However, its progression is heterogeneous, highlighting the need for improved identification of patients at greater risk for deterioration ...
Jon Rodriguez‐Antiguedad +7 more
wiley +1 more source
Object organisation in software environments for formal methods [PDF]
, 1993 Jun Han, Jim Welsh
openalex +1 more source
Precision‐Optimised Post‐Stroke Prognoses
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Background Current medicine cannot confidently predict who will recover from post‐stroke impairments. Researchers have sought to bridge this gap by treating the post‐stroke prognostic problem as a machine learning problem, reporting prediction error metrics across samples of patients whose outcomes are known.
Thomas M. H. Hope +4 more
wiley +1 more source
Formal methods in transformational derivation of programs [PDF]
, 1990 Uday S. Reddy
openalex +1 more source
Military Service Roles and ALS Among Veterans: A Matched Case–Control Study
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT While military service is an established risk factor for amyotrophic lateral sclerosis (ALS), it remains unclear whether this association is linked to combat. We conducted a matched case–control study comparing 191 ALS patients who were veterans of the Israeli Defense Forces (IDF) with known military service type and 1910 matched controls. The
Asaf Honig +4 more
wiley +1 more source
Verifying BON models with alloy
Journal of Computer Science and Technology, 2005 In this paper we describe a methodology to translate BON (architectural) designs to Alloy specifications. The main virtue of this process is that it can be implemented by means of software tools.
Ramiro Adrián Demasi +3 more
doaj
1991 International Workshop on Formal Methods in VLSI Design [PDF]
, 1991 Richard J. Boulton
openalex +1 more source