Results 101 to 110 of about 1,406,501 (313)
Journal of Applied Clinical Medical Physics, EarlyView.Abstract Background Volumetric modulated arc therapy (VMAT) requires an accurate patient‐specific quality assurance (PSQA) program. In clinical practice, this is usually performed using the γ‐index and the two‐dimensional gamma passing rate (2D %GP). A three‐dimensional (3D) index incorporating the patient anatomy could be more useful for the 3D dose ...
Christos Zarros +6 more
wiley +1 more source
CCS with Hennessy's merge has no finite-equational axiomatization [PDF]
, 2004 This paper confirms a conjecture of Bergstra and Klop¿s from 1984 by establishing that the process algebra obtained by adding an auxiliary operator proposed by Hennessy in 1981 to the recursion free fragment of Milner¿s Calculus of Communicationg Systems
Aceto, L. (Luca) +3 more
core
Downregulation of the Ca2+-activated K+ channel KCa3.1 in mouse preosteoblast cells treated with vitamin D receptor agonist [PDF]
, 2020 Hiroaki Kito +6 more
openalex +1 more source
A review of artificial intelligence in brachytherapy
Journal of Applied Clinical Medical Physics, EarlyView.Abstract Artificial intelligence (AI) has the potential to revolutionize brachytherapy's clinical workflow. This review comprehensively examines the application of AI, focusing on machine learning and deep learning, in various aspects of brachytherapy.
Jingchu Chen +4 more
wiley +1 more source
A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact) [PDF]
, 2017 This artifact contains a version of the Scribble tool that, given a protocol specification with multiple participants, can generate Scala APIs for implementing each participant in a type-safe, protocol abiding way. Crucially, the API generation leverages
Dardha, Ornela +3 more
core +5 more sources
FLEDGED D 3.1. Deliverable 3.1: Experimental matrix for SEG and SEDMES tests
, 2018 In this report, the experimental matrices for SEG and SEDMES tests are presented, determined based on the experience gained on the SEG and SEDMES process at the current stage of the project. The range of operating conditions defined in the experimental matrices is summarized in the following tables for SEG and SEDMES processes respectively.The ...
Guandalini, G. +7 more
openaire +2 more sources
Dose rate correction of a diode array for universal wedge field dosimetric verification
Journal of Applied Clinical Medical Physics, EarlyView.Abstract Purpose To study the performance of MapCHECK 3 (MC3) in measuring universal wedge fields and propose a dose rate correction strategy to improve MC3 measurement accuracy. Materials and methods Universal wedge fields with different wedge angles and field sizes were measured at different depths using MC3.
Linyi Shen +6 more
wiley +1 more source
Combining Proofs and Programs in a Dependently Typed Language [PDF]
, 2013 Most dependently-typed programming languages either require that all expressions terminate (e.g. Coq, Agda, and Epigram), or allow infinite loops but are inconsistent when viewed as logics (e.g. Haskell, ATS, mega).
Casinghino, Chris +2 more
core +2 more sources
Pseudoscalar qqbar mesons and effective QCD coupling enhanced by
, 2003 Recent developments provided evidence that the dimension 2 gluon condensate is important for the nonperturbative regime of Yang-Mills theories (quantized in the Landau gauge). We show that it may be relevant for the Dyson-Schwinger approach to QCD.
Dalibor Kekez +2 more
core +4 more sources
Journal of Applied Clinical Medical Physics, EarlyView.Abstract Purpose The Bravos v1.2 control software introduces a ring applicator component type (ACT) with channel length verification to address geometric characteristics and dosimetric discrepancies caused by source positioning inaccuracies. This study aims to commission the ring applicator and investigate the new ring ACT in Bravos 1.2.
Xiuxiu He +4 more
wiley +1 more source