Partial type constructors: Or, making ad hoc datatypes less ad hoc

This work is licensed under a Creative Commons Attribution 4.0 International License.Functional programming languages assume that type constructors are total. Yet functional programmers know better: counterexamples range from container types that make limiting assumptions about their contents (e.g., requiring computable equality or ordering functions) to type families with defining equations only over certain choices of arguments. We present a language design and formal theory of partial type constructors, capturing the domains of type constructors using qualified types. Our design is both simple and expressive: we support partial datatypes as first-class citizens (including as instances of parametric abstractions, such as the Haskell Functor and Monad classes), and show a simple type elaboration algorithm that avoids placing undue annotation burden on programmers. We show that our type system rejects ill-defined types and can be compiled to a semantic model based on System F. Finally, we have conducted an experimental analysis of a body of Haskell code, using a proof-of-concept implementation of our system; while there are cases where our system requires additional annotations, these cases are rarely encountered in practical Haskell code

Comparing Extant Story Classifiers: Results & New Directions

Having access to a large set of stories is a necessary first step for robust and wide-ranging computational narrative modeling; happily, language data - including stories - are increasingly available in electronic form. Unhappily, the process of automatically separating stories from other forms of written discourse is not straightforward, and has resulted in a data collection bottleneck. Therefore researchers have sought to develop reliable, robust automatic algorithms for identifying story text mixed with other non-story text. In this paper we report on the reimplementation and experimental comparison of the two approaches to this task: Gordon\u27s unigram classifier, and Corman\u27s semantic triplet classifier. We cross-analyze their performance on both Gordon\u27s and Corman\u27s corpora, and discuss similarities, differences, and gaps in the performance of these classifiers, and point the way forward to improving their approaches

Deductible imputation in administrative medical claims datasets

Objective: To validate imputation methods used to infer plan-level deductibles and determine which enrollees are in high-deductible health plans (HDHPs) in administrative claims datasets. Data sources and study setting: 2017 medical and pharmaceutical claims from OptumLabs Data Warehouse for US individuals Study design: We impute plan deductibles using four methods: (1) parametric prediction using individual-level spending; (2) parametric prediction with imputation and plan characteristics; (3) highest plan-specific mode of individual annual deductible spending; and (4) deductible spending at the 80th percentile among individuals meeting their deductible. We compare deductibles' levels and categories for imputed versus actual deductibles. Data collection/extraction methods: Not applicable. Principal findings: All methods had a positive predictive value (PPV) for determining high- versus low-deductible plans of ≥87%; negative predictive values (NPV) were lower. The method imputing plan-specific deductible spending modes was most accurate and least computationally intensive (PPV: 95%; NPV: 91%). This method also best correlated with actual deductible levels; 69% of imputed deductibles were within $250 of the true deductible. Conclusions: In the absence of plan structure data, imputing plan-specific modes of individual annual deductible spending best correlates with true deductibles and best predicts enrollees in HDHPs.</p

Structures of EccB\u3csub\u3e1\u3c/sub\u3e and EccD\u3csub\u3e1\u3c/sub\u3e from the Core Complex of the Mycobacterial ESX-1 Type VII Secretion System

Background: The ESX-1 type VII secretion system is an important determinant of virulence in pathogenic mycobacteria, including Mycobacterium tuberculosis. This complicated molecular machine secretes folded proteins through the mycobacterial cell envelope to subvert the host immune response. Despite its important role in disease very little is known about the molecular architecture of the ESX-1 secretion system. Results: This study characterizes the structures of the soluble domains of two conserved core ESX-1 components – EccB1 and EccD1. The periplasmic domain of EccB1 consists of 4 repeat domains and a central domain, which together form a quasi 2-fold symmetrical structure. The repeat domains of EccB1 are structurally similar to a known peptidoglycan binding protein suggesting a role in anchoring the ESX-1 system within the periplasmic space. The cytoplasmic domain of EccD1has a ubiquitin-like fold and forms a dimer with a negatively charged groove. Conclusions: These structures represent a major step towards resolving the molecular architecture of the entire ESX-1 assembly and may contribute to ESX-1 targeted tuberculosis intervention strategies

Revue systématique d’essais comparatifs randomisés d’interventions d’abandon du tabac chez les jeunes

Contexte : Bien que l’usage de la cigarette demeure courant parmi les jeunes, on en sait encore bien peu sur la façon de les aider à cesser de fumer. Seulement quelques revues systématiques d’essais comparatifs randomisés (ECR) ont évalué l’efficacité des interventions d’abandon du tabac chez les jeunes.Objectif : Résumer les connaissances sur l’efficacité des interventions visant à aider les jeunes à cesser de fumer en se basant sur des données probantes provenant d’ECR.Sélection des études et extraction des données : Nous avons retenu tous les ECR publiés qui évaluaient les interventions d’abandon du tabac ciblant les jeunes âgés de 20 ans et moins et qui rapportaient l’abstinence au tabac selon une analyse en intention de traiter. Nous avons relevé les études pertinentes provenant de huit revues de synthèse décrivant des études portant sur des interventions d’abandon du tabac publiées entre 2002 et 2006, ainsi qu’une recherche menée dans les bases de données PubMed et PsycINFO entre 2001 et novembre  2006. Nous rapportons l’abstinence au tabagisme au moment du suivi le plus prolongé. Les auteurs ont sélectionné d’un commun accord les données retenues pour cette revue.Résultats : Nous avons identifié 16 ECR auxquels ont participé 6 623 jeunes ; 11 études évaluant des interventions comportementales qui comprenaient 5 764 participants; quatre examinant des interventions pharmacologiques qui comptaient 529 participants ; et une se penchant sur l’acupuncture au laser qui comportait 330 participants. Trois interventions comportementales menées en milieu scolaire sur quatre et une intervention réalisée en milieu de soins de santé sur quatre ont fait augmenter de façon significative l’abstinence au tabac, quatre semaines à 24 mois suivant les interventions. Parmi les quatre ERC qui évaluaient les interventions pharmacologiques réalisées à l’aide soit de bupropion, de timbres ou de gommes à la nicotine, une étude, où le timbre à la nicotine a été utilisé en combinaison avec un counseling cognitivo-comportemental, a montré une hausse marquée, quoique non significative, de l’abstinence six mois après la date d’abandon.Conclusion : Il existe encore peu de preuves démontrant l’efficacité des interventions d’abandon du tabac chez les jeunes. Quatre programmes en milieu scolaire et une intervention dans un établissement de santé ont mis en évidence une certaine efficacité, tandis que pour la thérapie pharmacologique, les résultats ne sont pas encore concluants.Background: Cigarette use remains common among young people but little is known about how to help adolescent smokers quit. There are few systematic reviews of randomized controlled trials (RCTs) that evaluate the effectiveness of cessation interventions for youth.Objective: To synthesize knowledge on the effectiveness of cessation interventions targeted to youth based on evidence from RCTs.Selection of studies and data extraction: We retained all published RCTs with intention to treat analyses that evaluated cessation interventions targeted to youth aged ≤ 20 years. Relevant studies were identified from eight review articles of smoking cessation intervention studies published between 2002 and 2006, and from a search conducted in PubMed and PsycINFO databases from 2001 to November 2006. The outcome of primary interest was abstinence at the longest reported follow-up. Extraction of data was by consensus of the authors. Results: We identified 16 RCTs with a total of 6623 participants; 11 studies that included 5764 participants evaluated behavioural interventions, four with 529 participants evaluated pharmacological interventions, and one with 330 participants evaluated a laser acupuncture intervention. Three of four behavioural interventions conducted in school settings, and one of four conducted in a health care setting significantly increased abstinence four weeks to 24 months after the interventions. Of four RCTs that evaluated pharmacological interventions using either bupropion or nicotine patch or gum, one study using the nicotine patch coupled with cognitive-behavioural counselling showed a marked albeit non-significant increase in abstinence six months after quit date.Conclusion: There is still limited evidence demonstrating the efficacy of smoking cessation interventions in youth. Four school-based programs and one intervention in a health care setting have shown efficacy, while results for pharmacological therapy are inconsistent across studies.Contexto: si bien el tabaco sigue siendo de uso corriente entre los jóvenes, todavía no se sabe mucho sobre cómo ayudarlos a dejar de fumar. Solamente algunas revisiones sistemáticas de ensayos comparativos aleatorizados han evaluado la eficacia de las intervenciones dirigidas a lograr el abandono del tabaco entre los jóvenes.Objetivo: resumir los conocimientos sobre la eficacia de las intervenciones destinadas a ayudar a jóvenes a dejar de fumar sobre la base de los datos probados de los ensayos comparativos aleatorizados.Selección de estudios y extracción de datos: hemos retenido todos los ensayos comparativos aleatorizados publicados, que evalúan las intervenciones de abandono del tabaco en los jóvenes de 20 años y menos, y que informan sobre la abstinencia de tabaco, según un análisis que tiene la intención de tratar. Hemos seleccionado los trabajos pertinentes provenientes de ocho revistas de síntesis, que describen estudios referidos a intervenciones de abandono del tabaco publicados entre 2002 y 2006, así como una investigación llevada a cabo en las bases de datos PubMed et PsycINFO, realizada entre 2001 y noviembre de 2006. Informamos sobre la abstinencia del tabaquismo en el momento de seguimiento más prolongado. Los autores han seleccionado de común acuerdo los datos retenidos por esta revista.Resultados: hemos identificado dieciséis estudios comparativos aleatorizados en los que participaron 6.623 jóvenes; once estudios que evalúan las intervenciones comportamentales, con 5.764 participantes; cuatro que examinan las intervenciones farmacológicas en las que intervienen 529 participantes y uno que se centra en la acupuntura al láser, con 330 participantes. Tres intervenciones comportamentales realizadas en medio escolar de cada cuatro y una intervención realizada en el medio de la atención sanitaria de cada cuatro, aumentaron de manera significativa la abstinencia al tabaco, cuatro semanas a 24 meses después de las intervenciones. Entre los cuatro estudios comparativos aleatorizados que evaluaban las intervenciones farmacológicas, realizadas ya sea con ayuda de bupropion, de parches o de gomas de mascar a la nicotina, uno de ellos, en el que se utilizó un parche de nicotina en combinación con orientación psicológica cognitivo-comportamental, indicó un aumento marcado, aunque no significativo, de la abstinencia, seis meses después de la fecha de abandono.Conclusión: existen todavía pocas pruebas que demuestren la eficacia de las intervenciones de abandono del tabaco entre los jóvenes. Cuatro programas en medio escolar y una intervención en un establecimiento de salud evidenciaron una cierta eficacia, mientras que los resultados no son todavía concluyentes en lo que se refiere a la terapia farmacológica