Search results for "Formalism"
showing 10 items of 357 documents
Model-Based Dose Calculation Algorithms for Brachytherapy Dosimetry
2019
The purpose of this study was to review the limitations of dose calculation formalisms for photon-emitting brachytherapy sources based on the American Association of Physicists in Medicine (AAPM) Task Group No. 43 (TG-43) report and to provide recommendations to transition to model-based dose calculation algorithms. Additionally, an overview of these algorithms and approaches is presented. The influence of tissue and seed/applicator heterogeneities on brachytherapy dose distributions for breast, gynecologic, head and neck, rectum, and prostate cancers as well as eye plaques and electronic brachytherapy treatments were investigated by comparing dose calculations based on the TG-43 formalism …
The methane Raman spectrum from 1200 to 5500 cm(-1): A first step toward temperature diagnostic using methane as a probe molecule in combustion syste…
2005
International audience; We present a study of the spontaneous Raman spectra of (CH4)-C-12 from 1200 to 5500 cm(-1) at various temperatures. This study is of interest from a fundamental as well as from a practical point of view with regards to the temperature diagnostic in hydrocarbon combustion. The present investigation shows that the spontaneous (CH4)-C-12 Raman spectra are very sensitive to temperature and that the complexity of methane spectra is not an obstacle to use methane as a probe molecule in laser-diagnostic techniques. Our study consists in determining the polarisability parameters of methane (CH4)-C-12, unknown at the present time, from spontaneous Raman spectra recorded at pr…
A local chemical potential approach within the variable charge method formalism
2008
A new and computationally efficient implementation of the variable charge method of Streitz and Mintmire (1994 Phys. Rev. B 50 11996) is presented. In particular a local chemical potential approach that optimizes the charge on only those atoms expected to be ionic is developed. By doing so, the charge fluctuation problem experienced in regions far from any oxygen is solved, leading to a linear minimization problem of the electrostatic energy. In the dilute oxygen limit, such an approach can lead to at least an order of magnitude saving in computation.
Limitations of the TG-43 formalism for skin high-dose-rate brachytherapy dose calculations
2014
Purpose: In skin high-dose-rate (HDR) brachytherapy, sources are located outside, in contact with, or implanted at some depth below the skin surface. Most treatment planning systems use the TG-43 formalism, which is based on single-source dose superposition within an infinite water medium without accounting for the true geometry in which conditions for scattered radiation are altered by the presence of air. The purpose of this study is to evaluate the dosimetric limitations of the TG-43 formalism in HDR skin brachytherapy and the potential clinical impact. Methods: Dose rate distributions of typical configurations used in skin brachytherapy were obtained: a 5 cm × 5 cm superficial mould; a …
SU-E-T-516: Limitations and Clinical Implications of the TG-43 Formalism for High-Dose-Rate Skin Brachytherapy
2013
Purpose: In high‐dose‐rate (HDR) skin brachytherapy, sources are located outside, in contact with, or implanted at some depth below the skin surface. Nowadays, most TPS use the TG‐43 formalism that is based on sources within an infinite water medium, without accounting for the scatter defect due to surrounding air. The purpose of the present study is to evaluate the limitations of the TG‐43 formalism in HDR skin brachytherapy. Methods: This study examined two HDR sources (Ir‐192 and Co‐60) together with a hypothetical Yb‐169 source. Dose distributions were obtained using Monte Carlo methods (i.e., GEANT4). The following configurations were investigated: 1)A typical clinical case consisting …
Novel Methodologies to Model Charge Transport in Metal-Air Batteries
2018
2021
Fluctuation–dissipation relations or “theorems” (FDTs) are fundamental for statistical physics and can be rigorously derived for equilibrium systems. Their applicability to non-equilibrium systems is, however, debated. Here, we simulate an active microrheology experiment, in which a spherical colloid is pulled with a constant external force through a fluid, creating near-equilibrium and far-from-equilibrium systems. We characterize the structural and dynamical properties of these systems, and reconstruct an effective generalized Langevin equation (GLE) for the colloid dynamics. Specifically, we test the validity of two FDTs: The first FDT relates the non-equilibrium response of a system to …
Interfaces as design tools for the InAs/GaSb/InSb short-period superlattice for mid-infrared emission
2011
We use a standard 8 × 8 envelope-function approximation (EFA) formalism taking into account the effect of anisotropic and other interface (IF) interactions to investigate the electronic and optical properties of short-period superlattice laser structures (InAs/GaSb/InSb)×N grown on a GaSb substrate. We find that the band gaps numerically calculated at different temperatures give a good fitting with the experimental data confirming the model used. The calculated modal gain demonstrates that it is possible to achieve lasing operation at room temperature for N > 12 and for a reasonable total optical loss αt = 25 cm−1. Therefore, the 8 × 8 EFA formalism with IF design serves as a tool to model…
A Detailed Account of The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction
2021
One of the most popular state-space reduction techniques for model checking is partial-order reduction (POR). Of the many different POR implementations, stubborn sets are a very versatile variant and have thus seen many different applications over the past 32 years. One of the early stubborn sets works shows how the basic conditions for reduction can be augmented to preserve stutter-trace equivalence, making stubborn sets suitable for model checking of linear-time properties. In this paper, we identify a flaw in the reasoning and show with a counter-example that stutter-trace equivalence is not necessarily preserved. We propose a stronger reduction condition and provide extensive new correc…