Strength and Stability Analysis of Rehabilitated Anterior Cruciate Ligament Individuals

International Journal of Exercise Science 11(1): 817-826, 2018.The anterior cruciate ligament (ACL) serves as a vital stabilizer for the human knee, yet it is one of the most injured ligaments in the body. Function of the knee is restored through reconstruction and physical therapy, but long term functional deficits persist in some individuals. To better understand the influence of post rehabilitation outcomes on dynamic balance performance, this study evaluated bilateral differences in strength and stability in 11 participants who have rehabilitated from an ACL reconstruction or repair. The Y-Balance Test and an isokinetic strength assessment using the Biodex dynamometer were used to measure dynamic knee stability and strength, respectively. No significant differences were found in the strength test measurements. However, side to side differences in Y-Balance Test composite score (-2.8±3.1%, p = 0.014), maximal anterior reach (-2.8±2.4 cm, p = 0.01), and posterolateral reach (-2.75±3.5 cm, p = 0.02) were found to be significantly impaired in participants’ involved limbs compared to the uninvolved limbs

Prevalence of Sexual Harassment Toward and Burnout Among Allied Healthcare Professionals

Purpose: Burnout is a psychological cognitive-affective syndrome that is defined by emotional exhaustion, depersonalization, and reduced accomplishment. Burnout has been identified as a common issue in several allied healthcare professions, and is often contributed to by stress, workload, and social support. At the time of this study, there appears to be no published research on the relationship between levels of sexual harassment and levels of burnout. The purpose of this was to describe the prevalence of burnout and sexual harassment among allied healthcare professionals and students. A secondary purpose was to examine the potential relationship between sexual harassment and burnout among allied healthcare professionals and students. Methods: A total of 173 allied healthcare professionals and students (age= 43 ± 13, years of certified experience = 17 ± 12) opened and completed the instrument. Participants were sent an electronic survey via email that collected demographic information and assessed levels of burnout and sexual harassment. Data was downloaded and analyzed using a commercially available statistics package. Results: On average, allied healthcare professionals and students were at risk of burnout. There was a significant positive correlation between levels of burnout and sexual harassment. Additionally, females were significantly more likely to report workplace sexual harassment than males. Conclusions: The findings of this study suggest, on average, allied healthcare professionals and students are at risk of burnout. The findings also suggest that female allied healthcare professionals and students are more likely to experience burnout as a result of workplace sexual harassment. There is an evident need for employers to enhance policies and procedures to reduce and eliminate the occurrence of sexual harassment in the workplace. Doing so has the potential to reduce the risk of burnout among female allied healthcare professionals and students

Comprehension of spacecraft telemetry using hierarchical specifications of behavior ⋆

Abstract. A key challenge in operating remote spacecraft is that ground operators must rely on the limited visibility available through spacecraft telemetry in order to assess spacecraft health and operational status. We describe a tool for processing spacecraft telemetry that allows ground operators to impose structure on received telemetry in order to achieve a better comprehension of system state. A key element of our approach is the design of a domain-specific language that allows operators to express models of expected system behavior using partial specifications. The language allows behavior specifications with data fields, similar to other recent runtime verification systems. What is notable about our approach is the ability to develop hierarchical specifications of behavior. The language is implemented as an internal DSL in the Scala programming language that synthesizes rules from patterns of specification behavior. The rules are automatically applied to received telemetry and the inferred behaviors are available to ground operators using a visualization interface that makes it easier to understand and track spacecraft state. We describe initial results from applying our tool to telemetry received from the Curiosity rover currently roving the surface of Mars, where the visualizations are being used to trend subsystem behaviors, in order to identify potential problems before they happen. However, the technology is completely general and can be applied to any system that generates telemetry such as event logs.

Thoracic and Lumbar Vertebral Bone Mineral Density Changes in a Natural Occurring Dog Model of Diffuse Idiopathic Skeletal Hyperostosis

Ankylosing spinal disorders can be associated with alterations in vertebral bone mineral density (BMD). There is however controversy about vertebral BMD in patients wuse idiopathic skeletal hyperostosis (DISH). DISH in Boxer dogs has been considered a natural occurring disease model for DISH in people. The purpose of this study was to compare vertebral BMD between Boxers with and without DISH. Fifty-nine Boxers with (n=30) or without (n=29) DISH that underwent computed tomography were included. Vertebral BMD was calculated for each thoracic and lumbar vertebra by using an earlier reported and validated protocol. For each vertebral body, a region of interest was drawn on the axial computed tomographic images at three separate locations: immediately inferior to the superior end plate, in the middle of the vertebral body, and superior to the inferior end plate. Values from the three axial slices were averaged to give a mean Hounsfield Unit value for each vertebral body. Univariate statistical analysis was performed to identify factors to be included in a multivariate model. The multivariate model including all dogs demonstrated that vertebral DISH status (Coefficient 24.63; 95% CI 16.07 to 33.19; p <0.001), lumbar vertebrae (Coefficient -17.25; 95% CI -23.42 to -11.09; p < 0.01), and to a lesser extent higher age (Coefficient -0.56; 95% CI -1.07 to -0.05; p = 0.03) were significant predictors for vertebral BMD. When the multivariate model was repeated using only dogs with DISH, vertebral DISH status (Coefficient 20.67; 95% CI, 10.98 to 30.37; p < 0.001) and lumbar anatomical region (Coefficient -38.24; 95% CI, -47.75 to -28.73; p < 0.001) were again predictors for vertebral BMD but age was not. The results of this study indicate that DISH can be associated with decreased vertebral BMD. Further studies are necessary to evaluate the clinical importance and pathophysiology of this finding

A foundation for runtime monitoring

Runtime Verification is a lightweight technique that complements other verification methods in an effort to ensure software correctness. The technique poses novel questions to software engineers: it is not easy to identify which specifications are amenable to runtime monitor-ing, nor is it clear which monitors effect the required runtime analysis correctly. This exposition targets a foundational understanding of these questions. Particularly, it considers an expressive specification logic (a syntactic variant of the modal μ-calculus) that is agnostic of the verification method used, together with an elemental framework providing an operational semantics for the runtime analysis performed by monitors. The correspondence between the property satisfactions in the logic on the one hand, and the verdicts reached by the monitors performing the analysis on the other, is a central theme of the study. Such a correspondence underpins the concept of monitorability, used to identify the subsets of the logic that can be adequately monitored for by RV. Another theme of the study is that of understanding what should be expected of a monitor in order for the verification process to be correct. We show how the monitor framework considered can constitute a basis whereby various notions of monitor correctness may be defined and investigated.peer-reviewe

A Foundation for Runtime Monitoring

Runtime Verification is a lightweight technique that complements other verification methods in an effort to ensure software correctness. The technique poses novel questions to software engineers: it is not easy to identify which specifications are amenable to runtime monitoring, nor is it clear which monitors effect the required runtime analysis correctly. This exposition targets a foundational understanding of these questions. Particularly, it considers an expressive specification logic (a syntactic variant of the mmucalc) that is agnostic of the verification method used, together with an elemental framework providing an operational semantics for the runtime analysis performed by monitors. The correspondence between the property satisfactions in the logic on the one hand, and the verdicts reached by the monitors performing the analysis on the other, is a central theme of the study. Such a correspondence underpins the concept of monitorability, used to identify the subsets of the logic that can be adequately monitored for by RV. Another theme of the study is that of understanding what should be expected of a monitor in order for the verification process to be correct. We show how the monitor framework considered can constitute a basis whereby various notions of monitor correctness may be defined and investigated

Runtime verification of parametric properties using SMEDL

Parametric properties are typical properties to be checked in runtime verification (RV). As a common technique for parametric monitoring, trace slicing divides an execution trace into a set of sub traces which are checked against non-parametric base properties. An efficient trace slicing algorithm is implemented in MOP. Another RV technique, QEA further allows for nested use of universal and existential quantification over parameters. In this paper, we present a methodology for parametric monitoring using the RV framework SMEDL. Trace slicing algorithm in MOP can be expressed by execution of a set of SMEDL monitors. Moreover, the semantics of nested quantifiers is encoded by a hierarchy of monitors for aggregating verdicts of sub traces. Through case studies, we demonstrate that SMEDL provides a natural way to monitor parametric properties with more potentials for flexible deployment and optimizations

A Taxonomy for Classifying Runtime Verification Tools

International audienceOver the last 15 years Runtime Verification (RV) has grown into a diverse and active field, which has stimulated the development of numerous theoretical frameworks and tools. Many of the tools are at first sight very different and challenging to compare. Yet, there are similarities. In this work, we classify RV tools within a high-level taxonomy of concepts. We first present this taxonomy and discuss the different dimensions. Then, we survey RV tools and classify them according to the taxonomy. This paper constitutes a snapshot of the current state of the art and enables a comparison of existing tools

Working Through Black Bear Management Issues

Click on the PDF for the full report. Visit the HDRU website for a complete listing of HDRU publications at: http://hdru.dnr.cornell.edu