Results 51 to 60 of about 542,872 (263)
Health Literacy, Self‐Efficacy and Knowledge of Sickle Cell Disease Among Caregivers
ABSTRACT Background Sickle cell disease (SCD) is a hereditary blood disorder in which abnormal haemoglobin leads to severe anaemia, painful crises and organ failure. Caregivers’ health literacy (HL) – their ability to assess, understand and apply information, and interact with healthcare professionals – is crucial for managing children with SCD, yet ...
Melanie Bruinooge +6 more
wiley +1 more source
Abstract Interpretation as Automated Deduction [PDF]
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Vijay D'Silva, Caterina Urban
openaire +2 more sources
Interpolant Tree Automata and their Application in Horn Clause Verification [PDF]
This paper investigates the combination of abstract interpretation over the domain of convex polyhedra with interpolant tree automata, in an abstraction-refinement scheme for Horn clause verification.
Bishoksan Kafle, John P. Gallagher
doaj +1 more source
Objectives To assess the impact on readers’ interpretation of the results reported in an abstract for a hypothetical clinical trial with (1) a statistically significant result (SSR), (2) spin, (3) both an SSR and spin compared with (4) no spin and no SSR.
Isabelle Boutron +2 more
doaj +1 more source
ABSTRACT Background Pediatric bone sarcoma patients and survivors may experience psychosocial challenges related to childhood cancer after their intensive, body‐altering treatment. This cross‐sectional study aimed to evaluate generic and survivor‐specific psychosocial outcomes in a national cohort of pediatric bone sarcoma patients and survivors, and ...
Hinke van der Hoek +14 more
wiley +1 more source
Sweeping in Abstract Interpretation
AbstractIn this paper we present how sweeping line techniques, which are very popular in computational geometry, can be adapted for static analysis of computer software by abstract interpretation. We expose how concept of the sweeping line can be used to represent elements of a numerical abstract domain of boxes, which is a disjunctive refinement of a ...
openaire +1 more source
Interpretation of axonal damage biomarker Neurofilament Light chain (NfL) concentrations is difficult due to the lack of age‐specific and disease‐specific reference values.
Lisa Vermunt +14 more
doaj +1 more source
ABSTRACT Background Adolescents with haematological malignancies face significant emotional and relational challenges, often accompanied by difficulties in communicating their needs within the healthcare context. To address these issues, a narrative‐based psycho‐educational intervention based on the creation and prescription of Ironic Medications was ...
Marta Stoppa +7 more
wiley +1 more source
The Best of Abstract Interpretations
We study “ the best of abstract interpretations ”, that is, the best possible abstract interpretations of programs. Abstract interpretations are inductively defined by composing abstract transfer functions for the basic commands, such as assignments and Boolean guards.
Roberto Giacobazzi, Francesco Ranzato
openaire +1 more source
ABSTRACT Objectives The association between exposure to dinutuximab beta (DB) and event‐free survival (EFS) or overall survival (OS) of neuroblastoma patients was assessed using data collected during three clinical trials (five cohorts). Methods A systematic review (March 2026) was conducted to identify relevant studies (prospective; registered DB ...
Przemysław Holko +19 more
wiley +1 more source

