3 resultados para Fall program update (LACUNY Membership Drive)


Relevância:

30.00% 30.00%

Publicador:

Resumo:

We propose a dynamic verification approach for large-scale message passing programs to locate correctness bugs caused by unforeseen nondeterministic interactions. This approach hinges on an efficient protocol to track the causality between nondeterministic message receive operations and potentially matching send operations. We show that causality tracking protocols that rely solely on logical clocks fail to capture all nuances of MPI program behavior, including the variety of ways in which nonblocking calls can complete. Our approach is hinged on formally defining the matches-before relation underlying the MPI standard, and devising lazy update logical clock based algorithms that can correctly discover all potential outcomes of nondeterministic receives in practice. can achieve the same coverage as a vector clock based algorithm while maintaining good scalability. LLCP allows us to analyze realistic MPI programs involving a thousand MPI processes, incurring only modest overheads in terms of communication bandwidth, latency, and memory consumption. © 2011 IEEE.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Objectives: To determine patient satisfaction with a community hospital's respiratory rehabilitation program and to assess changes in patient physical and emotional function and quality of life. Design: Pre- and post-program measures were made on a variety of physiological and psychosocial factors. A modified version of the Chronic Respiratory Disease Questionnaire was administered before and after the 8-week multidisciplinary and comprehensive respiratory rehabilitation program. The post-program questionnaire also included a number of service delivery and patient satisfaction and quality-of-life questions. Setting: Respiratory Rehabilitation Program at St. Joseph's Hospital, a community hospital in Brantford, Ont., in active partnership with the Brant County Lung Association. Brant County is located in Central West Ontario, and has both urban and rural areas and a population of approximately 125 000 people. Participants: Twenty-nine patients, with a diagnosis of moderate to severe chronic obstructive pulmonary disease (COPD) who were referred to the Fall 1997 and Spring 1998 programs, were enrolled in the study. Outcome measures: Changes in physical and emotional function, health knowledge, skills mastery, quality of life and satisfaction with the program. Results: Twenty-one of 29 patients completed the program. Statistically significant and clinically important improvements were found between all pre- and post-program evaluation scores (distance walked, fatigue, dyspnea, emotional function, skills mastery and health knowledge). Participants were very satisfied with the program and felt it improved their quality of life. Conclusion: The positive outcomes reported rom randomized controlled trials of respiratory rehabilitation programs can be achieved in a community hospital setting.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Do the laws of quantum physics still hold for macroscopic objects - this is at the heart of Schrödinger’s cat paradox - or do gravitation or yet unknown effects set a limit for massive particles? What is the fundamental relation between quantum physics and gravity? Ground-based experiments addressing these questions may soon face limitations due to limited free-fall times and the quality of vacuum and microgravity. The proposed mission Macroscopic Quantum Resonators (MAQRO) may overcome these limitations and allow addressing such fundamental questions. MAQRO harnesses recent developments in quantum optomechanics, high-mass matter-wave interferometry as well as state-of-the-art space technology to push macroscopic quantum experiments towards their ultimate performance limits and to open new horizons for applying quantum technology in space. The main scientific goal is to probe the vastly unexplored ‘quantum-classical’ transition for increasingly massive objects, testing the predictions of quantum theory for objects in a size and mass regime unachievable in ground-based experiments. The hardware will largely be based on available space technology. Here, we present the MAQRO proposal submitted in response to the 4th Cosmic Vision call for a medium-sized mission (M4) in 2014 of the European Space Agency (ESA) with a possible launch in 2025, and we review the progress with respect to the original MAQRO proposal for the 3rd Cosmic Vision call for a medium-sized mission (M3) in 2010. In particular, the updated proposal overcomes several critical issues of the original proposal by relying on established experimental techniques from high-mass matter-wave interferometry and by introducing novel ideas for particle loading and manipulation. Moreover, the mission design was improved to better fulfill the stringent environmental requirements for macroscopic quantum experiments.