We investigate the relationship between two independently developed termination techniques. On the one hand, sized-types based termination (SBT) uses types annotated with size expressions and Girard's reducibility candidates, and applies on systems using constructor matching only. On the other hand, semantic labelling transforms a rewrite system by annotating each function symbol with the seman...

We investigate the relationship between two independently developed termination techniques. On the one hand, sized-types based termination (SBT) uses types annotated with size expressions and Girard’s reducibility candidates, and applies on systems using constructor matching only. On the other hand, semantic labelling transforms a rewrite system by annotating each function symbol with the seman...

In situ growth of bismuth (Bi) nanoparticles on bulk SrBi2Ta2O9 (SBT) platelet is achieved by UV light illumination of SBT in aqueous glucose solutions. Interestingly, the as-produced Bi nanoparticles (NPs) are uniformly oriented with the epitaxial relationship of [001]Bi//[110]SBT, appearing as meso-single-crystal phase despite spatial separation between the NPs. Systematic investigations indi...

Background: Musculoskeletal pain and low back pain (LBP) in particular is one of the more costly health challenges to society. The STarT Back Tool (SBT) has been developed in the UK with a view to identifying subgroups of LBP patients in order to guide more cost effective care decisions. The Bournemouth Questionnaire (BQ) is a validated multidimensional patient reported outcome measure (PROM) t...

Serous borderline tumor (SBT) of the testis is a rare, ovarian epithelial-type tumor of the testis. We present a case of SBT after radical orchiectomy in a 59-year-old man who had 3-month progressive enlargement of his right hemi-scrotum, negative testicular tumor markers and scrotal ultrasound equivocal for malignancy. Magnetic resonance imaging (MRI) of the pelvis was obtained to aid with eva...

OBJECTIVE Weaning-induced pulmonary edema is a cause of weaning failure in high-risk patients. The diagnosis may require pulmonary artery catheterization to demonstrate increased pulmonary artery occlusion pressure (PAOP) during weaning. Transthoracic echocardiography can estimate left ventricular filling pressures using early (E) and late (A) peak diastolic velocities measured with Doppler tra...

BACKGROUND Timely ventilator liberation is crucial in the pediatric ICU. In many pediatric ICUs, the decision to initiate weaning is driven by the physician, which may lead to delays in ventilator liberation. The objectives of this quality improvement project were to develop and implement a respiratory therapist (RT)-led protocol for screening for spontaneous breathing trial (SBT) readiness, to...

Context: Test models describe the expected behavior of the software under test and provide the basis for test case and oracle generation. When test models are expressed as UML state machines, this is typically referred to as state-based testing (SBT). Despite the importance of being systematic while testing, all testing activities are limited by resource constraints. Thus, reducing the cost of ...

BACKGROUND Low back pain (LBP) is common and costly and few treatments have been shown to be markedly superior to any other. Effort has been focused on stratifying patients to better target treatment. Recently the STarT Back Screening Tool (SBT) has been developed for use in primary care to enable sub grouping of patients based on modifiable baseline characteristics and has been shown to be ass...

This study evaluated a Web site providing tailored advice to encourage older people to undertake strength and balance training (SBT). Adults age 60-88 (N = 302) were randomized to read either generic advice or advice tailored to their self-perceived balance problems and activity preferences. Between-groups differences in attitudes toward SBT after reading the advice did not quite reach signific...