Interactive Learning-Based Realizability for Heyting Arithmetic with EM1

We apply to the semantics of Arithmetic the idea of ``finite approximation'' used to provide computational interpretations of Herbrand's Theorem, and we interpret classical proofs as constructive proofs (with constructive rules for $\vee, \exists$) over a suitable structure \StructureN for the language of natural numbers and maps of G\"odel's system \SystemT. We introduce a new Realizability semantics we call ``Interactive learning-based Realizability'', for Heyting Arithmetic plus \EM_1 (Excluded middle axiom restricted to $\Sigma^0_1$ formulas). Individuals of \StructureN evolve with time, and realizers may ``interact'' with them, by influencing their evolution. We build our semantics over Avigad's fixed point result, but the same semantics may be defined over different constructive interpretations of classical arithmetic (Berardi and de' Liguoro use continuations). Our notion of realizability extends intuitionistic realizability and differs from it only in the atomic case: we interpret atomic realizers as ``learning agents''

Failing boys and moral panics: perspectives on the underachievement debate

The paper re-examines the underachievement debate from the perspective of the ‘discourse of derision’ that surrounds much writing in this area. It considers the contradictions and inconsistencies which underpin much of the discourse – from a reinterpretation of examination scores, to the conflation of the concepts of ‘under’ and ‘low’ achievement and finally to the lack of consensus on a means of defining and measuring the term underachievement. In doing so, this paper suggests a more innovative approach for understanding, re-evaluating and perhaps rejecting the notion of underachievement

Search for WW and WZ production in lepton plus jets final state at CDF

We present a search for WW and WZ production in final states that contain a charged lepton (electron or muon) and at least two jets, produced in sqrt(s) = 1.96 TeV ppbar collisions at the Fermilab Tevatron, using data corresponding to 1.2 fb-1 of integrated luminosity collected with the CDF II detector. Diboson production in this decay channel has yet to be observed at hadron colliders due to the large single W plus jets background. An artificial neural network has been developed to increase signal sensitivity, as compared with an event selection based on conventional cuts. We set a 95% confidence level upper limit of sigma_{WW}* BR(W->lnu,W->jets)+ sigma_{WZ}*BR(W->lnu,Z->jets)We present a search for WW and WZ production in final states that contain a charged lepton (electron or muon) and at least two jets, produced in √s=1.96  TeV pp̅ collisions at the Fermilab Tevatron, using data corresponding to 1.2  fb-1 of integrated luminosity collected with the CDF II detector. Diboson production in this decay channel has yet to be observed at hadron colliders due to the large single W plus jets background. An artificial neural network has been developed to increase signal sensitivity, as compared with an event selection based on conventional cuts. We set a 95% confidence level upper limit of σWW×BR(W→ℓνℓ,W→jets)+σWZ×BR(W→ℓνℓ,Z→jets)<2.88  pb, which is consistent with the standard model next-to-leading-order cross section calculation for this decay channel of 2.09±0.12  pb.Peer reviewe

Cost-effectiveness of Implementing Low-Tidal Volume Ventilation in Patients With Acute Lung Injury

Background: Despite widespread guidelines recommending the use of lung-protective ventilation (LPV) in patients with acute lung injury (ALI), many patients do not receive this lifesaving therapy. We sought to estimate the incremental clinical and economic outcomes associated with LPV and determined the maximum cost of a hypothetical intervention to improve adherence with LPV that remained cost-effective. Methods: Adopting a societal perspective, we developed a theoretical decision model to determine the cost-effectiveness of LPV compared to non-LPV care. Model inputs were derived from the literature and a large population-based cohort of patients with ALI. Cost-effectiveness was determined as the cost per life saved and the cost per quality-adjusted life-years (QALYs) gained. Results: Application of LPV resulted in an increase in QALYs gained by 15% (4.21 years for non-LPV vs 4.83 years for LPV), and an increase in lifetime costs of $7,233 per patient with ALI ($99,588 for non-LPV vs $106,821 for LPV). The incremental cost-effectiveness ratios for LPV were$22,566 per life saved at hospital discharge and $11,690 per QALY gained. The maximum, cost-effective, per patient investment in a hypothetical program to improve LPV adherence from 50 to 90$9,482. Results were robust to a wide range of economic and patient parameter assumptions. Conclusions: Even a costly intervention to improve adherence with low-tidal volume ventilation in patients with ALI reduces death and is cost-effective by current societal standards.NIH F32HL090220.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/84154/1/Cooke - CEA LPV.pd

Recommendations for The Conduct of Economic Evaluations in Osteoporosis: Outcomes of An Experts’ Consensus Meeting Organized by The European Society for Clinical and Economic Aspects of Osteoporosis, Osteoarthritis and Musculoskeletal Diseases (ESCEO) And the US Branch of The International Osteoporosis Foundation

Summary Economic evaluations are increasingly used to assess the value of health interventions, but variable quality and heterogeneity limit the use of these evaluations by decision-makers. These recommendations provide guidance for the design, conduct, and reporting of economic evaluations in osteoporosis to improve their transparency, comparability, and methodologic standards. Introduction This paper aims to provide recommendations for the conduct of economic evaluations in osteoporosis in order to improve their transparency, comparability, and methodologic standards. Methods A working group was convened by the European Society for Clinical and Economic Aspects of Osteoporosis and Osteoarthritis to make recommendations for the design, conduct, and reporting of economic evaluations in osteoporosis, to define an osteoporosis-specific reference case to serve a minimum standard for all economic analyses in osteoporosis, to discuss methodologic challenges and initiate a call for research. A literature review, a face-to-face meeting in New York City (including 11 experts), and a review/approval by a larger group of experts worldwide (including 23 experts in total) were conducted. Results Recommendations on the type of economic evaluation, methods for economic evaluation, modeling aspects, base-case analysis and population, excess mortality, fracture costs and disutility, treatment characteristics, and model validation were provided. Recommendations for reporting economic evaluations in osteoporosis were also made and an osteoporosis-specific checklist was designed that includes items to report when performing an economic evaluation in osteoporosis. Further, 12 minimum criteria for economic evaluations in osteoporosis were identified and 12 methodologic challenges and need for further research were discussed. Conclusion While the working group acknowledges challenges and the need for further research, these recommendations are intended to supplement general and national guidelines for economic evaluations, improve transparency, quality, and comparability of economic evaluations in osteoporosis, and maintain methodologic standards to increase their use by decision-makers

Preventing mental health problems in children : the families in mind population-based cluster randomised controlled trial.

BackgroundExternalising and internalising problems affect one in seven school-aged children and are the single strongest predictor of mental health problems into early adolescence. As the burden of mental health problems persists globally, childhood prevention of mental health problems is paramount. Prevention can be offered to all children (universal) or to children at risk of developing mental health problems (targeted). The relative effectiveness and costs of a targeted only versus combined universal and targeted approach are unknown. This study aims to the effectiveness, costs and uptake of two approaches to early childhood prevention of mental health problems ie: a Combined universal-targeted approach, versus a Targeted only approach, in comparison to current primary care services (Usual care).DesignThree armed, population-level cluster randomised trial (2010-2014) within the universal, well child Maternal Child Health system, attended by more than 80% of families in Victoria, Australia at infant age eight months. Participants: Families of eight month old children from nine participating local government areas. Randomised to one of three groups: Combined, Targeted or Usual care. Intervention: (a) the Combined universal and targeted program where all families are offered the universal Toddlers Without Tears group parenting program followed by the targeted Family Check-Up one-on-one program or (b) the Targeted Family Check-Up program. The Family Check-Up program is only offered to children at risk of behavioural problems. Analysis: Participants will be analysed according to the trial arm to which they were randomised, using logistic and linear regression models to compare primary and secondary outcomes. An economic evaluation (cost consequences analysis) will compare incremental costs to all incremental outcomes from a societal perspective.DiscussionThis trial will inform public health policy by making recommendations about the effectiveness and cost-effectiveness of these early prevention programs. If effective prevention programs can be implemented at the population level, the growing burden of mental health problems could be curbed.<br /

Diabetes MILES - Australia (Management and Impact for Long-Term Empowerment and Success) : methods and sample characteristics of a national survey of the psychological aspects of living with type 1 or type 2 diabetes in Australian adults

Background Successful management of diabetes requires attention to the behavioural, psychological and social aspects of this progressive condition. The Diabetes MILES (Management and Impact for Long-term Empowerment and Success) Study is an international collaborative. Diabetes MILES-Australia, the first Diabetes MILES initiative to be undertaken, was a national survey of adults living with type 1 or type 2 diabetes in Australia. The aim of this study was to gather data that will provide insights into how Australians manage their diabetes, the support they receive and the impact of diabetes on their lives, as well as to use the data to validate new diabetes outcome measures.Methods The survey was designed to include a core set of self-report measures, as well as modules specific to diabetes type or management regimens. Other measures or items were included in only half of the surveys. Cognitive debriefing interviews with 20 participants ensured the survey content was relevant and easily understood. In July 2011, the survey was posted to 15,000 adults (aged 18-70 years) with type 1 or type 2 diabetes selected randomly from the National Diabetes Services Scheme (NDSS) database. An online version of the survey was advertised nationally. A total of 3,338 eligible Australians took part; most (70.4%) completed the postal survey. Respondents of both diabetes types and genders, and of all ages, were adequately represented in both the postal and online survey sub-samples. More people with type 2 diabetes than type 1 diabetes took part in Diabetes MILES-Australia (58.8% versus 41.2%). Most respondents spoke English as their main language, were married/in a de facto relationship, had at least a high school education, were occupied in paid work, had an annual household income &gt; $AUS40,000, and lived in metropolitan areas.Discussion A potential limitation of the study is the under-representation of respondents from culturally and linguistically diverse backgrounds (including Aboriginal and Torres Strait Islander origin). Diabetes MILES-Australia represents a major achievement in the study of diabetes in Australia, where for the first time, the focus is on psychosocial and behavioural aspects of this condition at a national level. <br /

Moving research into practice: lessons from the US Agency for Healthcare Research and Quality's IDSRN program

BACKGROUND: The U.S. Agency for Healthcare Research and Quality's (AHRQ) Integrated Delivery Systems Research Network (IDSRN) program was established to foster public-private collaboration between health services researchers and health care delivery systems. Its broad goal was to link researchers and delivery systems to encourage implementation of research into practice. We evaluated the program to address two primary questions: 1) How successful was IDSRN in generating research findings that could be applied in practice? and 2) What factors facilitate or impede such success? METHODS: We conducted in-person and telephone interviews with AHRQ staff and nine IDSRN partner organizations and their collaborators, reviewed program documents, analyzed projects funded through the program, and developed case studies of four IDSRN projects judged promising in supporting research implementation. RESULTS: Participants reported that the IDSRN structure was valuable in creating closer ties between researchers and participating health systems. Of the 50 completed projects studied, 30 had an operational effect or use. Some kinds of projects were more successful than others in influencing operations. If certain conditions were met, a variety of partnership models successfully supported implementation. An internal champion was necessary for partnerships involving researchers based outside the delivery system. Case studies identified several factors important to success: responsiveness of project work to delivery system needs, ongoing funding to support multiple project phases, and development of applied products or tools that helped users see their operational relevance. Factors limiting success included limited project funding, competing demands on potential research users, and failure to reach the appropriate audience. CONCLUSION: Forging stronger partnerships between researchers and delivery systems has the potential to make research more relevant to users, but these benefits require clear goals and appropriate targeting of resources. Trade-offs are inevitable. The health services research community can best consider such trade-offs and set priorities if there is more dialogue to identify areas and approaches where such partnerships may have the most promise. Though it has unique features, the IDSRN experience is relevant to research implementation in diverse settings

Reframing professional development through understanding authentic professional learning

Continuing to learn is universally accepted and expected by professionals and other stakeholders across all professions. However, despite changes in response to research findings about how professionals learn, many professional development practices still focus on delivering content rather than enhancing learning. In exploring reasons for the continuation of didactic practices in professional development, this article critiques the usual conceptualization of professional development through a review of recent literature across professions. An alternative conceptualization is proposed, based on philosophical assumptions congruent with evidence about professional learning from seminal educational research of the past two decades. An argument is presented for a shift in discourse and focus from delivering and evaluating professional development programs to understanding and supporting authentic professional learning