In this paper we introduce a novel application of model checking to find optimal planning solutions for a flow production system. Originally controlled by a multiagent system, the production system consists of autonomous products and asynchronous production stations with limited space for waiting products. In this work, we present two different approaches of application of the Spin model checke...

We report our experience with the Venture wire-control catheter in 20 patients with bifurcation lesions in which it was impossible to access the side branch using conventional techniques. This device was always used as a last resort and was employed during different stages in the treatment of the bifurcation lesions (i.e. initially, after stenting of the main vessel or both). In 17 patients (85...

â â â  abstract â  in this study, 129 samples of the qom formation in kaltakeh, south east mahneshan, were investigated. the thickness of qom formation in the examined section is 565m and comprises of limestone, sandy limestone, marl, shale and argillaceous limestone . at this locality, the qom sediments disconformably overlies the lower red formation and underlies the upper red formation. amon...

A 39-year-old patient presented with poorly controlled hypertension, and she was referred to renal angiogram and potential renal angioplasty. Renal angiogram showed a bifurcation lesion of the right renal artery. A guide wire was used to cross the upper branch, while the lower branch was protected by another same-type guide wire through the same introducer. Two thin monorail balloons were used ...

The Australian Defence Force Parachute Training School instructs trainees to make initial ground contact using a flat foot whereas United States paratroopers are taught to contact the ground with the ball of the foot first. This study aimed to determine whether differences in foot pitch affected parachute landing technique. Kinematic, ground reaction force and electromyographic data were analyz...

STUDY DESIGN Psychometric evaluation design. PURPOSE Psychometric evaluation of a multidisciplinary work-related low back pain predictor questionnaire (MWRLBPPQ) of Iranians patient-care workers based on the social cognitive theory. OVERVIEW OF LITERATURE Healthcare is one of the professions in which work-related musculoskeletal disorders are prevalent. The chronic low back pain experienced...

BACKGROUND Falls and related injuries are common health problems in the elderly. Fractures, brain and internal organ injuries and death are the common consequences of the falls, which result in dependence, decreased self-efficacy, fear of falling, depression, restricted daily activities, hospitalization and admission to the nursing home and impose costs on the individual and the society. OBJE...

OBJECTIVE To investigate the effects of adjuvant mental practice (MP) on affected upper limb function following a stroke using three-dimensional (3D) motion analysis. METHODS In this AB/BA crossover study, we studied 10 hemiplegic patients who had a stroke within the past 6 months. The patients were randomly allocated to two groups: one group received MP combined with conventional rehabilitat...