Results 101 to 110 of about 1,176,772 (342)
Design and validation of a novel dosimetry phantom for motion management audits
Abstract Background We present a novel phantom design for conducting end‐to‐end dosimetry audits for respiratory motion management of two anatomical treatment sites. The design enables radiochromic film measurements of the dose administered to the target throughout the respiratory cycle (motion‐included) and the dose delivered to the time‐averaged ...
Alex Burton+5 more
wiley +1 more source
Using R packages 'tmap', 'raster' and 'ggmap' for cartographic visualization: An example of dem-based terrain modelling of Italy, Apennine Peninsula [PDF]
The main purpose of this article is to present the use of R programming language in cartographic visualization demonstrating using machine learning methods in geographic education.
Lemenkova Polina
doaj
Transpiling Programmable Computable Functions to Answer Set Programs [PDF]
Programming Computable Functions (PCF) is a simplified programming language which provides the theoretical basis of modern functional programming languages. Answer set programming (ASP) is a programming paradigm focused on solving search problems. In this paper we provide a translation from PCF to ASP.
arxiv
Towards Efficient Abstractions for Concurrent Consensus [PDF]
Consensus is an often occurring problem in concurrent and distributed programming. We present a programming language with simple semantics and build-in support for consensus in the form of communicating transactions.
Koutavas, Vasileios, Spaccasassi, Carlo
core
RankPL: A Qualitative Probabilistic Programming Language
In this paper we introduce RankPL, a modeling language that can be thought of as a qualitative variant of a probabilistic programming language with a semantics based on Spohn's ranking theory.
A Darwiche+7 more
core +1 more source
A Python package for fast GPU‐based proton pencil beam dose calculation
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
Performance Analysis of BigDecimal Arithmetic Operation in Java
The Java programming language provides binary floating-point primitive data types such as float and double to represent decimal numbers. However, these data types cannot represent decimal numbers with complete accuracy, which may cause precision errors ...
Jos Timanta Tarigan+2 more
doaj +1 more source
A Linear Logic Programming Language for Concurrent Programming over Graph Structures
We have designed a new logic programming language called LM (Linear Meld) for programming graph-based algorithms in a declarative fashion. Our language is based on linear logic, an expressive logical system where logical facts can be consumed. Because LM
Cruz, Flavio+3 more
core +1 more source
Modern solutions of aerial ion field distributions
The paper considers the simulation of distribution of dispersed aerial ions in space from artificial sources of aerial ionization using the Android Studio software environment.
Oksana Strokan, Yulia Lytvyn
doaj +1 more source
This document describes the Arcturus programming environment, a first realization of an advanced programming environment based on the programming language Ada.
Snider, Craig, Willson, Stephen Hunter
core +1 more source