Results 151 to 160 of about 934,012 (382)
Log file‐based quality assurance method for respiratory gating system
Journal of Applied Clinical Medical Physics, EarlyView.Abstract Background As medical linear accelerator technology advances, enabling higher dose rate deliveries, hypofractionation regimens has increased. This necessitates respiratory gating systems that synchronize radiation delivery with tumor position, requiring simple rigorous quality assurance (QA) to ensure treatment accuracy and patient safety ...
Wonjoong Cheon +7 more
wiley +1 more source
Shape from dots: a window into abstraction processes in visual perception
Frontiers in Computer ScienceIntroductionA remarkable phenomenon in perception is that the visual system spontaneously organizes sets of discrete elements into abstract shape representations.
Nicholas Baker, Philip J. Kellman
doaj +1 more source
Abstract Program Slicing: an Abstract Interpretation-based approach to Program Slicing [PDF]
arXiv, 2016 In the present paper we formally define the notion of abstract program slicing, a general form of program slicing where properties of data are considered instead of their exact value. This approach is applied to a language with numeric and reference values, and relies on the notion of abstract dependencies between program components (statements). The
arxiv
On abstraction-carrying code and certificate-size reduction [PDF]
, 2006 ion-Carrying Code (ACC) is a framework for mobile code safety in which the code supplier provides a program together with an abstraction (or abstract model of the program) whose validity entails compliance with a predefined safety policy. The abstraction
Albert Albiol, Elvira +3 more
core +1 more source
Proving Abstractions of Dynamical Systems through Numerical Simulations
, 2014 A key question that arises in rigorous analysis of cyberphysical systems under attack involves establishing whether or not the attacked system deviates significantly from the ideal allowed behavior.
Mitra, Sayan
core +1 more source
Hydrogen Abstraction Reaction of α-Heteroatom Substituted Compounds byt-Butoxy Radical [PDF]
, 1968 Kenji Uneyama +2 more
openalex +1 more source
Journal of Applied Clinical Medical Physics, EarlyView.Abstract Background The aim of this study was to thoroughly analyze the reproducibility of radiomics feature extraction across three Image Biomarker Standardization Initiative (IBSI)‐compliant platforms using a digital phantom for benchmarking. It uncovers high consistency among common features while also pointing out the necessity for standardization ...
Han‐Back Shin +5 more
wiley +1 more source
Associate/Dissociate: Allusive and Elusive Care in Veronica Ryan’s Sculpture
ArtsReflecting on the experience of curating Veronica Ryan’s work for the 2021 exhibition Life Support: Forms of Care in Art and Activism at Glasgow Women’s Library, this essay contextualizes the artist’s recent sculptures in relation to the theories ...
Catherine Spencer
doaj +1 more source
Learning Abstractions for Program Synthesis [PDF]
arXiv, 2018 Many example-guided program synthesis techniques use abstractions to prune the search space. While abstraction-based synthesis has proven to be very powerful, a domain expert needs to provide a suitable abstract domain, together with the abstract transformers of each DSL construct.
arxiv
Journal of Applied Clinical Medical Physics, EarlyView.Abstract Purpose Sparing pharyngeal constrictor muscles (PCMs) during radiotherapy improves patient‐reported swallowing function. This study aimed to explore the feasibility of integrating knowledge‐based planning (KBP) with multicriteria optimization (MCO) in Eclipse v18.0 to selectively spare PCM, quantify the required trade‐off in prophylactic ...
Laura K. Howard +3 more
wiley +1 more source