ABSTRACT Background: for treatment verification in radiation therapy. Several physical characteristics of ScanningLiquid filled Ionization Chamber EPID (SLIC-EPID) including: extra build-up layer,reproducibility and uniformity, and noise level were investigated.Electronic Portal Imaging Devices (EPIDs) have found an outstanding positionMaterials and Methods: equilibrium, 1-30 mm white water mat...

This paper proposes a method of polarimetric synthetic aperture radar (PolSAR) image classification using improved superpixel segmentation and manifold learning. Firstly, a 27-dimension polarimetric feature space is extracted by simple arithmetic operations of polarimetric parameters and polarimetric target decomposition. Secondly, Laplacian Eigenmap (LE) algorithm is used to reduce the dimensi...

We examine the relationship between changes in a country’s public sector fiscal position and inequality at the top and bottom of the income distribution during the age of austerity (2006–13). We use a parametric Lorenz curve model and Gini-like indices of inequality as our measures to assess distributional changes. Based on the EU’s Statistics on Income and Living Conditions SLIC and Internatio...

Background Sehat Sahulat Programme (SSP), a health insurance initiative, was launched by the Government of Khyber Pakhtunkhwa (GoKP) in Pakistan to improve access quality services. In this paper, we describe notion under SSP, present stakeholders’ views on access-related challenges, and suggest ways forward realise SSP’s objective broader context its contribution towards Pakistan’s drive achiev...

Modular software model checking of large real-world systems is known to require extensive manual effort in environment modelling and preparing source code for model checking. Avinux is a tool chain that facilitates the automatic analysis of Linux and especially of Linux device drivers. The tool chain is implemented as a plugin for the Eclipse IDE, using the source code bounded model checker CBM...

SCCharts is a recently proposed statechart language designed for specifying safety-critical reactive systems. We have developed an Eclipse-based compilation chain that synthesizes SCCharts into either hardware or software. The user edits a textual description which is visualized as SCChart and subsequently transformed into VHDL or C code via a series of model-to-model (M2M) transformation steps...

Pubertal status is related to childhood growth and independently associated with health outcomes such as lung function, blood pressure and mental health (1). However, self-assessment of pubertal status is difficult in young children as relevant questions may either be too difficult for young children, especially boys, to answer reliably or perceived to be culturally inappropriate (1–5). This is...