Results 81 to 90 of about 663,881 (275)
On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases [PDF]
Logical Methods in Computer Science, 2010 This article studies the expressive power of finite automata recognizing sets of real numbers encoded in positional notation. We consider Muller automata as well as the restricted class of weak deterministic automata, used as symbolic set representations
Bernard Boigelot +2 more
doaj +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
On logical hierarchies within FO^2-definable languages [PDF]
Logical Methods in Computer Science, 2012 We consider the class of languages defined in the 2-variable fragment of the first-order logic of the linear order. Many interesting characterizations of this class are known, as well as the fact that restricting the number of quantifier alternations ...
Manfred Kufleitner, Pascal Weil
doaj +1 more source
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 +6 more
wiley +1 more source
Journal of Applied Clinical Medical Physics, EarlyView.Abstract Purpose Breast cancer is a neoplastic disease with high prevalence among women. Radiotherapy is one of the principal treatment modalities for this disease, but it poses significant challenges. This study aimed to compare and evaluate the technical and dosimetric performance of conventional C‐arm linac systems and a new design, Halcyon, in the ...
Mustafa Çağlar +8 more
wiley +1 more source
Pathophysiology of elevated ascites fluid cholesterol in malignant ascites [PDF]
, 1992 The existence of marked elevations of ascitic fluid cholesterol has been observed in patients with peritoneal carcinomatosis compared to patients with cirrhosis and has been found useful in differential diagnosis.
Alexander L. Gerbes +27 more
core +1 more source
A Characterization for Decidable Separability by Piecewise Testable Languages [PDF]
Discrete Mathematics & Theoretical Computer Science, 2017 The separability problem for word languages of a class $\mathcal{C}$ by languages of a class $\mathcal{S}$ asks, for two given languages $I$ and $E$ from $\mathcal{C}$, whether there exists a language $S$ from $\mathcal{S}$ that includes $I$ and excludes
Wojciech Czerwiński +4 more
doaj +1 more source
A Python package for fast GPU‐based proton pencil beam dose calculation
Journal of Applied Clinical Medical Physics, EarlyView.Abstract Purpose Open‐source GPU‐based Monte Carlo (MC) proton dose calculation algorithms provide high speed and unparalleled accuracy but can be complex to integrate with new applications and remain slower than GPU‐based pencil beam (PB) methods, which sacrifice some physical accuracy for sub‐second plan calculation.
Mahasweta Bhattacharya +4 more
wiley +1 more source
Logical Methods in Computer Science, 2012 We propose the concept of adaptable processes as a way of overcoming the limitations that process calculi have for describing patterns of dynamic process evolution.
Mario Bravetti +3 more
doaj +1 more source
The freeness problem over matrix semigroups and bounded languages [PDF]
arXiv, 2013 We study the freeness problem for matrix semigroups. We show that the freeness problem is decidable for upper-triangular $2\times 2$ matrices with rational entries when the products are restricted to certain bounded languages.
arxiv