Results 131 to 140 of about 1,494,052 (317)
Association of the ICH Score With Withdrawal of Life‐Sustaining Treatment Over a 10‐Year Period
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective The intracerebral hemorrhage (ICH) score was developed to enhance provider communication and facilitate early severity assessment. We examined the association of the ICH score with mortality and withdrawal of life‐sustaining treatment (WLST) in a large, multicenter stroke registry, and evaluated temporal trends in these associations.
Nina Massad +15 more
wiley +1 more source
Deep Learning-Based Path Planning Under Co-Safe Temporal Logic Specifications
IEEE AccessThis paper introduces an innovative deep learning framework for robotic path planning. This framework addresses two fundamental challenges: (1) integration of mission specifications defined through Linear Temporal Logic (LTL), and (2) enhancement of ...
Kyoungho Lee, Kyunghoon Cho
doaj +1 more source
Formal equivalence of direct and indirect boundary element methods
, 1978 C. A. Brebbia, R. Butterfield
openalex +1 more source
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Purpose This study aimed to explore the association between quantitative shape irregularity and density heterogeneity of hematomas and hematoma expansion (HE) for intracerebral hemorrhage (ICH) patients. Methods This cohort study included patients arriving within 24 h of symptom onset between August 2021 and July 2022 as the derivation cohort ...
Zeqiang Ji +11 more
wiley +1 more source
An Introduction to Formal Specification and Z by Ben Potter, Jane Sinclair and David Till, Prentice-Hall, 1991. - Z: An Introduction to Formal Methods (second edition) by Antoni Diller, John Wiley & Sons, 1994. [PDF]
, 1996 Andrew D. Gordon
openalex +1 more source
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective We aimed to investigate the comparative effectiveness of standard versus personalized extended interval dosing of anti‐CD20 therapy on clinical and sub‐clinical outcomes in multiple sclerosis. Methods Clinical information was collected prospectively on Research Electronic Data Capture.
Nabil K. El Ayoubi +6 more
wiley +1 more source
The Changing Face of Standardization: A Place for Formal Methods? [PDF]
, 1999 David Duce +3 more
openalex +1 more source
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective To estimate the risk of epilepsy associated with stroke in a community‐based cohort, with consideration of stroke type, number, and severity. Methods Data from 15,100 Atherosclerosis Risk in Communities (ARIC) Study participants without stroke at baseline (1987–1989) were analyzed through 12/31/2022.
Jiping Zhou +11 more
wiley +1 more source
Editorial: Complexity and Self-Organization
Frontiers in Robotics and AI, 2021 Carlos Gershenson +4 more
doaj +1 more source
Experience integrating a formal method into a software engineering course [PDF]
, 1996 Ann E. Kelley Sobel
openalex +1 more source