558,511 research outputs found
Measures of body image: Confirmatory factor analysis and association with disordered eating
The current study aimed to examine the factor structure, reliability, and validity of three measures of body image disturbance (body image flexibility, body avoidance, and body checking) considered to be relevant to eating disorder psychopathology, with the aim of determining the optimal structure of each for use in treatment planning and outcome monitoring. Additionally, the study aimed to identify which factors had the strongest association with disordered eating. Participants were 328 female undergraduate university students aged 17-25 years. Confirmatory factor analyses were conducted followed by correlational, regression, and t-test analyses. The original proposed models were retained for the body image flexibility and body checking measures, while an alternative model was supported for the body image avoidance measure. All three solutions were found to have acceptable validity and reliability. Scores on each measure differed significantly between normal and disordered eaters. The body image flexibility measure and selected subscales of the body image avoidance and checking measures had unique associations with eating disorder psychopathology and psychosocial impairment. Results of this study indicate how the assessment of body image can be achieved in treatment of eating disorders in such a way as to reduce participant burden while adequately assessing the body image disturbance that is characteristic of eating disorders
Survival Strategies for Small Independent Full-Service Restaurants
Small businesses play a vital role in the modern economy. They represent the main catalyst for economic development. However, small businesses fail at a high rate, especially small independent restaurants. Around 25% of small independent restaurants fail within the first year of operation, and around 60% do not survive for more than 3 years. The purpose of this multiple case study was to explore what strategies small independent full-service restaurant owners in the Al Rehab District, Cairo, Egypt implemented to sustain operations for more than 5 years. The restaurant viability model provided the conceptual framework for this study. The population of this study comprised of 14 owners of small independent full-service restaurant with less than 50 employees in the Al Rehab District, Cairo, Egypt, who sustained their businesses operations for more than 5 years. The data sources included semistructured interviews, restaurant review websites, and social media platforms. Based on methodological triangulation of the data sources, open coding, analyzing the data using qualitative data analysis software, and member checking, 5 themes emerged: restaurant infrastructure strategies, marketing strategies, operations strategies, management strategies, and emotive strategies. The potential implications for positive social change include increasing the success rate of small independent restaurant owners, which in return will create wealth for the owners, generate employment opportunities, increase the government tax revenues, and contribute to the growth of the Egyptian economy
A probabilistic model checking approach to analysing reliability, availability, and maintainability of a single satellite system
Satellites now form a core component for space
based systems such as GPS and GLONAS which provide
location and timing information for a variety of uses. Such
satellites are designed to operate in-orbit and have lifetimes of
10 years or more. Reliability, availability and maintainability
(RAM) analysis of these systems has been indispensable in
the design phase of satellites in order to achieve minimum
failures or to increase mean time between failures (MTBF)
and thus to plan maintainability strategies, optimise reliability
and maximise availability. In this paper, we present formal
modelling of a single satellite and logical specification of
its reliability, availability and maintainability properties. The
probabilistic model checker PRISM has been used to perform
automated quantitative analyses of these properties
Construction and Verification of Performance and Reliability Models
Over the last two decades formal methods have been extended towards performance and reliability evaluation. This paper tries to provide a rather intuitive explanation of the basic concepts and features in this area.
Instead of striving for mathematical rigour, the intention is to give an illustrative introduction to the basics of stochastic models, to stochastic modelling using process algebra, and to model checking as a technique to analyse stochastic models
Navigating Independent Double Checks for Safer Care: A Nursing Perspective
Abstract
The purpose of this study was to explore registered nursesā understanding and practice of āindependent double-checksā prior to administration of high-alert medications. The study used a qualitative descriptive design for data collection and data analysis. It included thirteen participants from a hospital located in southern New Hampshire. Results of the study revealed a core theme of navigating independent double checks (IDC) for safer care. Two major themes stemming from the core theme were also uncovered. Navigating IDC through knowing and navigating IDC through nurse partnership both focused on the perception and practice on IDC prior to administration of high alert medications. IDC was accepted and promoted as best practice, but the definition and process is still unclear. Having a universal definition will assist in clarity of the process and in turn, promote ensuring safe administration of high alert medications to patients.
Keywords: independent double check, safer care, knowing, nurse partnershi
Platform Dependent Verification: On Engineering Verification Tools for 21st Century
The paper overviews recent developments in platform-dependent explicit-state
LTL model checking.Comment: In Proceedings PDMC 2011, arXiv:1111.006
A model checker for performance and dependability properties
Markov chains are widely used in the context of
performance and reliability evaluation of systems of various
nature. Model checking of such chains with respect to
a given (branching) temporal logic formula has been proposed
for both the discrete [8] and the continuous time setting
[1], [3]. In this short paper, we describe the prototype
model checker for discrete and continuous-time
Markov chains, where properties are expressed in appropriate
extensions of CTL.We illustrate the general benefits
of this approach and discuss the structure of the tool
COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring -- Activity Report of Working Group 1
This report presents the activities of the first working group of the COST
Action ArVI, Runtime Verification beyond Monitoring. The report aims to provide
an overview of some of the major core aspects involved in Runtime Verification.
Runtime Verification is the field of research dedicated to the analysis of
system executions. It is often seen as a discipline that studies how a system
run satisfies or violates correctness properties. The report exposes a taxonomy
of Runtime Verification (RV) presenting the terminology involved with the main
concepts of the field. The report also develops the concept of instrumentation,
the various ways to instrument systems, and the fundamental role of
instrumentation in designing an RV framework. We also discuss how RV interplays
with other verification techniques such as model-checking, deductive
verification, model learning, testing, and runtime assertion checking. Finally,
we propose challenges in monitoring quantitative and statistical data beyond
detecting property violation
Multiple verification in computational modeling of bone pathologies
We introduce a model checking approach to diagnose the emerging of bone
pathologies. The implementation of a new model of bone remodeling in PRISM has
led to an interesting characterization of osteoporosis as a defective bone
remodeling dynamics with respect to other bone pathologies. Our approach allows
to derive three types of model checking-based diagnostic estimators. The first
diagnostic measure focuses on the level of bone mineral density, which is
currently used in medical practice. In addition, we have introduced a novel
diagnostic estimator which uses the full patient clinical record, here
simulated using the modeling framework. This estimator detects rapid (months)
negative changes in bone mineral density. Independently of the actual bone
mineral density, when the decrease occurs rapidly it is important to alarm the
patient and monitor him/her more closely to detect insurgence of other bone
co-morbidities. A third estimator takes into account the variance of the bone
density, which could address the investigation of metabolic syndromes, diabetes
and cancer. Our implementation could make use of different logical combinations
of these statistical estimators and could incorporate other biomarkers for
other systemic co-morbidities (for example diabetes and thalassemia). We are
delighted to report that the combination of stochastic modeling with formal
methods motivate new diagnostic framework for complex pathologies. In
particular our approach takes into consideration important properties of
biosystems such as multiscale and self-adaptiveness. The multi-diagnosis could
be further expanded, inching towards the complexity of human diseases. Finally,
we briefly introduce self-adaptiveness in formal methods which is a key
property in the regulative mechanisms of biological systems and well known in
other mathematical and engineering areas.Comment: In Proceedings CompMod 2011, arXiv:1109.104
- ā¦