Pulsar Results with the Fermi Large Area Telescope

The launch of the Fermi Gamma-ray Space Telescope has heralded a new era in the study of gamma-ray pulsars. The population of confirmed gamma-ray pulsars has gone from 6-7 to more than 60, and the superb sensitivity of the Large Area Telescope (LAT) on Fermi has allowed the detailed study of their spectra and light curves. Twenty-four of these pulsars were discovered in blind searches of the gamma-ray data, and twenty-one of these are, at present, radio quiet, despite deep radio follow-up observations. In addition, millisecond pulsars have been confirmed as a class of gamma-ray emitters, both individually and collectively in globular clusters. Recently, radio searches in the direction of LAT sources with no likely counterparts have been highly productive, leading to the discovery of a large number of new millisecond pulsars. Taken together, these discoveries promise a great improvement in the understanding of the gamma-ray emission properties and Galactic population of pulsars. We summarize some of the results stemming from these newly-detected pulsars and their timing and multi-wavelength follow-up observations.Comment: 21 pages, 9 figures, to appear in Proceedings of ICREA Workshop on The High-Energy Emission from Pulsars and their Systems, Sant Cugat, Spain, 2010 April 12-16 (Springer

Towards Logical Specification of Statistical Machine Learning

We introduce a logical approach to formalizing statistical properties of machine learning. Specifically, we propose a formal model for statistical classification based on a Kripke model, and formalize various notions of classification performance, robustness, and fairness of classifiers by using epistemic logic. Then we show some relationships among properties of classifiers and those between classification performance and robustness, which suggests robustness-related properties that have not been formalized in the literature as far as we know. To formalize fairness properties, we define a notion of counterfactual knowledge and show techniques to formalize conditional indistinguishability by using counterfactual epistemic operators. As far as we know, this is the first work that uses logical formulas to express statistical properties of machine learning, and that provides epistemic (resp. counterfactually epistemic) views on robustness (resp. fairness) of classifiers.Comment: SEFM'19 conference paper (full version with errors corrected

The Diabetes Education Experience of Randomly Selected Patients Under the Care of Community Physicians

The purpose of this study was to describe the diabetes education and nutritional counseling received by patients under the active care of community physicians. The study population consisted of 440 patients with diabetes from the practices of 68 primary care physicians in eight Michigan communities. Fifty-eight percent of the sample reported having received diabetes education, and the mean number of years since the most recent education was 4.15 years. Sixty-six percent reported having seen a dietitian. Patients who had received diabetes education scored higher on a basic diabetes knowledge test (70% correct vs 60%) than patients who had not received diabetes education. From 1981 to 1991, a decline was observed in the percentage of patients who reported having received diabetes education (70% to 58%). Although patient education is an integral part of comprehensive diabetes care, too few patients are receiving it. Furthermore, diabetes education often results in less-than-optimal levels of knowledge. The situation has deteriorated over the past 10 years, and patients who are not on insulin typically are the least well served.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/68590/2/10.1177_014572179402000506.pd

The Thermal Design, Characterization, and Performance of the SPIDER Long-Duration Balloon Cryostat

We describe the SPIDER flight cryostat, which is designed to cool six millimeter-wavelength telescopes during an Antarctic long-duration balloon flight. The cryostat, one of the largest to have flown on a stratospheric payload, uses liquid helium-4 to deliver cooling power to stages at 4.2 and 1.6 K. Stainless steel capillaries facilitate a high flow impedance connection between the main liquid helium tank and a smaller superfluid tank, allowing the latter to operate at 1.6 K as long as there is liquid in the 4.2 K main tank. Each telescope houses a closed cycle helium-3 adsorption refrigerator that further cools the focal planes down to 300 mK. Liquid helium vapor from the main tank is routed through heat exchangers that cool radiation shields, providing negative thermal feedback. The system performed successfully during a 17 day flight in the 2014-2015 Antarctic summer. The cryostat had a total hold time of 16.8 days, with 15.9 days occurring during flight.Comment: 15 pgs, 17 fig

Statistical Epistemic Logic

We introduce a modal logic for describing statistical knowledge, which we call statistical epistemic logic. We propose a Kripke model dealing with probability distributions and stochastic assignments, and show a stochastic semantics for the logic. To our knowledge, this is the first semantics for modal logic that can express the statistical knowledge dependent on non-deterministic inputs and the statistical significance of observed results. By using statistical epistemic logic, we express a notion of statistical secrecy with a confidence level. We also show that this logic is useful to formalize statistical hypothesis testing and differential privacy in a simple and abstract manner

Antibodies Against Human BLyS and APRIL Attenuate EAE Development in Marmoset Monkeys

B lymphocyte stimulator (BLyS, also indicated as BAFF (B-cell activating factor) and CD257), and A Proliferation Inducing Ligand (APRIL, CD256) are two members of the TNF superfamily with a central role in B cell survival. Antibodies against these factors have potential therapeutic relevance in autoimmune inflammatory disorders with a proven pathogenic contribution of B cells, such as multiple sclerosis (MS). In the current study we performed a multi-parameter efficacy comparison of monoclonal antibodies against human anti-BLyS and anti-APRIL in a common marmoset (Callithrix jacchus) model of experimental autoimmune encephalomyelitis (EAE). A MS-like disease was induced by immunization with recombinant human myelin/oligodendrocyte glycoprotein (rhMOG) in complete Freund's adjuvant. The results show that the anti-BLyS and anti-APRIL antibody cause significant depletion of circulating CD20+ B cells, but a small subset of CD20 + CD40highB cells was not depleted. Induction of CD20+ B cell depletion from lymph nodes was only observed in the anti-BLyS treated monkeys. Both antibodies had a significant inhibitory effect on disease development, but all monkeys developed clinically evident EAE. Anti-BLyS treated monkeys were sacrificed with the same clinical signs as saline-treated monkeys, but nevertheless displayed significantly reduced spinal cord demyelination. This effect was not observed in the anti-APRIL treated monkeys. The two antibodies had a different effect on T cell subset activation and the profiles of ex vivo released cytokines. In conclusion, treatment with anti-BLyS and anti-APRIL delays the development of neurological disease in a relevant preclinical model of MS. The two mAbs achieve this effect via different mechanisms

Cooperative learning in the first year of undergraduate medical education

<p>Abstract</p> <p>Background</p> <p>Despite extensive research data indicating that cooperative learning promotes higher achievement, the creation of positive relationships, and greater psychological health for students at all levels in their education, cooperative learning as a teaching strategy is still underutilized in undergraduate medical education.</p> <p>Methods</p> <p>A cooperative learning task was introduced as part of the mandatory first Year undergraduate Pathology course. The task was to create an 8.5" × 11" poster summary of pre-assigned content in self-chosen groups of four or five students. On the designated "Poster Day," the posters were displayed and evaluated by the students using a group product evaluation. Students also completed an individual group process reflection survey. An objective evaluation of their understanding was gauged at the midterm examination by specific content-related questions.</p> <p>Results</p> <p>Majority (91–96%) of students judged the group products to be relevant, effective, easy-to-understand, and clearly communicated. The majority of the students (90–100%) agreed that their group process skills of time management, task collaboration, decision-making and task execution were effective in completing this exercise. This activity created a dynamic learning environment as was reflected in the students' positive, professional discussion, and evaluation of their posters. The content-related questions on the midterm examination were answered correctly by 70–92% of the students. This was a mutually enriching experience for the instructor and students.</p> <p>Conclusion</p> <p>These findings demonstrate that cooperative learning as a teaching strategy can be effectively incorporated to address both content <it>and </it>interpersonal skill development in the early years of undergraduate medical education.</p

High prevalence of lung cancer in a surgical cohort of lung cancer patients a decade after smoking cessation

<p>Abstract</p> <p>Background</p> <p>This study was designed to assess the prevalence of smoking at time of lung cancer diagnosis in a surgical patient cohort referred for cardiothoracic surgery.</p> <p>Methods</p> <p>Retrospective study of lung cancer patients (n = 626) referred to three cardiothoracic surgeons at a tertiary care medical center in Southern California from January 2006 to December 2008. Relationships among years of smoking cessation, smoking status, and tumor histology were analyzed with Chi-square tests.</p> <p>Results</p> <p>Seventy-seven percent (482) had a smoking history while 11.3% (71) were current smokers. The length of smoking cessation to cancer diagnosis was <1 year for 56 (13.6%), 1-10 years for 110 (26.8%), 11-20 years for 87 (21.2%), 21-30 years for 66 (16.1%), 31-40 years for 44 (10.7%), 41-50 years for 40 (9.7%) and 51-60 years for 8 (1.9%). The mean cessation was 18.1 ± 15.7 years (n = 411 former smokers). Fifty-nine percent had stage 1 disease and 68.0% had adenocarcinoma. Squamous cell carcinoma was more prevalent in smokers (15.6% vs. 8.3%, p = 0.028); adenocarcinoma was more prevalent in never-smokers (79.9% versus 64.3%, p = 0.0004). The prevalence of adenocarcinoma varied inversely with pack year (p < 0.0001) and directly with years of smoking cessation (p = 0.0005).</p> <p>Conclusions</p> <p>In a surgical lung cancer cohort, the majority of patients were smoking abstinent greater than one decade before the diagnosis of lung cancer.</p

Increasing condom use in heterosexual men: development of a theory-based interactive digital intervention

Increasing condom use to prevent sexually transmitted infections is a key public health goal. Interventions are more likely to be effective if they are theory- and evidence-based. The Behaviour Change Wheel (BCW) provides a framework for intervention development. To provide an example of how the BCW was used to develop an intervention to increase condom use in heterosexual men (the MenSS website), the steps of the BCW intervention development process were followed, incorporating evidence from the research literature and views of experts and the target population. Capability (e.g. knowledge) and motivation (e.g. beliefs about pleasure) were identified as important targets of the intervention. We devised ways to address each intervention target, including selecting interactive features and behaviour change techniques. The BCW provides a useful framework for integrating sources of evidence to inform intervention content and deciding which influences on behaviour to target

Coronary heart disease policy models: a systematic review

BACKGROUND: The prevention and treatment of coronary heart disease (CHD) is complex. A variety of models have therefore been developed to try and explain past trends and predict future possibilities. The aim of this systematic review was to evaluate the strengths and limitations of existing CHD policy models. METHODS: A search strategy was developed, piloted and run in MEDLINE and EMBASE electronic databases, supplemented by manually searching reference lists of relevant articles and reviews. Two reviewers independently checked the papers for inclusion and appraisal. All CHD modelling studies were included which addressed a defined population and reported on one or more key outcomes (deaths prevented, life years gained, mortality, incidence, prevalence, disability or cost of treatment). RESULTS: In total, 75 articles describing 42 models were included; 12 (29%) of the 42 models were micro-simulation, 8 (19%) cell-based, and 8 (19%) life table analyses, while 14 (33%) used other modelling methods. Outcomes most commonly reported were cost-effectiveness (36%), numbers of deaths prevented (33%), life-years gained (23%) or CHD incidence (23%). Among the 42 models, 29 (69%) included one or more risk factors for primary prevention, while 8 (19%) just considered CHD treatments. Only 5 (12%) were comprehensive, considering both risk factors and treatments. The six best-developed models are summarised in this paper, all are considered in detail in the appendices. CONCLUSION: Existing CHD policy models vary widely in their depth, breadth, quality, utility and versatility. Few models have been calibrated against observed data, replicated in different settings or adequately validated. Before being accepted as a policy aid, any CHD model should provide an explicit statement of its aims, assumptions, outputs, strengths and limitations