Introduction: The accuracy of dose calculation algorithm (DCA) is highly considered in the radiotherapy sequences. This study aims at assessing the accuracy of five dose calculation algorithms in tissue inhomogeneity corrections, based on the International Atomic Energy Agency TEC-DOC 1583. Material and Methods: A heterogeneous phantom was sc...

Wide-field intrinsic optical signal (IOS) imaging is used in functional cortex mapping for its excellent spatial resolution. Extrinsic dye signals can be introduced as extrinsic optical signal (EOS) imaging to improve signal noise ratio and temporal resolution. This paper describes the wide-field IOS/EOS imaging instrumentation at Clarkson University’s Center for Rehabilitation Engineering, Sci...

This paper formalizes some proofs by Clarkson and Schneider about hyperproperties. The proofs are mechanically verified using the proof assistant Isabelle.

We apply the complex interpolation method to prove that, given two spacesB p0,a;s0 , B (n) p1,b;s1 of n-tuples of operators in the p-Schatten class of a Hilbert space H , endowed with weighted norms associated to positive and invertible operators a and b of B(H) then, the curve of interpolation (B p0,a;s0 , B (n) p1,b;s1 )[t] of the pair is given by the space of n-tuples of operators in the pt-...

In this paper we propose a novel swallowing sound recognition technique based on the limited receptive area (LIRA) neural classifier and timefrequency decomposition. Time-frequency decomposition methods commonly used in sound recognition increase dimensionality of the signal and require steps of feature selection and extraction. Quite often feature selection is based on a set of empirically cho...