Results 11 to 20 of about 1,037,765 (269)

Factors modulating 99mTc‐MAA planar lung dosimetry for 90Y radioembolization

Journal of Applied Clinical Medical Physics, Volume 23, Issue 12, December 2022., 2022
Abstract Purpose To investigate the accuracy and biases of predicted lung shunt fraction (LSF) and lung dose (LD) calculations via 99mTc‐macro‐aggregated albumin (99mTc‐MAA) planar imaging for treatment planning of 90Y‐microsphere radioembolization.
Benjamin P. Lopez, Armeen Mahvash, James P. Long, Marnix G. E. H. Lam, S. Cheenu Kappadath   +4 more
wiley   +1 more source

A Calculus for Timed Automata [PDF]

, 1996
A language for representing timed automata is introduced. Its semantics is defined in terms of timed automata. This language is complete in the sense that any timed automaton can be represented by a term in the language.
Brinksma, Hendrik, d' Argenio, P.R.
core   +10 more sources

Feasibility of radical cardiac‐sparing, treatment planning strategies for patients with locally advanced, non‐small cell lung cancer

Journal of Applied Clinical Medical Physics, Volume 23, Issue 12, December 2022., 2022
Abstract Purpose A set of treatment planning strategies were designed and retrospectively implemented for locally advanced, non‐small cell lung cancer (NSCLC) patients in order to minimize cardiac dose without compromising target coverage goals. Methods Retrospective analysis was performed for 20 NSCLC patients prescribed to 60–66 Gy that received a ...
Joshua P. Kim, Jake Dewalt, Aharon Feldman, Khaled Adil, Benjamin Movsas, Indrin J. Chetty   +5 more
wiley   +1 more source

Image quality comparisons of coil setups in 3T MRI for brain and head and neck radiotherapy simulations

Journal of Applied Clinical Medical Physics, Volume 23, Issue 12, December 2022., 2022
Abstract Purpose MRI is increasingly used for brain and head and neck radiotherapy treatment planning due to its superior soft tissue contrast. Flexible array coils can be arranged to encompass treatment immobilization devices, which do not fit in diagnostic head/neck coils. Selecting a flexible coil arrangement to replace a diagnostic coil should rely
Evangelia Kaza, Jeffrey P. Guenette, Christian V. Guthier, Steven Hatch, Alexander Marques, Lisa Singer, Jonathan D. Schoenfeld   +6 more
wiley   +1 more source

Knowledge-Based Synthesis of Distributed Systems Using Event Structures [PDF]

Logical Methods in Computer Science, 2011
To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification exists. This process is particularly effective if the specifications are written in a
Mark Bickford, Robert Constable, Joseph Halpern, Sabina Petride   +3 more
doaj   +1 more source

Impact of flexible noise control (FNC) image processing parameters on portable chest radiography

Journal of Applied Clinical Medical Physics, Volume 23, Issue 12, December 2022., 2022
Abstract There is a lack of understanding in the performance of flexible noise control (FNC) processing, which is used in digital radiography on a scanner vendor and has four parameters each involving multiple options. The aim of this study was to investigate the impact of FNC on portable chest imaging. An anthropomorphic chest phantom was imaged using
Krystal M. Kirby, Liqiang Ren, Timothy R. Daly, Yasmeen K. Tandon, Brian J. Bartholmai, Beth A. Schueler, Zaiyang Long   +6 more
wiley   +1 more source

The complexity of linear-time temporal logic over the class of ordinals [PDF]

Logical Methods in Computer Science, 2010
We consider the temporal logic with since and until modalities. This temporal logic is expressively equivalent over the class of ordinals to first-order logic by Kamp's theorem.
Stephane Demri, Alexander Rabinovich
doaj   +1 more source

Validation of pencil beam scanning proton therapy with multi‐leaf collimator calculated by a commercial Monte Carlo dose engine

Journal of Applied Clinical Medical Physics, Volume 23, Issue 12, December 2022., 2022
Abstract This study aimed to evaluate the clinical beam commissioning results and lateral penumbra characteristics of our new pencil beam scanning (PBS) proton therapy using a multi‐leaf collimator (MLC) calculated by use of a commercial Monte Carlo dose engine.
Yuki Tominaga, Yusuke Sakurai, Junya Miyata, Shuichi Harada, Takashi Akagi, Masataka Oita   +5 more
wiley   +1 more source

Interactive Small-Step Algorithms I: Axiomatization [PDF]

Logical Methods in Computer Science, 2007
In earlier work, the Abstract State Machine Thesis -- that arbitrary algorithms are behaviorally equivalent to abstract state machines -- was established for several classes of algorithms, including ordinary, interactive, small-step algorithms.
Andreas Blass, Yuri Gurevich, Dean Rosenzweig, Benjamin Rossman   +3 more
doaj   +1 more source

Effect of different noise reduction techniques and template matching parameters on markerless tumor tracking using dual‐energy imaging

Journal of Applied Clinical Medical Physics, Volume 23, Issue 12, December 2022., 2022
Abstract Purpose To evaluate the impact of various noise reduction algorithms and template matching parameters on the accuracy of markerless tumor tracking (MTT) using dual‐energy (DE) imaging. Methods A Varian TrueBeam linear accelerator was used to acquire a series of alternating 60 and 120 kVp images (over a 180° arc) using fast kV switching, on ...
Mandeep Kaur, Peter Wagstaff, Hassan Mostafavi, Mathias Lehmann, Daniel Morf, Liangjia Zhu, Hyejoo Kang, Michal Walczak, Matthew M. Harkenrider, John C. Roeske   +9 more
wiley   +1 more source