ISAAC, a framework for integrated safety analysis of functional, geometrical and human aspects

International audienceThis paper aims at presenting methods and tools that are developed in the ISAAC project (Improvement of Safety Activities on Aeronautical Complex Systems, www.isaac-fp6.org), a European Community funded project, to support the safety assessment of complex embedded systems. The ISAAC methodology proposes to base as much of the safety analyses as is feasibly possible on simulable and formally verifiable system models that include fault models and can be shared both by safety and design engineers. On one hand, tools were developed to support safety assessment of Simulink, SCADE, Statemate, NuSMV and AltaRica models. On the other hand, formal models are coupled with additional models to address the problems of common cause analysis and human error analysis

Interprofessional Education: An evaluation of a joint learning workshop for podiatry and pharmacy students

"Interprofessional Education occurs when two or more professionals learn with, from and about each other to improve collaboration and the quality of care" (CAIPE 2002). Interprofessional education forms part of the Standards for the Initial Education and Training of Pharmacists. Working with and understanding the role of another profession has been shown to positively impact on the quality of care of the patient. Following positive pharmacy student feedback from visits to podiatry clinics an interprofessional learning workshop with case - based scenarios was developed. These were based on patients with high risk medical conditions that would impact on the work of both professions. Data from the feedback forms was evaluated and analysed to determine whether the workshop increased knowledge of the British National Formulary (BNF), the prescribing process and gave an insight in to the role of other healthcare professionals. We discuss how the student’s learning has been enhanced by the contribution of another professional group. The workshop was positively received. Students were observed working together discussing the patients’ conditions and issues relating to their care. This initially revolved around the students’ area of knowledge; however, as the session progressed it became apparent that the students were learning with, from and about each other for the benefit of patient care

Prognostic utility of sestamibi lung uptake does not require adjustment for stress-related variables: A retrospective cohort study

BACKGROUND: Increased (99m)Tc-sestamibi stress lung-to-heart ratio (sLHR) has been shown to predict cardiac outcomes similar to pulmonary uptake of thallium. Peak heart rate and use of pharmacologic stress affect the interpretation of lung thallium uptake. The current study was performed to determine whether (99m)Tc-sestamibi sLHR measurements are affected by stress-related variables, and whether this in turn affects prognostic utility. METHODS: sLHR was determined in 718 patients undergoing (99m)Tc-sestamibi SPECT stress imaging. sLHR was assessed in relation to demographics, hemodynamic variables and outcomes (mean follow up 5.6 ± 1.1 years). RESULTS: Mean sLHR was slightly greater in males than in females (P < 0.01) and also showed a weak negative correlation with age (P < 0.01) and systolic blood pressure (P < 0.01), but was unrelated to stress method or heart rate at the time of injection. In patients undergoing treadmill exercise, sLHR was also positively correlated with peak workload (P < 0.05) but inversely with double product (P < 0.05). The combined explanatory effect of sex, age and hemodynamic variables on sLHR was less than 10%. The risk of acute myocardial infarction (AMI) or death increased by a factor of 1.7–1.8 for each SD increase in unadjusted sLHR, and was unaffected by adjustment for sex, age and hemodynamic variables (hazard ratios 1.6–1.7). The area under the ROC curve for the unadjusted sLHR was 0.65 (95% CI 0.59–0.71, P < 0.0001) and was unchanged for the adjusted sLHR (0.65, 95% CI 0.61–0.72, P < 0.0001). CONCLUSION: Stress-related variables have only a weak effect on measured sLHR. Unadjusted and adjusted sLHR provide equivalent prognostic information for prediction of AMI or death

The gene expression profiles of primary and metastatic melanoma yields a transition point of tumor progression and metastasis

<p>Abstract</p> <p>Background</p> <p>The process of malignant transformation, progression and metastasis of melanoma is poorly understood. Gene expression profiling of human cancer has allowed for a unique insight into the genes that are involved in these processes. Thus, we have attempted to utilize this approach through the analysis of a series of primary, non-metastatic cutaneous tumors and metastatic melanoma samples.</p> <p>Methods</p> <p>We have utilized gene microarray analysis and a variety of molecular techniques to compare 40 metastatic melanoma (MM) samples, composed of 22 bulky, macroscopic (replaced) lymph node metastases, 16 subcutaneous and 2 distant metastases (adrenal and brain), to 42 primary cutaneous cancers, comprised of 16 melanoma, 11 squamous cell, 15 basal cell skin cancers. A Human Genome U133 Plus 2.0 array from Affymetrix, Inc. was utilized for each sample. A variety of statistical software, including the Affymetrix MAS 5.0 analysis software, was utilized to compare primary cancers to metastatic melanomas. Separate analyses were performed to directly compare only primary melanoma to metastatic melanoma samples. The expression levels of putative oncogenes and tumor suppressor genes were analyzed by semi- and real-time quantitative RT-PCR (qPCR) and Western blot analysis was performed on select genes.</p> <p>Results</p> <p>We find that primary basal cell carcinomas, squamous cell carcinomas and thin melanomas express dramatically higher levels of many genes, including <it>SPRR1A/B</it>, <it>KRT16/17</it>, <it>CD24</it>, <it>LOR</it>, <it>GATA3</it>, <it>MUC15</it>, and <it>TMPRSS4</it>, than metastatic melanoma. In contrast, the metastatic melanomas express higher levels of genes such as <it>MAGE</it>, <it>GPR19</it>, <it>BCL2A1</it>, <it>MMP14</it>, <it>SOX5</it>, <it>BUB1</it>, <it>RGS20</it>, and more. The transition from non-metastatic expression levels to metastatic expression levels occurs as melanoma tumors thicken. We further evaluated primary melanomas of varying Breslow's tumor thickness to determine that the transition in expression occurs at different thicknesses for different genes suggesting that the "transition zone" represents a critical time for the emergence of the metastatic phenotype. Several putative tumor oncogenes (<it>SPP-1</it>, <it>MITF</it>, <it>CITED-1</it>, <it>GDF-15</it>, <it>c-Met</it>, <it>HOX </it>loci) and suppressor genes (<it>PITX-1</it>, <it>CST-6</it>, <it>PDGFRL</it>, <it>DSC-3</it>, <it>POU2F3</it>, <it>CLCA2</it>, <it>ST7L</it>), were identified and validated by quantitative PCR as changing expression during this transition period. These are strong candidates for genes involved in the progression or suppression of the metastatic phenotype.</p> <p>Conclusion</p> <p>The gene expression profiling of primary, non-metastatic cutaneous tumors and metastatic melanoma has resulted in the identification of several genes that may be centrally involved in the progression and metastatic potential of melanoma. This has very important implications as we continue to develop an improved understanding of the metastatic process, allowing us to identify specific genes for prognostic markers and possibly for targeted therapeutic approaches.</p

Program for expectant and new mothers: a population-based study of participation

<p>Abstract</p> <p>Background</p> <p>The Manitoba Healthy Baby Program is aimed at promoting pre- and perinatal health and includes two components: 1) prenatal income supplement; 2) community support programs. The goal of this research was to determine the uptake of these components by target groups.</p> <p>Methods</p> <p>Data on participation in each of the two program components were linked to data on all hospital births in Manitoba between 2004/05 through 2007/08. Descriptive analyses of participation by maternal characteristics were produced. Logistic regression analyses were conducted to identify factors associated with participation in the two programs. Separate regressions were run for two groups of women giving birth during the study period: 1) total population; 2) those receiving provincial income assistance during the prenatal period.</p> <p>Results</p> <p>Almost 30% of women giving birth in Manitoba received the Healthy Baby prenatal income supplement, whereas only 12.6% participated in any community support programs. Over one quarter (26.4%) of pregnant women on income assistance did not apply for and receive the prenatal income supplement, despite all being eligible for it. Furthermore, 77.8% of women on income assistance did not participate in community support programs. Factors associated with both receipt of the prenatal benefit and participation in community support programs included lower SES, receipt of income assistance, obtaining adequate prenatal care, having completed high school and having depressive symptoms. Having more previous births was associated with higher odds of receiving the prenatal benefit, but lower odds of attending community support programs. Being married was associated with lower odds of receiving the prenatal benefit but higher odds of participating in community support programs.</p> <p>Conclusions</p> <p>Although uptake of the Healthy Baby program in Manitoba is greater for women in groups at risk for poorer perinatal outcomes, a substantial number of women eligible for this program are not receiving it; efforts to reach these women should be enhanced.</p

Euclid preparation - VII. Forecast validation for Euclid cosmological probes

Aims. The Euclid space telescope will measure the shapes and redshifts of galaxies to reconstruct the expansion history of the Universe and the growth of cosmic structures. The estimation of the expected performance of the experiment, in terms of predicted constraints on cosmological parameters, has so far relied on various individual methodologies and numerical implementations, which were developed for different observational probes and for the combination thereof. In this paper we present validated forecasts, which combine both theoretical and observational ingredients for different cosmological probes. This work is presented to provide the community with reliable numerical codes and methods for Euclid cosmological forecasts. Methods. We describe in detail the methods adopted for Fisher matrix forecasts, which were applied to galaxy clustering, weak lensing, and the combination thereof. We estimated the required accuracy for Euclid forecasts and outline a methodology for their development. We then compare and improve different numerical implementations, reaching uncertainties on the errors of cosmological parameters that are less than the required precision in all cases. Furthermore, we provide details on the validated implementations, some of which are made publicly available, in different programming languages, together with a reference training-set of input and output matrices for a set of specific models. These can be used by the reader to validate their own implementations if required. Results. We present new cosmological forecasts for Euclid. We find that results depend on the specific cosmological model and remaining freedom in each setting, for example flat or non-flat spatial cosmologies, or different cuts at non-linear scales. The numerical implementations are now reliable for these settings. We present the results for an optimistic and a pessimistic choice for these types of settings. We demonstrate that the impact of cross-correlations is particularly relevant for models beyond a cosmological constant and may allow us to increase the dark energy figure of merit by at least a factor of three

Euclid preparation: VII. Forecast validation for Euclid cosmological probes

Aims. The Euclid space telescope will measure the shapes and redshifts of galaxies to reconstruct the expansion history of the Universe and the growth of cosmic structures. The estimation of the expected performance of the experiment, in terms of predicted constraints on cosmological parameters, has so far relied on various individual methodologies and numerical implementations, which were developed for different observational probes and for the combination thereof. In this paper we present validated forecasts, which combine both theoretical and observational ingredients for different cosmological probes. This work is presented to provide the community with reliable numerical codes and methods for Euclid cosmological forecasts. Methods. We describe in detail the methods adopted for Fisher matrix forecasts, which were applied to galaxy clustering, weak lensing, and the combination thereof. We estimated the required accuracy for Euclid forecasts and outline a methodology for their development. We then compare and improve different numerical implementations, reaching uncertainties on the errors of cosmological parameters that are less than the required precision in all cases. Furthermore, we provide details on the validated implementations, some of which are made publicly available, in different programming languages, together with a reference training-set of input and output matrices for a set of specific models. These can be used by the reader to validate their own implementations if required. Results. We present new cosmological forecasts for Euclid. We find that results depend on the specific cosmological model and remaining freedom in each setting, for example flat or non-flat spatial cosmologies, or different cuts at non-linear scales. The numerical implementations are now reliable for these settings. We present the results for an optimistic and a pessimistic choice for these types of settings. We demonstrate that the impact of cross-correlations is particularly relevant for models beyond a cosmological constant and may allow us to increase the dark energy figure of merit by at least a factor of three

What is behind smoker support for new smokefree areas? National survey data

BACKGROUND: Some countries have started to extend indoor smokefree laws to cover cars and various outdoor settings. However, policy-modifiable factors around smoker support for these new laws are not well described. METHODS: The New Zealand (NZ) arm of the International Tobacco Control Policy Evaluation Survey (ITC Project) derives its sample from the NZ Health Survey (a national sample). From this sample we surveyed adult smokers (n = 1376). RESULTS: For the six settings considered, 59% of smokers supported at least three new completely smokefree areas. Only 2% favoured smoking being allowed in all the six new settings. Support among Maori, Pacific and Asian smokers relative to European smokers was elevated in multivariate analyses, but confidence intervals often included 1.0.Also in the multivariate analyses, "strong support" by smokers for new smokefree area laws was associated with greater knowledge of the second-hand smoke (SHS) hazard, and with behaviours to reduce SHS exposure towards others. Strong support was also associated with reporting having smokefree cars (aOR = 1.68, 95% CI = 1.21 - 2.34); and support for tobacco control regulatory measures by government (aOR = 1.63, 95% CI = 1.32 - 2.01). There was also stronger support by smokers with a form of financial stress (not spending on household essentials). CONCLUSIONS: Smokers from a range of population groups can show majority support for new outdoor and smokefree car laws. Some of these findings are consistent with the use of public health strategies to support new smokefree laws, such as enhancing public knowledge of the second-hand smoke hazard