We lift the theory of optimal reduction to a decomposition of the lambda calculus known as the Linear Substitution Calculus (LSC). LSC decomposes β-reduction into finer steps that manipulate substitutions in two distinctive ways: it uses context rules that allow substitutions to act “at a distance” and rewrites modulo a set of equations that allow substitutions to “float” in a term. We propose ...

Strand length, free-fall distance (FFD), and plate spacing was varied to control the strand alignment distribution of strandboard. To determine the strand angle distribution, photographs of strands were recorded as digital image data, and strand angle analysis was conducted using a modified von Mises distribution function. A part of this measurement was used as a reference for the alignment in ...

Introduction: Phantom studies facilitate the implementation of radiation dose surveillance as a function of radiographic technical parameters for minimizing patient radiation dose. The evidence of such investigations can then be used to evaluate technical parameters used in the radiographic procedures to reduce radiation dose without compromising the image quality. Material and Methods: This ex...

Objective: To assess results of the finger-to-floor distance (FFD) and the Schober test performed during the DOLOR study, and to verify correlation between Visual Analog Pain Scale scores (VAS) with these measures. Research design and methods: Previously tabulated data from the Clinical Research Forms of the DOLOR study were analyzed (statistical significance defined with a two-tailed p value <...

Expedition Content (2020) disutradari oleh seniman suara dan sutradara Amerika, Ernst Karel antropolog Indonesia, Veronika Kusumaryani. Film yang telah menjadi official selection dalam Berlin International Festival Vision du Reel tahun 2020 ini salah satu pilihan program Perspektif pada Dokumenter (FFD) 2022. Diputarkan di Gedung Ex Bioskop Permata, Yogyakarta, FFD untuk pertama kalinya memberi...

BACKGROUND Imaging of the urinary system is considered to be responsible for significant radiation in children. OBJECTIVES This study was conducted to measure and compare the radiation dose in spot films with photofluorography voiding cystourethrography (VCUG) in children. PATIENTS AND METHODS 111 [222 Kidney Urinary Unit (KUU)] pediatric patients, aged 1 month to 5 years, with symptomatic ...

Skinning geometry effectively continues to be one of the more challenging and time consuming aspects of character setup. While anatomic and physically based approaches to skinning have been investigated, many skinned objects have no physical equivalents. Geometric approaches, which are more general and provide finer control, are thus predominantly used in the animation industry. Free-form defor...