Results 61 to 70 of about 885,312 (384)
Automatic Abstraction for Congruences [PDF]
, 2010 One approach to verifying bit-twiddling algorithms is to derive invariants between the bits that constitute the variables of a program. Such invariants can often be described with systems of congruences where in each equation $\vec{c} \cdot \vec{x} = d ...
A. King +14 more
core +2 more sources
Journal of Applied Clinical Medical Physics, Volume 23, Issue 12, December 2022., 2022 Abstract Positron emission tomography with x‐ray computed tomography (PET/CT) is increasingly being utilized for radiation treatment planning (RTP). Accurate delivery of RT therefore depends on quality PET/CT data. This study covers quality control (QC) procedures required for PET/CT for diagnostic imaging and incremental QC required for RTP.
Ran Klein +7 more
wiley +1 more source
British Art Studies, 2015 This article’s aims are twofold: firstly, it argues that Prunella Clough’s engagement with consumer items in her paintings of the 1980s and 1990s constitute a sustained engagement with the fluctuating nature of the commodity form, moving beyond the ...
Catherine Spencer
doaj +1 more source
Better abstractions for timed automata [PDF]
, 2015 We consider the reachability problem for timed automata. A standard solution to this problem involves computing a search tree whose nodes are abstractions of zones.
Alur +28 more
core +3 more sources
Uniqueness of radiomic features in non‐small cell lung cancer
Journal of Applied Clinical Medical Physics, Volume 23, Issue 12, December 2022., 2022 Abstract Purpose The uniqueness of radiomic features, combined with their reproducibility, determines the reliability of radiomic studies. This study is to test the hypothesis that radiomic features extracted from a defined region of interest (ROI) are unique to the underlying structure (e.g., tumor). Approach Two cohorts of non‐small cell lung cancer (
Gary Ge, Jie Zhang
wiley +1 more source
Handcrafting Objects made with Machine Learning: An Object Design Approach with Computer Vision
Engineering Proceedings, 2023 Many of today’s computational design systems based on explicit or graphic programming software require designers to determine relationships for morphogenesis based on computational thinking supported by the abstraction process.
Jose L. Reategui
doaj +1 more source
Certified concurrent abstraction layers
ACM-SIGPLAN Symposium on Programming Language Design and Implementation, 2018 Concurrent abstraction layers are ubiquitous in modern computer systems because of the pervasiveness of multithreaded programming and multicore hardware.
Ronghui Gu +8 more
semanticscholar +1 more source
A small footprint couch‐top support device for image‐guided radiotherapy of heavy patients
Journal of Applied Clinical Medical Physics, Volume 23, Issue 12, December 2022., 2022 Abstract Purpose Patients with body weights close to or above 400 lbs present unique challenges in radiation therapy since the weight limit of most treatment couches decreases as the couch‐top extends toward the treatment gantry. The purpose of this work was to develop a small footprint couch‐top support platform to safely perform image‐guided ...
Huixiao Chen +5 more
wiley +1 more source
Logarithmic Quantization based Symbolic Abstractions for Nonlinear Control Systems [PDF]
, 2020 This paper studies symbolic abstractions for nonlinear control systems using logarithmic quantization. With a logarithmic quantizer, we approximate the state and input sets, and then construct a novel discrete abstraction for nonlinear control systems.
arxiv +1 more source
Ontology-based model abstraction [PDF]
, 2019 In recent years, there has been a growth in the use of reference conceptual models to capture information about complex and critical domains. However, as the complexity of domain increases, so does the size and complexity of the models that represent ...
Figueiredo, Guylerme +3 more
core +1 more source