Platform Dependent Verification: On Engineering Verification Tools for 21st Century

The paper overviews recent developments in platform-dependent explicit-state LTL model checking.Comment: In Proceedings PDMC 2011, arXiv:1111.006

A cognitive decline precedes the onset of psychosis in patients with the 22q11.2 deletion syndrome

Patients with 22q11.2 deletion syndrome (22q11DS) have an elevated (25%) risk for developing schizophrenia. Recent reports have suggested that a subgroup of children with 22q11DS display a substantial decline in cognitive abilities, starting at a young age

A normative chart for cognitive development in a genetically selected population

Certain pathogenic genetic variants impact neurodevelopment and cause deviations from typical cognitive trajectories. Understanding variant-specific cognitive trajectories is clinically important for informed monitoring and identifying patients at risk for comorbid conditions. Here, we demonstrate a variant-specific normative chart for cognitive development for individuals with 22q11.2 deletion syndrome (22q11DS). We used IQ data from 1365 individuals with 22q11DS to construct variant-specific normative charts for cognitive development (Full Scale, Verbal, and Performance IQ). This allowed us to calculate Z-scores for each IQ datapoint. Then, we calculated the change between first and last available IQ assessments (delta Z-IQ-scores) for each individual with longitudinal IQ data (n = 708). We subsequently investigated whether using the variant-specific IQ-Z-scores would decrease required sample size to detect an effect with schizophrenia risk, as compared to standard IQ-scores. The mean Z-IQ-scores for FSIQ, VIQ, and PIQ were close to 0, indicating that participants had IQ-scores as predicted by the normative chart. The mean delta-Z-IQ-scores were equally close to 0, demonstrating a good fit of the normative chart and indicating that, as a group, individuals with 22q11DS show a decline in IQ-scores as they grow into adulthood. Using variant-specific IQ-Z-scores resulted in 30% decrease of required sample size, as compared to the standard IQ-based approach, to detect the association between IQ-decline and schizophrenia (p < 0.01). Our findings suggest that using variant-specific normative IQ data significantly reduces required sample size in a research context, and may facilitate a more clinically informative interpretation of IQ data. This approach allows identification of individuals that deviate from their expected, variant-specific, trajectory. This group may be at increased risk for comorbid conditions, such as schizophrenia in the case of 22q11DS

Inter-NICU variation in rates and management of thrombocytopenia among very low birth-weight infants

OBJECTIVES: To investigate variation among neonatal intensive care units (NICUs) in prevalence and management of thrombocytopenia in infants and(SNAP). Platelet counts in the first 12 hours after birth and on day 3 of life were abstracted from the infants\u27 medical records. Thrombocytopenia was determined from the lowest platelet count in each of these time periods. RESULTS: There was variability in rates of thrombocytopenia among NICUs, even after controlling for risk factors (e.g., SNAP, small for gestational (SGA) age and maternal hypertension). One site had a high prevalence of thrombocytopenia, but the lowest percentage of infants with thrombocytopenia who received platelet transfusions. After controlling for SNAP, GA, SGA, Apgar score and incidence of thrombocytopenia, the odds of receiving platelets at this site, relative to the site with the highest transfusion rate, was 0.10 (95% CI 0.02 to 0.43). CONCLUSIONS: This multicenter study finds a 10-fold variation among NICU in the administration of platelets to their thrombocytopenic infants that cannot be explained by presence of thrombocytopenia or illness severity

Variation among neonatal intensive care units in narcotic administration

OBJECTIVES: To compare rates of narcotic administration for medically treated neonates in different neonatal intensive care units (NICUs) and to compare treated and untreated neonates to assess whether narcotics provided advantages or disadvantages for short-term outcomes, such as cardiovascular stability (ie, blood pressure and heart rate), hyperbilirubinemia, duration of respiratory support, growth, and the incidence of intraventricular hemorrhage. STUDY DESIGN: The medical charts of neonates weighing less than 1500 g, admitted to 6 NICUs (A-F), were abstracted. Neonates who had a chest tube or who had undergone surgery were excluded from the study, leaving the records of 1171 neonates. We modeled outcomes by linear or logistic regression, controlling for birth weight ( or =20) using the Score for Neonatal Acute Physiology (SNAP), and adjusted for NICU. RESULTS: Narcotic use varied by birth weight (g, 21%; 750-999 g, 13%; and 1000-1499 g, 8%), illness severity (low, 9%; medium, 19%; and high, 37%), day (1, 11%; 3, 6%; and 14, 2%), and NICU. We restricted analyses to the 1018 neonates who received mechanical ventilation on day 1. Logistic regression, adjusting for birth weight and SNAP, confirmed a 28.6-fold variation in narcotic administration (odds ratios, 4.1-28.6 vs NICU A). Several short-term outcomes also were associated with narcotic use, including more than 33 g of fluid retention on day 3 and a higher direct bilirubin level (6.8 micromol/L higher [0.4 mg/dL higher], P = .03). There were no differences in weight gain at 14 and 28 days or mechanical ventilatory support on days 14 and 28. Narcotic use was not associated with differences in worst blood pressure or heart rate or with increased length of hospital stay. CONCLUSIONS: Our study found a 28.6-fold variation among NICUs in narcotic administration in very low-birth-weight neonates. We were unable to detect any major advantages or disadvantages of narcotic use. We did not assess iatrogenic abstinence syndrome or long-term outcomes. These results indicate the need for randomized trials to rationalize these widely differing practices

When the stakes are high: party competition and negative campaigning

This article examines the conditions under which different kinds of parties resort to negative campaigning in three Western European countries: the Netherlands, Britain, and Germany in the period between 1980 and 2006. Data were collected for 27 parties, participating in 23 elections, yielding a total of 129 cases. The study uses a cross-nested multilevel model to estimate the effects of party characteristics as well as the electoral context in which these parties operate. It contributes to the state of the art on negative campaigning in two ways. First, being the first comparative and across-time study on negative campaigning, it compares negative campaigning across 23 elections, which is more than in any other study so far. It therefore contributes to the development of a more general theory on this type of campaign strategy. Second, it is the first study outside the American context to empirically estimate the effect of the electoral context on the use of negative campaigning. The results show that party characteristics are much more important than the electoral context in explaining when parties go negative

Cognitive Decline Preceding the Onset of Psychosis in Patients With 22q11.2 Deletion Syndrome

Patients with 22q11.2 deletion syndrome (22q11DS) have an elevated (25%) risk of developing schizophrenia. Recent reports have suggested that a subgroup of children with 22q11DS display a substantial decline in cognitive abilities starting at a young age.status: publishe