Results 81 to 90 of about 699,995 (283)
Evaluation of internal target volume of abdominal tumors using cine‐MRI
Journal of Applied Clinical Medical Physics, EarlyView.Abstract Introduction The detailed anatomy visualization with magnetic resonance (MR)‐guided radiotherapy is particularly attractive for abdominal treatments, but patient respiratory motion can compromise image quality. The “navigator technique” produces high‐quality 3D images, triggered by diaphragm displacement, in exhale phase only.
Jessica Lye +8 more
wiley +1 more source
Fermion Schwinger's function for the SU(2)-Thirring model [PDF]
, 2002 We study the Euclidean two-point function of Fermi fields in the SU(2)-Thirring model on the whole distance (energy) scale. We perform perturbative and renormalization group analyses to obtain the short-distance asymptotics, and numerically evaluate the ...
Acerbi +37 more
core +2 more sources
Coalgebraic trace semantics via forgetful logics [PDF]
Logical Methods in Computer Science, 2017 We use modal logic as a framework for coalgebraic trace semantics, and show the flexibility of the approach with concrete examples such as the language semantics of weighted, alternating and tree automata, and the trace semantics of generative ...
Bartek Klin, Jurriaan Rot
doaj +1 more source
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 +9 more
wiley +1 more source
Itinerant Nature of Atom-Magnetization Excitation by Tunneling Electrons [PDF]
, 2010 We have performed single-atom magnetization curve (SAMC) measurements and inelastic scanning tunneling spectroscopy (ISTS) on individual Fe atoms on a Cu(111) surface. The SAMCs show a broad distribution of magnetic moments with $\unit[3.5]{\mu_{\rm B}}$
Chilian, Bruno +7 more
core +2 more sources
A note on first-order spectra with binary relations [PDF]
Logical Methods in Computer Science, 2018 The spectrum of a first-order sentence is the set of the cardinalities of its finite models. In this paper, we consider the spectra of sentences over binary relations that use at least three variables.
Eryk Kopczynski, Tony Tan
doaj +1 more source
Using a novel fractional-order gradient method for CNN back-propagation [PDF]
arXiv, 2022 Computer-aided diagnosis tools have experienced rapid growth and development in recent years. Among all, deep learning is the most sophisticated and popular tool. In this paper, researchers propose a novel deep learning model and apply it to COVID-19 diagnosis.
arxiv
Axiomatic differential geometry I-1 - towards model cathegories of differential geometry [PDF]
, 2012 In this paper we give an axiomatization of di erential geometry comparable to model categories for homotopy theory.
Nishimura, Hirokazu
core +1 more source
Dense-Timed Petri Nets: Checking Zenoness, Token liveness and Boundedness [PDF]
Logical Methods in Computer Science, 2007 We consider Dense-Timed Petri Nets (TPN), an extension of Petri nets in which each token is equipped with a real-valued clock and where the semantics is lazy (i.e., enabled transitions need not fire; time can pass and disable transitions).
Parosh Abdulla +2 more
doaj +1 more source
On an ecumenical natural deduction with stoup -- Part I: The propositional case [PDF]
arXiv, 2022 Natural deduction systems, as proposed by Gentzen and further studied by Prawitz, is one of the most well known proof-theoretical frameworks. Part of its success is based on the fact that natural deduction rules present a simple characterization of logical constants, especially in the case of intuitionistic logic.
arxiv