Specialization of inductively sequential functional logic programs [PDF]
, 1999 Marı́a Alpuente +3 more
openalex +1 more source
A Punctured Programming Approach to Adaptively Secure Functional Encryption
Annual International Cryptology Conference, 2015 Brent Waters
semanticscholar +1 more source
Comment on 'Impact of Resistance Training and Chicken Intake on Vascular and Muscle Health in Elderly Women' by Fujie et al. [PDF]
J Cachexia Sarcopenia MuscleLuo P, Shi Y, Lian Y.
europepmc +1 more source
Journal of Applied Clinical Medical Physics, EarlyView.Abstract Purpose The purpose of the present study was to evaluate the impact of bone relative electron density (rED) assignment on radiotherapy planning for the abdominal region. Methods Twenty patients who received abdominal radiotherapy using MR‐Linac and underwent magnetic resonance imaging (MRI) and computed tomography (CT) simulation were analyzed.
Kota Abe +4 more
wiley +1 more source
Compositional references for stateful functional programming [PDF]
, 1997 Koji Kagawa
openalex +1 more source
Distinct functional programming of human fetal and adult monocytes.
Blood, 2014 Krow-Lucal ER +3 more
europepmc +1 more source
Comprehensive clinical evaluation of novel 4DCT‐based lung function imaging methods
Journal of Applied Clinical Medical Physics, EarlyView.Abstract Purpose Methods have been developed that apply image processing to 4DCTs to generate 4DCT‐ventilation/perfusion lung imaging. Traditional methods for 4DCT‐ventilation rely on Hounsfield‐Unit (HU) density‐change methods and suffer from poor numerical robustness while not providing 4DCT‐perfusion data.
Ehsan Golkar +6 more
wiley +1 more source
Foundations for partial evaluation of functional programs with computational effects [PDF]
, 1998 John Hatcliff
openalex +1 more source
The neural correlates of logical-mathematical symbol systems processing resemble those of spatial cognition more than language processing. [PDF]
iScienceLi Y, Xu S, Liu J.
europepmc +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