Report on the Standardization Project ``Formal Methods in Conformance Testing''

This paper presents the latest developments in the “Formal Methods in Conformance Testing” (FMCT) project of ISO and ITU–T. The project has been initiated to study the role of formal description techniques in the conformance testing process. The goal is to develop a standard that defines the meaning of conformance in the context of formal description techniques. We give an account of the current status of FMCT in the standardization process as well as an overview of the technical status of the proposed standard. Moreover, we indicate some of its strong and weak points, and we give some directions for future work on FMCT

Carbon-Carbon Nozzle Extension Development in Support of In-Space and Upper-Stage Liquid Rocket Engines

No abstract availabl

Re-envisioning Addiction Treatment: A Six-Point Plan

This article is focused on improving the quality of addiction treatment. Based on observations that patients are leaving treatment too early and/or are continuing to use substances during their care, the authors propose six actions that could help reorient and revitalize this kind of clinical work: (1) conceptualize and treat addictive disorders within a psychiatric/mental health framework; (2) make the creation of a strong therapeutic alliance a core part of the healing process; (3) understand patients’ addictions and other problems using models based on multiple internal parts, voices, or modes; (4) make contingency management and the use of positive reinforcement systems a standard and central practice in all treatment settings; (5) envision long-term change and healing through the lens of identity theory; and (6) integrate the growing developments in recovery culture with formal treatment

Determinants of environmental domain of quality of life in economically active population living in Silesian agglomeration, Poland

Objectives: The aim of this paper is to identify the factors that determine the environmental domain of quality of life in economically active adults living in the industrial agglomeration in Poland. Materials and Methods: During the crosssectional epidemiological study conducted among the economically active population aged 45–60, we used a short version of the WHOQOL-BREF questionnaire. Respondents were recruited randomly from selected factories located in the Silesian Agglomeration. The statistical analysis used descriptive and analytical methods available in the Statistica 9.0 software. Results: The results confi rmed the statistically signifi cant association between marital status, type of occupational activity, declared health status, and the environmental domain of quality of life in economically active inhabitants of the Silesian Agglomeration. The best qualities of life in the environmental domain were those of married people, white collars, and persons who declared their health status to be the best. Conclusions: The major determinants of environmental quality of life in economically active population living in the industrial agglomeration include non-occupational factors, such as marital status and current health status, while a signifi cantly better quality of life was associated with being a white-collar worker and not living in the vicinity of the road with heavy traffi c. The results may be useful for future planned activities intended to improve the health and the quality of working life

Exercise therapy for chronic low back pain:protocol for an individual participant data meta-analysis

<p>Abstract</p> <p>Background</p> <p>Low back pain (LBP) is one of the leading causes of disability and has a major socioeconomic impact. Despite a large amount of research in the field, there remains uncertainty about the best treatment approach for chronic LBP, and identification of relevant patient subgroups is an important goal. Exercise therapy is a commonly used strategy to treat chronic low back pain and is one of several interventions that evidence suggests is moderately effective.</p> <p>In parallel with an update of the 2005 Cochrane review, we will undertake an individual participant data (IPD) meta-analysis, which will allow us to standardize analyses across studies and directly derive results, and to examine differential treatment effects across individuals to estimate how patients’ characteristics modify treatment benefit.</p> <p>Methods/design</p> <p>We will use standard systematic review methods advocated by the Cochrane Collaboration to identify relevant trials. We will include trials evaluating exercise therapy compared to any or no other interventions in adult non-specific chronic LBP. Our primary outcomes of interest include pain, functional status, and return-to-work/absenteeism. We will assess potential risk of bias for each study meeting selection criteria, using criteria and methods recommended by the Cochrane BRG.</p> <p>The original individual participant data will be requested from the authors of selected trials having moderate to low risk of bias. We will test original data and compile a master dataset with information about each trial mapped on a pre-specified framework, including reported characteristics of the study sample, exercise therapy characteristics, individual patient characteristics at baseline and all follow-up periods, subgroup and treatment effect modifiers investigated. Our analyses will include descriptive, study-level meta-analysis and meta-regression analyses of the overall treatment effect, and individual-level IPD meta-analyses of treatment effect modification. IPD meta-analyses will be conducted using a one-step approach where the IPD from all studies are modeled simultaneously while accounting for the clustering of participants with studies.</p> <p>Discussion</p> <p>We will analyze IPD across a large number of LBP trials. The resulting larger sample size and consistent presentation of data will allow additional analyses to explore patient-level heterogeneity in treatment outcomes and prognosis of chronic LBP.</p

Knowledge-to-action processes in SHRTN collaborative communities of practice: A study protocol

<p>Abstract</p> <p>Background</p> <p>The Seniors Health Research Transfer Network (SHRTN) Collaborative is a network of networks that work together to improve the health and health care of Ontario seniors. The collaborative facilitates knowledge exchange through a library service, knowledge brokers (KBs), local implementation teams, collaborative technology, and, most importantly, Communities of Practice (CoPs) whose members work together to identify innovations, translate evidence, and help implement changes.</p> <p>This project aims to increase our understanding of knowledge-to-action (KTA) processes mobilized through SHRTN CoPs that are working to improve the health of Ontario seniors. For this research, KTA refers to the movement of research and experience-based knowledge between social contexts, and the use of that knowledge to improve practice. We will examine the KTA processes themselves, as well as the role of human agents within those processes. The conceptual framework we have adopted to inform our research is the Promoting Action on Research Implementation in Health Services (PARIHS) framework.</p> <p>Methods/design</p> <p>This study will use a multiple case study design (minimum of nine cases over three years) to investigate how SHRTN CoPs work and pursue knowledge exchange in different situations. Each case will yield a unique narrative, framed around the three PARIHS dimensions: evidence, context, and facilitation. Together, the cases will shed light on how SHRTN CoPs approach their knowledge exchange initiatives, and how they respond to challenges and achieve their objectives. Data will be collected using interviews, document analysis, and ethnographic observation.</p> <p>Discussion</p> <p>This research will generate new knowledge about the defining characteristics of CoPs operating in the health system, on leadership roles in CoPs, and on the nature of interaction processes, relationships, and knowledge exchange mechanisms. Our work will yield a better understanding of the factors that contribute to the success or failure of KTA initiatives, and create a better understanding of how local caregiving contexts interact with specific initiatives. Our participatory design will allow stakeholders to influence the practical usefulness of our findings and contribute to improved health services delivery for seniors.</p

Transient Response of a Hollow Cylindrical-Cross-Section Solid Sensible Heat: Storage Unit- Single Fluid

plosion which have been interpreted in terms of the kinetic theory of nucleation can likewise be viewed in terms of film boiling destabilization with attendant fine scale fragmentation of the hot material. Vol. 77, No. 23, 1973, pp. 2730-2736 26 Cronenberg, A. W., Benz, R., to be published, Advances in Nuclear Science and Technology, 1978. 27 Anderson, R. P., Armstrong, D. R., ASME Meeting on Nuclear Reactor Safety Heat Transfer, Atlanta, Ga., Nov. 1977. 28 Henry, R. E., Fauske, H. K., McUmber, L. M., Proceedings of ANS Conference on Fast Reactor Safety, Chicago, 111. (Oct. 1976). Conclusions 29 Fauske, H. K., Nuclear Science and Engineering, Vol. 51, 1973, pp. 95-101. 30 Fauske, H. K., Reactor Technology, Vol. 15, No. 4, 1972-1973 3