Introduction: Internal radiation dosimetry is important from a radiation protection point of view and can help to optimize the radiation dose delivered to the workers, public, and patients. It has a rather simple protocol but needs a large amount of data. Therefore, it is difficult to do on a routine basis. The use of computer programs makes internal radiation dosimetry simpler...

This paper presents a special subset of the first-order predicate logic named S-program calculus (briefly S-calculus). The S-calculus is a calculus consisting of so-called S-formulas that are defined over the abstract state space of a virtual machine. We show that S-formulas are a highly general tool for analyzing program semantics inasmuch as Hoare triplets of total and partial correctness are...

a b s t r a c t a 36-year-old male patient with posttraumatic cervical cord damage and resultant quadriparesis, demonstrated hypotension and periods of bradycardia. for most of his two-month stay in the intensive care unit (icu), he was dependent on dopamine support to maintain hemodynamic stability. keeping in mind evidence from the literature, that electrostimulation of acupoints neiguan (pc ...

Influenza A viruses (IAVs) are endemic in swine and represent a public health risk. However, there is limited information on the genetic diversity of swine IAVs within farrow-to-wean farms, which is where most pigs are born. In this longitudinal study, we sampled 5 farrow-to-wean farms for a year and collected 4,190 individual nasal swabs from three distinct pig subpopulations. Of these, 207 (4...

objectives: self-assessment, as one type of alternative assessment, with the increased attention to learner-centered curricula, needs analysis, and learner autonomy has gained popularity in recent years. the aim of this study was to investigate the effect of self-assessment on javanroodian foreign language (kordestan) learners’ oral performance ability. methods: the assessment program involved ...

aging declines abilities and leads to increased risk of falling and subsequently poorer quality of life. the objective of this study was to identify a proper assessment for risk of falling among institutionalized elderly. in order to accomplish this aim, two functional assessment methods, berg scale and tinetti scale, were used and the validity indices of these methods were calculated. prospect...

To investigate the physiologic effects of proportional assist ventilation (PAV) in difficult-to-wean, mechanically ventilated patients with advanced COPD, we measured in eight ICU patients the breathing pattern, neuromuscular drive (P0.1), lung mechanics, and inspiratory muscle effort (PTPdi and PTPpl) during both spontaneous breathing (SB) and ventilatory support with PAV, CPAP, and CPAP + PAV...