Results 71 to 80 of about 6,513,935 (304)
BMJ Open, 2022 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
Sweeping in Abstract Interpretation
Electronic Notes in Theoretical Computer Science, 2012 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 +2 more sources
Using abstract interpretation to correct synchronization faults
, 2017 We describe a novel use of abstract interpretation in which the abstract domain informs a runtime system to correct synchronization failures. To this end, we first introduce a novel synchronization paradigm, dubbed corrective synchronization, that is a ...
Koskinen E, Liu P, Ferrara P, Tripp O
core +1 more source
Decoding sill emplacement and forced fold growth in the Exmouth Sub-basin, offshore NW Australia: implications for hydrocarbon exploration [PDF]
, 2016 Igneous sills emplaced at shallow-levels in sedimen tary basins commonly uplift the overburden and free surface. Uplift produces dome-s haped forced folds that may host economic hydrocarbon accumulations.
Magee, C +3 more
core +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Children with sickle cell anemia (SCA) in low‐income settings are at risk of severe malnutrition, but optimal nutritional management has not been established. We evaluated an intensified ready‐to‐use therapeutic food (RUTF) regimen in children with persistent severe malnutrition after initial treatment and assessed whether early ...
Safiya Gambo +9 more
wiley +1 more source
Interpolant Tree Automata and their Application in Horn Clause Verification [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 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
The Best of Abstract Interpretations
Proceedings of the ACM on Programming LanguagesWe 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
Central Nervous System Tumors Among Infants in Canada: A Report From CYP‐C
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Central nervous system (CNS) tumors in infants are rare, pose unique clinical challenges, and lack large‐scale evidence‐based data to guide management. This study seeks to describe CNS tumors in Canadian infants and to compare their outcomes with those of older children.
Samuel Sassine +17 more
wiley +1 more source
Annals of Clinical and Translational Neurology, 2022 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
Semantics for Prolog with Cut – Revisited [PDF]
, 2014 This paper revisits the semantics for Prolog with cut from the perspective of formulating a semantic base that is amenable to abstract interpretation. It argues that such a semantics should separate the question of divergence from questions pertaining to
Jael Kriener +3 more
core +1 more source