We consider the problem of expected cost analysis over nondeterministic probabilistic programs, which aims at automated methods for analyzing the resource-usage of such programs. Previous approaches for this problem could only handle nonnegative bounded costs. However, in many scenarios, such as queuing networks or analysis of cryptocurrency protocols, both positive and negative costs are necessary and the costs are unbounded as well.In this work, we present a sound and efficient approach to obtain polynomial bounds on the expected accumulated cost of nondeterministic probabilistic programs. Our approach can handle (a) general positive and negative costs with bounded updates in variables; and (b) nonnegative costs with general updates to variables. We show that several natural examples which could not be handled by previous approaches are captured in our framework.Moreover, our approach leads to an efficient polynomialtime algorithm, while no previous approach for cost analysis of probabilistic programs could guarantee polynomial runtime. Finally, we show the effectiveness of our approach using experimental results on a variety of programs for which we efficiently synthesize tight resource-usage bounds.

Purpose Policies for timing of cord clamping varied from early cord clamping (ECC) in the first 30 s after birth, to delayed cord clamping (DCC) in more than 30 s after birth or when cord pulsation has ceased. DCC, an inexpensive method allowed physiological placental transfusion. The aim of this article is to review the benefits and the potential harms of early versus delayed cord clamping. Methods Narrative overview, synthesizing the findings of the literature retrieved from searches of computerized databases. Results Delayed cord clamping in term and preterm infants had shown higher hemoglobin levels and iron storage, the improved infants’ and children’s neurodevelopment, the lesser anemia, the higher blood pressure and the fewer transfusions, as well as the lower rates of intraventricular hemorrhage (IVH), chronic lung disease, necrotizing enterocolitis, and late-onset sepsis. DCC was seldom associated with lower Apgar scores, neonatal hypothermia of admission, respiratory distress, and severe jaundice. In addition, DCC was not associated with increased risk of postpartum hemorrhage and maternal blood transfusion whether in cesarean section or vaginal delivery. DCC appeared to have no effect on cord blood gas analysis. However, DCC for more than 60 s reduced drastically the chances of obtaining clinically useful cord blood units (CBUs). Conclusion Delayed cord clamping in term and preterm infants was a simple, safe, and effective delivery procedure, which should be recommended, but the optimal cord clamping time remained controversial.

The ancestral origin and genomic history of Chinese Hui people remain to be explored due to the paucity of genome-wide data. Some evidence argues that an eastward migration of Central Asians gave rise to modern Hui people, which is referred to as the demic diffusion hypothesis; other evidence favors the cultural diffusion hypothesis, which posits that East Asians adopted Muslim culture to form the modern culturally distinct populations. However, the extent to which the observed genetic structure of the Huis was mediated by the movement of people or the assimilation of Muslim culture also remains highly contentious. Analyses of over 700 K SNPs in 109 western Chinese individuals (49 Sichuan Huis and 60 geographically close Nanchong Hans) together with the available ancient and modern Eurasian sequences allowed us to fully explore the genomic makeup and origin of Hui and neighboring Han populations. The results from PCA, ADMIXTURE, and allele-sharing-based f-statistics revealed a strong genomic affinity between Sichuan Huis and Neolithic-to-modern Northern East Asians, which suggested a massive gene influx from East Asians into the Sichuan Hui people. Three-way admixture models in the qpWave/qpAdm analyses further revealed a small stream of gene influx from western Eurasians into the Sichuan Hui people, which was further directly confirmed via the admixture event from the temporally distinct Western sources to Sichuan Hui people in the qpGraph-based phylogenetic model, suggesting the key role of the cultural diffusion model in the genetic formation of the Sichuan Huis. ALDER-based admixture date estimation showed that this observed western Eurasian admixture signal was introduced into the Sichuan Huis during the historic periods, which was concordant with the extensive western–eastern communication along the Silk Road and historically documented Huis' migration history. In summary, although significant cultural differentiation exists between Hui people and their neighbors, our genomic analysis showed their strong genetic affinity with modern and ancient Northern East Asians. Our results support the hypothesis that the Sichuan Huis arose from a mixture of minor western Eurasian ancestry and predominant East Asian ancestry.

No abstract