Counting constraints in flat array fragments

We identify a fragment of Presburger arithmetic enriched with free function symbols and cardinality constraints for interpreted sets, which is amenable to automated analysis. We establish decidability and complexity results for such a fragment and we implement our algorithms. The experiments run in discharging proof obligations coming from invariant checking and bounded model-checking benchmarks show the practical feasibility of our decision procedure

Accountability and transparency through the technologization of practice

11 page(s

Pregnancy Disorders That Lead to Delivery Before the 28th Week of Gestation: An Epidemiologic Approach to Classification

Epidemiologists have grouped the multiple disorders that lead to preterm delivery before the 28th week of gestation in a variety of ways. The authors sought to identify characteristics that would help guide how to classify disorders that lead to such preterm delivery. They enrolled 1,006 women who delivered a liveborn singleton infant of less than 28 weeks' gestation at 14 centers in the United States between 2002 and 2004. Each delivery was classified by presentation: preterm labor (40%), prelabor premature rupture of membranes (23%), preeclampsia (18%), placental abruption (11%), cervical incompetence (5%), and fetal indication/intrauterine growth restriction (3%). Using factor analysis (eigenvalue = 1.73) to compare characteristics identified by standardized interview, chart review, placental histology, and placental microbiology among the presentation groups, the authors found 2 broad patterns. One pattern, characterized by histologic chorioamnionitis and placental microbe recovery, was associated with preterm labor, prelabor premature rupture of membranes, placental abruption, and cervical insufficiency. The other, characterized by a paucity of organisms and inflammation but the presence of histologic features of dysfunctional placentation, was associated with preeclampsia and fetal indication/intrauterine growth restriction. Disorders leading to preterm delivery may be separated into two groups: those associated with intrauterine inflammation and those associated with aberrations of placentation