Results 81 to 90 of about 1,184,149 (273)

Sodium Rich Vanadium Oxy‐Fluorophosphate – Na_3.2Ni_0.2V_1.8(PO₄)₂F₂O – as Advanced Cathode for Sodium Ion Batteries [PDF]

, 2023
Rachid Essehli, Hamdi Ben Yahia, Ruhul Amin, Mengya Li, Daniel Morales, Steve Greenbaum, Ali Abouimrane, Anand Parejiya, Abdelfattah Mahmoud, Khalid Boulahya, Marm Dixit, Ilias Belharouak   +11 more
openalex   +1 more source

Impact of enhanced leaf model on dose calculation accuracy in single‐isocenter multitarget stereotactic radiosurgery treatments

Journal of Applied Clinical Medical Physics, EarlyView.
Abstract Purpose Single‐isocenter multitarget (SIMT) radiosurgery has become increasingly popular as advancement in planning and delivery systems have made this approach clinically viable. With targets varying in size and distance from isocenter, SIMT plans are highly complex with dynamic multileaf collimator (MLC) motion.
Hem Moktan, Hongyu Jiang, H. Harold Li, Kenny Guida   +3 more
wiley   +1 more source

The language of Stratified Sets is confluent and strongly normalising [PDF]

Logical Methods in Computer Science, 2018
We study the properties of the language of Stratified Sets (first-order logic with $\in$ and a stratification condition) as used in TST, TZT, and (with stratifiability instead of stratification) in Quine's NF.
Murdoch J. Gabbay
doaj   +1 more source

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, Mengyang Li, Guiyuan Li, Xinyuan Chen, Shouping Xu, Jianrong Dai, Yuan Tian   +6 more
wiley   +1 more source

Neighbourhood Structures: Bisimilarity and Basic Model Theory [PDF]

Logical Methods in Computer Science, 2009
Neighbourhood structures are the standard semantic tool used to reason about non-normal modal logics. The logic of all neighbourhood models is called classical modal logic.
Helle Hvid Hansen, Clemens Kupke, Eric Pacuit   +2 more
doaj   +1 more source

Über die Präzision interprozeduraler Analysen [PDF]

arXiv, 2017
In this work, we examine two approaches to interprocedural data-flow analysis of Sharir and Pnueli in terms of precision: the functional and the call-string approach. In doing so, not only the theoretical best, but all solutions are regarded which occur when using abstract interpretation or widening additionally. It turns out that the solutions of both
arxiv  

Geometric and dosimetric evaluation of a commercial AI auto‐contouring tool on multiple anatomical sites in CT scans

Journal of Applied Clinical Medical Physics, EarlyView.
Abstract Current radiotherapy practices rely on manual contouring of CT scans, which is time‐consuming, prone to variability, and requires highly trained experts. There is a need for more efficient and consistent contouring methods. This study evaluated the performance of the Varian Ethos AI auto‐contouring tool to assess its potential integration into
Robert N. Finnegan, Alexandra Quinn, Patrick Horsley, Joseph Chan, Maegan Stewart, Regina Bromley, Jeremy Booth   +6 more
wiley   +1 more source

Infinitary Combinatory Reduction Systems: Normalising Reduction Strategies [PDF]

Logical Methods in Computer Science, 2010
We study normalising reduction strategies for infinitary Combinatory Reduction Systems (iCRSs). We prove that all fair, outermost-fair, and needed-fair strategies are normalising for orthogonal, fully-extended iCRSs.
Jeroen Ketema, Jakob Grue Simonsen
doaj   +1 more source

Abstract Certification of Global Non-Interference in Rewriting Logic [PDF]

arXiv, 2010
Non-interference is a semantic program property that assigns confidentiality levels to data objects and prevents illicit information flows from occurring from high to low security levels. In this paper, we present a novel security model for global non-interference which approximates non-interference as a safety property. We also propose a certification
arxiv  

Machine stability and dosimetry for ultra‐high dose rate FLASH radiotherapy human clinical protocol

Journal of Applied Clinical Medical Physics, EarlyView.
Abstract Background The FLASH effect, induced by ultra‐high dose rate (UHDR) irradiations, offers the potential to spare normal tissue while effectively treating tumors. It is important to achieve precise and accurate dose delivery and to establish reliable detector systems, particularly for clinical trials needed to help the clinical transfer of FLASH‐
Patrik Gonçalves Jorge, Reiner Geyer, Rémy Kinj, Luis Schiappacasse, Wendy Jeanneret‐Sozzi, Jean Bourhis, Fernanda Herrera, François Bochud, Claude Bailat, Raphaël Moeckli   +9 more
wiley   +1 more source